ethsystems

Popular repositories Loading

1. map map Public

   Institutional Privacy Map

   JavaScript 93 49

2. pocs pocs Public

   Solidity 23 2

3. works works Public

   monorepo of reusable building blocks

   Rust 6 2

4. web web Public

   Astro 2 7

5. specs specs Public

   EthSystems protocol specifications

   HTML 1

6. shielded-pool-model shielded-pool-model Public

   Lean 4 model of spec 2/SHIELDED-POOL: no double spend and value conservation, machine-checked

   Lean