Repository · dormant
Typhon reference implementation in Standard ML
stars
3
forks
contributors
1
open issues
2
Not enough history yet — signal stabilises after ~2 snapshots.
karbyshev
@karbyshev
151
commits
anoma/anoma
Reference implementation of Anoma
namada-net/namada
Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy
anoma/juvix
A language for intent-centric and declarative decentralised applications
anoma/namada-testnets
Testnet configurations and coordination for the Namada network.
namada-net/namada-trusted-setup-claimer
Sign arbitrary messages with keys obtained from Namada's trusted setup
anoma/vamp-ir
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
anoma/taiga
A framework for generalized shielded state transitions
anoma/zkp-compiler-shootout
Evaluating & benchmarking ZKP compilation strategies.
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.
