Skip to content
@leanEthereum

lean Ethereum

Popular repositories Loading

  1. leanSpec leanSpec Public

    Lean Ethereum protocol specifications and test vector generation framework.

    Python 88 39

  2. leanMultisig leanMultisig Public

    Minimal zkVM, targeting XMSS aggregation and recursion.

    Rust 64 22

  3. leanSig leanSig Public

    Rust implementation of the current leanSig proposal.

    Rust 16 12

  4. leanMetrics leanMetrics Public

    6 5

  5. pm pm Public

    Project Management: Meeting notes and agenda items

    4 8

  6. fiat-shamir fiat-shamir Public

    Rust 4 1

Repositories

Showing 9 of 9 repositories
  • leanMultisig Public

    Minimal zkVM, targeting XMSS aggregation and recursion.

    leanEthereum/leanMultisig’s past year of commit activity
    Rust 64 Apache-2.0 22 10 5 Updated Jan 26, 2026
  • leanSpec Public

    Lean Ethereum protocol specifications and test vector generation framework.

    leanEthereum/leanSpec’s past year of commit activity
    Python 88 MIT 39 4 3 Updated Jan 26, 2026
  • pm Public

    Project Management: Meeting notes and agenda items

    leanEthereum/pm’s past year of commit activity
    4 CC0-1.0 8 16 0 Updated Jan 24, 2026
  • multilinear-toolkit Public
    leanEthereum/multilinear-toolkit’s past year of commit activity
    Rust 3 Apache-2.0 5 1 0 Updated Jan 23, 2026
  • fiat-shamir Public
    leanEthereum/fiat-shamir’s past year of commit activity
    Rust 4 Apache-2.0 1 0 0 Updated Jan 23, 2026
  • leanSig Public

    Rust implementation of the current leanSig proposal.

    leanEthereum/leanSig’s past year of commit activity
    Rust 16 Apache-2.0 12 6 1 Updated Jan 22, 2026
  • leanMetrics Public
    leanEthereum/leanMetrics’s past year of commit activity
    6 5 2 0 Updated Jan 19, 2026
  • leansig-test-keys Public
    leanEthereum/leansig-test-keys’s past year of commit activity
    Makefile 0 0 0 0 Updated Jan 7, 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.

Top languages

Loading…

Most used topics

Loading…