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-testnets
Testnet configurations and coordination for the Namada network.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
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