Popular repositories Loading

1. leanSpec leanSpec Public

   Lean Ethereum protocol specifications and test vector generation framework.

   Python 106 44

2. leanMultisig leanMultisig Public

   Minimal zkVM, targeting aggregation of hash-based signatures.

   Rust 77 30

3. leanSig leanSig Public

   Rust implementation of the current leanSig proposal.

   Rust 30 15

4. leanMetrics leanMetrics Public

   7 8

5. pm pm Public

   Project Management: Meeting notes and agenda items

   4 11

6. fiat-shamir fiat-shamir Public

   Rust 4 2