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 83

  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 12 repositories
  • leanVM Public

    Minimal zkVM for Ethereum.

    leanEthereum/leanVM's past year of commit activity
    Lean 164 Apache-2.0 68 1 14 Updated Sep 16, 2026
  • leanSphincs Public

    Draft rules for leanSPHINCS: an autoresearch competition for the post-quantum hash-based signature of Ethereum accounts

    leanEthereum/leanSphincs's past year of commit activity
    Python 0 0 0 0 Updated Sep 15, 2026
  • leanVM-b Public archive
    leanEthereum/leanVM-b's past year of commit activity
    Lean 19 Apache-2.0 4 0 3 Updated Sep 12, 2026
  • leanSpec Public

    Lean Ethereum protocol specifications and test vector generation framework.

    leanEthereum/leanSpec's past year of commit activity
    Python 143 MIT 83 10 10 Updated Sep 2, 2026
  • leanMetrics Public
    leanEthereum/leanMetrics's past year of commit activity
    15 12 3 1 Updated Aug 6, 2026
  • leanBench Public

    Performance benchmarks for leanSig and leanMultisig across hardware.

    leanEthereum/leanBench's past year of commit activity
    JavaScript 2 MIT 3 0 1 Updated Jun 20, 2026
  • leansig-test-keys Public
    leanEthereum/leansig-test-keys's past year of commit activity
    Makefile 0 0 0 0 Updated May 21, 2026
  • leanSig Public

    Rust implementation of the current leanSig proposal.

    leanEthereum/leanSig's past year of commit activity
    Rust 49 Apache-2.0 28 10 8 Updated Apr 30, 2026
  • pm Public

    Project Management: Meeting notes and agenda items

    leanEthereum/pm's past year of commit activity
    5 CC0-1.0 14 16 4 Updated Apr 16, 2026
  • multilinear-toolkit Public archive
    leanEthereum/multilinear-toolkit's past year of commit activity
    Rust 4 Apache-2.0 6 2 0 Updated Feb 18, 2026
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…