runtimeverification / erc777-semantics
☆11Updated 3 years ago
Alternatives and similar repositories for erc777-semantics:
Users that are interested in erc777-semantics are comparing it to the libraries listed below
- Set of functions for golang verification of zkSNARKs☆31Updated 6 years ago
- Template for implementing Plasma child chains with Truebit☆50Updated 7 years ago
- 0x Protocol v2 Audit☆25Updated 5 years ago
- Elliptic Curve Implementation in Solidity☆24Updated last year
- Benchmarking data for EVM ops and precompiles☆22Updated 2 years ago
- ☆25Updated 6 years ago
- ☆14Updated 6 years ago
- Zero Knowledge proof for point doubling on baby JubJub elliptic curve, using Zokrates☆12Updated 6 years ago
- supplement material for BlackHat2020 talk: Multiple Bugs in Multi-Party Computation: Breaking Cryptocurrency's Strongest Wallets☆12Updated 4 years ago
- ☆13Updated 8 years ago
- [DEPRECATED] TypeScript library for interacting with the dYdX V1 protocol☆22Updated 5 years ago
- Index To BokkyPooBah's GitHub Repositories☆15Updated 4 years ago
- WorkInProgress Contract on Ropsten that verifies Rinkeby transactions☆14Updated 2 years ago
- one of many proofs, ring signatures, and zerocoin algo from https://eprint.iacr.org/2014/764.pdf☆15Updated 2 years ago
- zDai.io - confidential Dai transactions on Burner wallet☆29Updated 6 years ago
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange☆46Updated 6 years ago
- ☆43Updated 5 years ago
- Dr. Y's Ethereum Contract Analyzer☆41Updated 3 years ago
- ☆38Updated 6 years ago
- Tool for overriding Ethereum transactions stuck in the pool☆16Updated 2 years ago
- Cryptographic protocols for Solidity.☆13Updated 7 years ago
- A pooled liquidity contract for participating in the upcoming MKR auction at a "backstop" price of 1 MKR per 100 Dai.☆13Updated 2 years ago
- A program that annotates a vm trace with dataflow information☆35Updated 3 years ago
- Analyze Solidity Smart Contracts with a variety of Dynamic/Static Analysis Suites☆12Updated 6 years ago
- Pure-solidity implementation of the SHA1 hash function.☆42Updated 2 years ago
- Smart contracts for trustless bridges☆75Updated 5 years ago
- ☆24Updated 3 years ago
- A set of utilities (currently in alpha) for exploring Solidity contracts☆23Updated 6 years ago
- Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.☆73Updated 7 years ago
- Plasma Cash: Towards Improved Plasma Constructions.☆50Updated 6 years ago