Results
17
repositories owned by
Anoma
zkp-compiler-shootout
118
Stars
13
Forks
Watchers
Evaluating & benchmarking ZKP compilation strategies.
typhon
26
Stars
3
Forks
Watchers
Formalization of Typhon protocol
namada-testnets
328
Stars
1.6k
Forks
Watchers
Testnet configurations and coordination for the Namada network.
geb
27
Stars
9
Forks
Watchers
A Categorical View of Computation
alucard
18
Stars
1
Forks
Watchers
A common lisp DSL for writing zero knowledge circuits
namada-trusted-setup-claimer
321
Stars
146
Forks
Watchers
Sign arbitrary messages with keys obtained from Namada's trusted setup