A decentralized system for data exchange. See our technical paper for more information.
Articles, codes and tools all about zero-knowledge proofs. Read about zkp introduction series from here or check out zkp learning resource list.
Correctness proofs of Ethereum token contracts.
Formal Verification for Loopring Protocol Smart Contract version 2.
Security audit for the first zkRollup based decentralized exchange, including smart contracts and zkp circuits.
A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected.
The SECBIT Static Analysis Extension to Solidity Compiler. Find out how to use and currently cupported checks
A safe subset of the Solidity language. Find out how to build and use.