Pinned Loading

1. anoma/taiga anoma/taiga Public

   A framework for generalized shielded state transitions

   Rust 144 24

2. anoma/juvix anoma/juvix Public

   A language for intent-centric and declarative decentralised applications

   Haskell 454 53

3. sdiehl/bulletproofs sdiehl/bulletproofs Public

   Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

   Haskell 535 44

4. sdiehl/pairing sdiehl/pairing Public

   Optimised bilinear pairings over elliptic curves

   Haskell 55 7

5. sdiehl/arithmetic-circuits sdiehl/arithmetic-circuits Public

   Arithmetic circuits for zero knowledge proof systems

   Haskell 82 14

6. sdiehl/aos-signature sdiehl/aos-signature Public

   Abe-Ohkubo-Suzuki Linkable Ring Signatures

   Haskell 48 6