Skip to content

@ethsystems ethsystems

All

    Repositories list

    6 repositories

    • shielded-pool-model

      Public
      Lean 4 model of spec 2/SHIELDED-POOL: no double spend and value conservation, machine-checked
      formal-verificationzero-knowledgelean4
      formal-verificationzero-knowledgelean4shielded-pool
      Lean
      •
      Apache License 2.0
      •0•0•0•0•Updated Oct 29, 2026Oct 29, 2026

    • map

      Public
      Institutional Privacy Map
      JavaScript
      •
      Creative Commons Zero v1.0 Universal
      •49•93•1•1•Updated Oct 28, 2026Oct 28, 2026

    • web

      Public
      Astro
      •
      Creative Commons Zero v1.0 Universal
      •7•2•0•0•Updated Oct 27, 2026Oct 27, 2026

    • works

      Public
      monorepo of reusable building blocks
      Rust
      •
      Apache License 2.0
      •2•6•0•1•Updated Oct 27, 2026Oct 27, 2026

    • pocs

      Public
      Solidity
      •
      Apache License 2.0
      •2•23•2•0•Updated Oct 23, 2026Oct 23, 2026

    • specs

      Public
      EthSystems protocol specifications
      HTML
      •
      Creative Commons Zero v1.0 Universal
      •0•1•0•0•Updated Oct 23, 2026Oct 23, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.