Skip to content
Change the repository type filter

All

    Repositories list

    • leanSpec

      Public
      Lean Ethereum protocol specifications and test vector generation framework.
      Python
      277583Updated Jan 6, 2026Jan 6, 2026
    • Minimal zkVM, targeting XMSS aggregation and recursion.
      Rust
      216176Updated Jan 6, 2026Jan 6, 2026
    • Python
      0000Updated Jan 2, 2026Jan 2, 2026
    • Rust
      3210Updated Dec 28, 2025Dec 28, 2025
    • leanSig

      Public
      Rust implementation of the current leanSig proposal.
      Rust
      101062Updated Dec 17, 2025Dec 17, 2025
    • Rust
      1400Updated Dec 17, 2025Dec 17, 2025
    • Makefile
      0000Updated Dec 17, 2025Dec 17, 2025
    • 5502Updated Dec 12, 2025Dec 12, 2025
    • pm

      Public
      Project Management: Meeting notes and agenda items
      23160Updated Dec 11, 2025Dec 11, 2025