Namada Testnets
Testnet configurations and coordination for the Namada.
There are no reviews yet. Be the first to send feedback to the community and the maintainers!
namada
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacyjuvix
A language for intent-centric and declarative decentralised applicationsanoma-archive
Reference implementation of the Anoma protocols in Rust.namada-trusted-setup-claimer
Sign arbitrary messages with keys obtained from Namada's trusted setupvamp-ir
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuitstaiga
A framework for generalized shielded state transitionszkp-compiler-shootout
Evaluating & benchmarking ZKP compilation strategies.masp
The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.ferveo
An implementation of a DKG protocol for front-running protection on Anoma.namada-interface
whitepaper
namada-docs
namada-shielded-expedition
typhon
Formalization of Typhon protocolgeb
A Categorical View of Computationresearch
Early-stage research related to the Anoma protocols.specs
Specifications for the Anoma protocols.alucard
A common lisp DSL for writing zero knowledge circuitsnamada-indexer
Namada indexer to be used in conjunction with the namada interfaceethereum-bridge
A generalized fully trustless Ethereum bridge for sovereign chains.minijuvix
juvix-stdlib
The Juvix standard libraryVampIR-Book
A book which can act as an introduction and documentation for VampIRmasp-mpc
MASP MPC codenamada-mainnet-genesis
namada-sdk-starter
juvix-nightly-builds
abstract-resource-machine-simulator
anoma-alpha
An intent-centric, privacy-preserving protocol for decentralized counterparty discovery, solving, and multi-chain atomic settlement.juvix-e2e-demo
Juvix compiler stack - Integration demoexhibit_plonkup
devtool
anoma-blog
verify-beacon
vscode-juvix
VSCode extension for Juvixdev-utils
namada-whitepaper
Namada whitepaperjuvix-docs
Juvix Official Documentationdevchain-container
intents-snippets
A repo to put code snippets related to intent researchIsabelle-HPaxos
A formalization of HPaxos in Isabelletyphon-sml
Typhon reference implementation in Standard MLnamada-genesis
namada-masp-indexer
The Namada Masp Indexer reference implementation.anoma-wasm-multitoken
Validity predicate and transactions for a variable supply multitoken accountwasm-workspace
namada-shielded-airdrop
anoma-blog-writing-guide
Comprehensive guide to writing blogposts for the anoma blog.juvix-quickcheck
Property-based testing for Juvixplonkup-hash
A collection of hash gadgets written for Plonkupjuvix-mode
The Juvix Emacs modevscode-vampir
anoma-app-lib
A library for intent-centric application development.juvix-test
A testing framework for Juvixjuvix-anoma-test
A library for testing Anoma applicationsjuvix-containers
Immutable container types for Juvixhighlightjs-juvix
Juvix language grammars for highlightjs (low maintenance)art-template
Anoma Research Topics Templatejuvix-anoma-stdlib
A Juvix library for writing Anoma applicationsnamada-light-sdk-starter
Namada light sdk starter kitART-2023-Gureev-Cubides-Geb-Pipeline
Love Open Source and this site? Check out how you can help us