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
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 Documentationintents-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