Pinned Loading

1. reilabs/proven-zk reilabs/proven-zk Public

   A support library for working with zero knowledge cryptography in Lean 4.

   Lean 24 3

2. reilabs/gnark-lean-extractor reilabs/gnark-lean-extractor Public

   A tool to extract gnark circuits defined in Go to Lean for formal verification.

   Go 7 2

3. ethereum/kzg-ceremony-sequencer ethereum/kzg-ceremony-sequencer Public

   Rust 82 27