lean Ethereum

Popular repositories Loading

1. leanVM leanVM Public

   Minimal zkVM for Ethereum.

   Lean 164 69

2. leanSpec leanSpec Public

   Lean Ethereum protocol specifications and test vector generation framework.

   Python 143 84

3. leanSig leanSig Public

   Rust implementation of the current leanSig proposal.

   Rust 49 28

4. leanVM-b leanVM-b Public archive

   Lean 19 4

5. leanMetrics leanMetrics Public

   15 12

6. pm pm Public

   Project Management: Meeting notes and agenda items

   5 14