Discover anoma/namada-indexer Open Source project by @anoma

Stars
16
Rank 1,311,288 (Top 26 %)
Language
Rust
Created 7 months ago
Updated about 2 months ago

anoma

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Namada indexer to be used in conjunction with the namada interface

namada

Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy

Rust

2,394

juvix

A language for intent-centric and declarative decentralised applications

Haskell

447

anoma-archive

Reference implementation of the Anoma protocols in Rust.

Rust

426

namada-testnets

Testnet configurations and coordination for the Namada network.

327

namada-trusted-setup-claimer

Sign arbitrary messages with keys obtained from Namada's trusted setup

Rust

320

vamp-ir

Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits

Rust

155

taiga

A framework for generalized shielded state transitions

Rust

134

zkp-compiler-shootout

Evaluating & benchmarking ZKP compilation strategies.

Rust

118

masp

The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.

Rust

ferveo

An implementation of a DKG protocol for front-running protection on Anoma.

namada-interface

whitepaper

namada-docs

namada-shielded-expedition

Python

typhon

Formalization of Typhon protocol

TLA

geb

A Categorical View of Computation

Idris

research

Early-stage research related to the Anoma protocols.

Idris

specs

Specifications for the Anoma protocols.

TeX

alucard

A common lisp DSL for writing zero knowledge circuits

Common Lisp

ethereum-bridge

A generalized fully trustless Ethereum bridge for sovereign chains.

Solidity

minijuvix

Haskell

juvix-stdlib

The Juvix standard library

Makefile

VampIR-Book

A book which can act as an introduction and documentation for VampIR

CSS

masp-mpc

MASP MPC code

Rust

namada-mainnet-genesis

Python

namada-sdk-starter

Rust

juvix-nightly-builds

abstract-resource-machine-simulator

Makefile

anoma-alpha

An intent-centric, privacy-preserving protocol for decentralized counterparty discovery, solving, and multi-chain atomic settlement.

Rust

juvix-e2e-demo

Juvix compiler stack - Integration demo

exhibit_plonkup

devtool

anoma-blog

verify-beacon

vscode-juvix

VSCode extension for Juvix

TypeScript

dev-utils

Shell

namada-whitepaper

Namada whitepaper

juvix-docs

Juvix Official Documentation

Makefile

devchain-container

Shell

intents-snippets

A repo to put code snippets related to intent research

Agda

Isabelle-HPaxos

A formalization of HPaxos in Isabelle

Isabelle

typhon-sml

Typhon reference implementation in Standard ML

Standard ML

namada-genesis

Python

namada-masp-indexer

The Namada Masp Indexer reference implementation.

Rust

anoma-wasm-multitoken

Validity predicate and transactions for a variable supply multitoken account

Rust

wasm-workspace

Rust

namada-shielded-airdrop

Rust

anoma-blog-writing-guide

Comprehensive guide to writing blogposts for the anoma blog.

juvix-quickcheck

Property-based testing for Juvix

Makefile

plonkup-hash

A collection of hash gadgets written for Plonkup

Rust

juvix-mode

The Juvix Emacs mode

Emacs Lisp

vscode-vampir

anoma-app-lib

A library for intent-centric application development.

juvix-test

A testing framework for Juvix

Shell

juvix-anoma-test

A library for testing Anoma applications

juvix-containers

Immutable container types for Juvix

Makefile

highlightjs-juvix

Juvix language grammars for highlightjs (low maintenance)

JavaScript

art-template

Anoma Research Topics Template

TeX

juvix-anoma-stdlib

A Juvix library for writing Anoma applications

Makefile

namada-light-sdk-starter

Namada light sdk starter kit

Dockerfile

ART-2023-Gureev-Cubides-Geb-Pipeline

TeX

anoma/namada-indexer

anoma

Reviews

Repository Details

More Repositories