Pinned Loading

1. learning-zkp learning-zkp Public

   articles, codes and tools all about zero-knowledge proofs

   Jupyter Notebook 831 193

2. zkPoD-node zkPoD-node Public

   zkPoD: A decentralized system for perfect fair data exchange

   Go 206 38

3. mfer-safe mfer-safe Public

   The mfer-safe https://twitter.com/outoflegend/status/1557038973658472450

   JavaScript 23 2

4. tokenlibs-with-proofs tokenlibs-with-proofs Public

   Correctness proofs of Ethereum token contracts

   Coq 98 23

5. awesome-buggy-erc20-tokens awesome-buggy-erc20-tokens Public

   A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected

   Python 615 100

6. adelaide adelaide Public

   Forked from ethereum/solidity

   The SECBIT Static Analysis Extension to Solidity Compiler

   C++ 19 5