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
geb
A Categorical View of Computationtyphon
Formalization of Typhon protocolresearch
Early-stage research related to the Anoma protocols.specs
Specifications for the Anoma protocols.alucard
A common lisp DSL for writing zero knowledge circuitsethereum-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-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
namada-whitepaper
Namada whitepaperdev-utils
juvix-docs
Juvix Official Documentationdevchain-container
intents-snippets
A repo to put code snippets related to intent researchtyphon-sml
Typhon reference implementation in Standard MLvscode-juvix
VSCode extension for Juvixanoma-wasm-multitoken
Validity predicate and transactions for a variable supply multitoken accountwasm-workspace
anoma-blog-writing-guide
Comprehensive guide to writing blogposts for the anoma blog.juvix-mode
The Juvix Emacs modeplonkup-hash
A collection of hash gadgets written for PlonkupIsabelle-HPaxos
A formalization of HPaxos in Isabellevscode-vampir
juvix-containers
Immutable container types for Juvixhighlightjs-juvix
Juvix language grammars for highlightjs (low maintenance)art-template
Anoma Research Topics TemplateART-2024-Khalniyazova-Goes-Resource-Machine-Specification
juvix-quickcheck
Property-based testing for Juvixnamada-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