Popular repositories Loading

1. leanSpec leanSpec Public

   Lean Ethereum protocol specifications and test vector generation framework.

   Python 129 70

2. leanMultisig leanMultisig Public

   Minimal zkVM, targeting aggregation of hash-based signatures.

   Rust 114 49

3. leanSig leanSig Public

   Rust implementation of the current leanSig proposal.

   Rust 39 20

4. leanMetrics leanMetrics Public

   13 10

5. pm pm Public

   Project Management: Meeting notes and agenda items

   5 11

6. fiat-shamir fiat-shamir Public

   Rust 5 2