Repositories list

• leanMultisig

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

  Rust

  •

  Apache License 2.0

  •32•80•9•7•Updated Mar 24, 2026Mar 24, 2026

• leanSpec

  Public
  Lean Ethereum protocol specifications and test vector generation framework.

  ethereumethpost-quantum-cryptography+ 2

  ethereumethpost-quantum-cryptographyethereum-testinglean-ethereum

  Python

  •

  MIT License

  •49•108•4•2•Updated Mar 24, 2026Mar 24, 2026

• leanSig

  Public
  Rust implementation of the current leanSig proposal.

  Rust

  •

  Apache License 2.0

  •17•31•6•0•Updated Mar 23, 2026Mar 23, 2026

• leansig-test-keys

  Public
  Makefile

  •0•0•0•0•Updated Mar 16, 2026Mar 16, 2026

• pm

  Public
  Project Management: Meeting notes and agenda items

  Creative Commons Zero v1.0 Universal

  •11•4•16•3•Updated Mar 2, 2026Mar 2, 2026

• leanMetrics

  Public
  8•7•2•2•Updated Feb 27, 2026Feb 27, 2026

• multilinear-toolkit

  Public
  Rust

  •

  Apache License 2.0

  •5•3•1•0•Updated Feb 18, 2026Feb 18, 2026

• fiat-shamir

  Public
  Rust

  •

  Apache License 2.0

  •2•4•2•2•Updated Jan 30, 2026Jan 30, 2026

• leanSnappy

  Public
  Python

  •

  MIT License

  •0•0•0•0•Updated Jan 2, 2026Jan 2, 2026