Skip to content

@leanEthereum lean Ethereum

All

    Repositories list

    18 repositories

    • leanVM

      Public
      Minimal zkVM for Ethereum.
      Lean
      •
      Apache License 2.0
      •81•177•30•43•Updated Nov 1, 2026Nov 1, 2026

    • leanSeal

      Public
      Time-lock encryption from SHA-256 alone, for encrypted mempools.
      Rust
      •
      Apache License 2.0
      •1•1•0•0•Updated Oct 30, 2026Oct 30, 2026

    • ots.golf-submissions

      Public
      Lean
      •
      Apache License 2.0
      •9•1•0•68•Updated Oct 29, 2026Oct 29, 2026

    • axiom

      Public
      A Rust consensus client for Lean Ethereum research
      Rust
      •
      Apache License 2.0
      •1•1•0•5•Updated Oct 28, 2026Oct 28, 2026

    • sig.golf-dev

      Public
      Draft rules for leanSPHINCS: an autoresearch competition for the post-quantum hash-based signature of Ethereum accounts
      Python
      •
      Apache License 2.0
      •3•2•0•1•Updated Oct 11, 2026Oct 11, 2026

    • sig.golf-submissions

      Public
      Proof submissions for sig.golf: pull requests verified by the hosted checker, never merged; main holds the current record root and records.json
      Apache License 2.0
      •2•0•0•24•Updated Sep 29, 2026Sep 29, 2026

    • ots.golf-dev

      Public
      Python
      •
      Apache License 2.0
      •2•0•0•0•Updated Sep 27, 2026Sep 27, 2026

    • leanvm-riscv

      Public
      A RISC-V (rv64im) zkVM proven with the binary Plonky3 backend.
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Sep 23, 2026Sep 23, 2026

    • leanVM-b

      Public archive
      Lean
      •
      Apache License 2.0
      •4•19•0•3•Updated Sep 12, 2026Sep 12, 2026

    • leanSpec

      Public
      Lean Ethereum protocol specifications and test vector generation framework.
      ethereumethpost-quantum-cryptography
      ethereumethpost-quantum-cryptographyethereum-testinglean-ethereum
      Python
      •
      MIT License
      •85•144•13•14•Updated Sep 2, 2026Sep 2, 2026

    • leanMetrics

      Public
      12•15•3•1•Updated Aug 6, 2026Aug 6, 2026

    • leanBench

      Public
      Performance benchmarks for leanSig and leanMultisig across hardware.
      JavaScript
      •
      MIT License
      •3•2•0•1•Updated Jun 20, 2026Jun 20, 2026

    • leansig-test-keys

      Public
      Makefile
      •0•0•0•0•Updated May 21, 2026May 21, 2026

    • leanSig

      Public
      Rust implementation of the current leanSig proposal.
      Rust
      •
      Apache License 2.0
      •29•49•11•9•Updated Apr 29, 2026Apr 29, 2026

    • pm

      Public
      Project Management: Meeting notes and agenda items
      Creative Commons Zero v1.0 Universal
      •14•5•16•4•Updated Apr 16, 2026Apr 16, 2026

    • multilinear-toolkit

      Public archive
      Rust
      •
      Apache License 2.0
      •6•4•2•0•Updated Feb 18, 2026Feb 18, 2026

    • fiat-shamir

      Public archive
      Rust
      •
      Apache License 2.0
      •2•5•2•2•Updated Jan 30, 2026Jan 30, 2026

    • leanSnappy

      Public
      Python
      •
      MIT License
      •0•0•0•0•Updated Jan 2, 2026Jan 2, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.