Repository · quiet
GOOSE in Lean4
stars
12
forks
5
contributors
2
open issues
4
lukaszcz
@lukaszcz
66
commits
janmasrovira
@janmasrovira
39
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.
