lean Ethereum

Popular repositories Loading

leanSpec leanSpec Public

Lean Ethereum protocol specifications and test vector generation framework.

Python 115 55
leanMultisig leanMultisig Public

Minimal zkVM, targeting aggregation of hash-based signatures.

Rust 89 35
leanSig leanSig Public

Rust implementation of the current leanSig proposal.

Rust 33 18
leanMetrics leanMetrics Public

7 8
pm pm Public

Project Management: Meeting notes and agenda items

4 11
fiat-shamir fiat-shamir Public

Rust 4 2

leanMultisig Public
Minimal zkVM, targeting aggregation of hash-based signatures.

leanEthereum/leanMultisig’s past year of commit activity

Rust 89 Apache-2.0 35 13 10 Updated Apr 1, 2026
leanSig Public
Rust implementation of the current leanSig proposal.

leanEthereum/leanSig’s past year of commit activity

Rust 33 Apache-2.0 18 6 3 Updated Apr 1, 2026
leanSpec Public
Lean Ethereum protocol specifications and test vector generation framework.

leanEthereum/leanSpec’s past year of commit activity

Python 115 MIT 55 3 (1 issue needs help) 3 Updated Apr 1, 2026
pm Public
Project Management: Meeting notes and agenda items

leanEthereum/pm’s past year of commit activity

4 CC0-1.0 11 16 2 Updated Mar 25, 2026
leansig-test-keys Public

leanEthereum/leansig-test-keys’s past year of commit activity

Makefile 0 0 0 0 Updated Mar 16, 2026
leanMetrics Public

leanEthereum/leanMetrics’s past year of commit activity

7 8 2 2 Updated Feb 27, 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

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

Loading…