Pinned Loading

1. learning-zkp learning-zkp Public

   articles, codes and tools all about zero-knowledge proofs

   Jupyter Notebook 862 201

2. zkPoD-node zkPoD-node Public

   zkPoD: A decentralized system for perfect fair data exchange

   Go 212 37

3. mfer-safe mfer-safe Public

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

   JavaScript 24 2

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

   Correctness proofs of Ethereum token contracts

   Coq 97 23

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

   A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected

   Python 619 102

6. adelaide adelaide Public

   Forked from ethereum/solidity

   The SECBIT Static Analysis Extension to Solidity Compiler

   C++ 19 5