runtimeverification / erc777-semanticsLinks
☆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
Sorting:
- Set of functions for golang verification of zkSNARKs☆31Updated 6 years ago
- Index To BokkyPooBah's GitHub Repositories☆15Updated 5 years ago
- replay a historical tx using a web3 provider as a data source☆10Updated 7 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
- Elliptic Curve Implementation in Solidity☆24Updated last year
- Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.☆74Updated 7 years ago
- WorkInProgress Contract on Ropsten that verifies Rinkeby transactions☆14Updated 2 years ago
- 0x Protocol v2 Audit☆25Updated 5 years ago
- ☆25Updated 6 years ago
- Template for implementing Plasma child chains with Truebit☆50Updated 7 years ago
- Visual Studio Code extension for SECBIT Solidity Static Analyzer☆11Updated 6 years ago
- Solidity Parser for Solium☆29Updated 2 years ago
- A 64bit-TinyRAM simulator in Go☆13Updated 6 years ago
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Updated 2 years ago
- Lightning Cross Chain Atomic Swap☆17Updated 7 years ago
- [DEPRECATED] TypeScript library for interacting with the dYdX V1 protocol☆22Updated 6 years ago
- Benchmarking data for EVM ops and precompiles☆22Updated 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
- Visualize your Aragon DAO Templates☆29Updated last year
- Token Sale example implementing GasToken Factory methods☆19Updated 7 years ago
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange☆46Updated 6 years ago
- Casper PoC4 implementation. This PoC4 version served as an early prototype to test and refine the PoS protocol, laying the groundwork for…☆20Updated 8 years ago
- ☆24Updated 3 years ago
- A set of utilities (currently in alpha) for exploring Solidity contracts☆23Updated 6 years ago
- Supporting evidence for security of the Jubjub curve to be used in Zcash☆16Updated 3 years ago
- 😎 A curated list of awesome EulerBeats resources.☆12Updated 4 years ago
- Tool for overriding Ethereum transactions stuck in the pool☆16Updated 2 years ago
- formal verification of multicollateral dai in the K framework☆46Updated 3 years ago