runtimeverification / erc777-semantics
☆11Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for erc777-semantics
- Benchmarking data for EVM ops and precompiles☆22Updated last year
- Set of functions for golang verification of zkSNARKs☆31Updated 6 years ago
- supplement material for BlackHat2020 talk: Multiple Bugs in Multi-Party Computation: Breaking Cryptocurrency's Strongest Wallets☆12Updated 4 years ago
- Elliptic Curve Implementation in Solidity☆24Updated 9 months ago
- WorkInProgress Contract on Ropsten that verifies Rinkeby transactions☆14Updated last year
- Zero Knowledge proof for point doubling on baby JubJub elliptic curve, using Zokrates☆12Updated 6 years ago
- Index To BokkyPooBah's GitHub Repositories☆13Updated 4 years ago
- A 64bit-TinyRAM simulator in Go☆13Updated 6 years ago
- ☆13Updated 8 years ago
- Understandable notes on blockchain papers.☆21Updated 5 years ago
- Token Sale example implementing GasToken Factory methods☆19Updated 6 years ago
- A PoC for a zkSnark-based mixer on Ethereum (adapted from Miximus)☆28Updated last year
- A program that annotates a vm trace with dataflow information☆35Updated 2 years ago
- A set of utilities (currently in alpha) for exploring Solidity contracts☆23Updated 6 years ago
- Random collection of zero-knowledge stuff☆18Updated 6 years ago
- Snowball simulation☆18Updated 5 years ago
- Dr. Y's Ethereum Contract Analyzer☆42Updated 2 years ago
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Updated last year
- [DEPRECATED] TypeScript library for interacting with the dYdX V1 protocol☆22Updated 5 years ago
- Proof of Concept of Ethereum Serenity Peer-to-Peer Layer on libp2p PubSub System☆40Updated 5 years ago
- Ethereum Bug Bounty Submission: Sending Negative Value Transactions☆18Updated 2 years ago
- C++ library for zkSNARKs☆15Updated 7 years ago
- Lightning Cross Chain Atomic Swap☆17Updated 6 years ago
- Template for implementing Plasma child chains with Truebit☆50Updated 6 years ago
- 0x Protocol v2 Audit☆24Updated 5 years ago
- Supporting evidence for security of the Jubjub curve to be used in Zcash☆16Updated 3 years ago
- A Solidity delegate call proxy that also `delegatecall`'s its constructor☆22Updated 6 years ago
- Core set of Ethereum contracts for Pandora Boxchain functioning☆26Updated 4 years ago