Repository · dormant
Rust checked arithmetic without the visual clutter
stars
4
forks
0
contributors
2
open issues
1
Not enough history yet — signal stabilises after ~2 snapshots.
sug0
@sug0
29
commits
tzemanovic
@tzemanovic
19
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.
