Skip to content
@leanEthereum

lean Ethereum

Popular repositories Loading

  1. leanVM leanVM Public

    Minimal zkVM for Ethereum.

    Lean 164 68

  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

Repositories

Showing 10 of 14 repositories
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Most used topics

Loading…