Skip to content
@leanEthereum

lean Ethereum

Popular repositories Loading

  1. leanSpec leanSpec Public

    Lean Ethereum protocol specifications and test vector generation framework.

    Python 126 66

  2. leanMultisig leanMultisig Public

    Minimal zkVM, targeting aggregation of hash-based signatures.

    Rust 101 38

  3. leanSig leanSig Public

    Rust implementation of the current leanSig proposal.

    Rust 37 19

  4. leanMetrics leanMetrics Public

    10 9

  5. pm pm Public

    Project Management: Meeting notes and agenda items

    4 11

  6. fiat-shamir fiat-shamir Public

    Rust 4 2

Repositories

Showing 9 of 9 repositories
  • leanMultisig Public

    Minimal zkVM, targeting aggregation of hash-based signatures.

    leanEthereum/leanMultisig’s past year of commit activity
    Rust 101 Apache-2.0 38 16 11 Updated Apr 19, 2026
  • leanMetrics Public
    leanEthereum/leanMetrics’s past year of commit activity
    10 9 3 0 Updated Apr 19, 2026
  • leanSpec Public

    Lean Ethereum protocol specifications and test vector generation framework.

    leanEthereum/leanSpec’s past year of commit activity
    Python 126 MIT 66 9 (6 issues need help) 3 Updated Apr 17, 2026
  • leansig-test-keys Public
    leanEthereum/leansig-test-keys’s past year of commit activity
    Makefile 0 0 0 0 Updated Apr 16, 2026
  • pm Public

    Project Management: Meeting notes and agenda items

    leanEthereum/pm’s past year of commit activity
    4 CC0-1.0 11 16 1 Updated Apr 16, 2026
  • leanSig Public

    Rust implementation of the current leanSig proposal.

    leanEthereum/leanSig’s past year of commit activity
    Rust 37 Apache-2.0 19 7 3 Updated Apr 8, 2026
  • multilinear-toolkit Public
    leanEthereum/multilinear-toolkit’s past year of commit activity
    Rust 3 Apache-2.0 5 1 0 Updated Feb 18, 2026
  • fiat-shamir Public
    leanEthereum/fiat-shamir’s past year of commit activity
    Rust 4 Apache-2.0 2 2 2 Updated Jan 30, 2026
  • leanSnappy Public
    leanEthereum/leanSnappy’s past year of commit activity
    Python 0 MIT 0 0 0 Updated Jan 2, 2026

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…