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:
- Benchmarking data for EVM ops and precompiles☆22Updated 2 years ago
- Set of functions for golang verification of zkSNARKs☆31Updated 6 years ago
- WorkInProgress Contract on Ropsten that verifies Rinkeby transactions☆14Updated 2 years ago
- Index To BokkyPooBah's GitHub Repositories☆15Updated 5 years ago
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Updated 2 years ago
- Template for implementing Plasma child chains with Truebit☆50Updated 7 years ago
- Core set of Ethereum contracts for Pandora Boxchain functioning☆26Updated 4 years ago
- Analyze Solidity Smart Contracts with a variety of Dynamic/Static Analysis Suites☆12Updated 6 years ago
- ☆38Updated 6 years ago
- Initial implementation of RSA accumulator for history compaction in Plasma constructions☆22Updated 6 years ago
- Smart contracts for trustless bridges☆75Updated 5 years ago
- Plasma Cash: Towards Improved Plasma Constructions.☆50Updated 6 years ago
- Summaries of findings from Augurs audits☆11Updated 6 years ago
- Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.☆74Updated 7 years ago
- A program that annotates a vm trace with dataflow information☆35Updated 3 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
- ☆43Updated 5 years ago
- Hobbits is a lightweight wire protocol for ETH 2.0 network testing purposes.☆27Updated 5 years ago
- replay a historical tx using a web3 provider as a data source☆10Updated 7 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
- 0x Protocol v2 Audit☆25Updated 5 years ago
- Tool for testing Polkadot Relay Chain Runtimes☆13Updated 5 years ago
- Ethereum browser client based on ipfs/libp2p☆20Updated 7 years ago
- Research documents related to our implementation☆43Updated 6 years ago
- Proof of Concept of Ethereum Serenity Peer-to-Peer Layer on libp2p PubSub System☆40Updated 6 years ago
- Audit reports and signatures☆8Updated 6 years ago
- Bamboo: a morphing smart contract language☆38Updated 6 years ago
- Supporting evidence for security of the Jubjub curve to be used in Zcash☆16Updated 3 years ago
- Blocknative Assist widget for blockchain usability☆55Updated 2 years ago