Pinned

1. bulletproofs bulletproofs Public

   Forked from dalek-cryptography/bulletproofs

   A pure-Rust implementation of Bulletproofs using Ristretto.

   Rust

2. curve25519-dalek curve25519-dalek Public

   Forked from dalek-cryptography/curve25519-dalek

   A pure-Rust implementation of group operations on Ristretto and Curve25519

   Rust

3. zkp zkp Public

   Forked from dalek-cryptography/zkp

   Experimental zero-knowledge proof compiler in Rust macros

   Rust

4. plutus plutus Public

   Forked from IntersectMBO/plutus

   The Plutus language implementation and tools

   Haskell

5. geas geas Public

   Forked from fjl/geas

   The Good Ethereum Assembler

   Go

6. safegcd-bounds safegcd-bounds Public

   Forked from sipa/safegcd-bounds

   Bounds on divsteps iterations in safegcd

   Coq