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:
- Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.☆74Updated 7 years ago
- Index To BokkyPooBah's GitHub Repositories☆15Updated 5 years ago
- Various papers on crypto pertinent to zero knowledge proofs, etc☆24Updated 5 years ago
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Updated 2 years ago
- Set of functions for golang verification of zkSNARKs☆31Updated 6 years ago
- 0x Protocol v2 Audit☆26Updated 5 years ago
- ☆25Updated 6 years ago
- Supporting evidence for security of the Jubjub curve to be used in Zcash☆16Updated 3 years ago
- A program that annotates a vm trace with dataflow information☆35Updated 3 years ago
- Elliptic Curve Implementation in Solidity☆24Updated last year
- ☆27Updated 5 years ago
- Paper and implementation of blockchain attestations☆49Updated last year
- Lightning Cross Chain Atomic Swap☆17Updated 7 years ago
- The ultimate environment for Solidity development. A fully integrated project with all the tools you could need right at your disposal. …☆13Updated 2 years ago
- Zero Knowledge proof for point doubling on baby JubJub elliptic curve, using Zokrates☆12Updated 6 years ago
- WorkInProgress Contract on Ropsten that verifies Rinkeby transactions☆14Updated 2 years ago
- A zkSNARK implementation of a merkle tree membership preimage proof.☆23Updated 6 years ago
- Tool for overriding Ethereum transactions stuck in the pool☆16Updated 3 years ago
- ☆15Updated 4 years ago
- Random collection of zero-knowledge stuff☆17Updated 7 years ago
- Core set of Ethereum contracts for Pandora Boxchain functioning☆26Updated 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
- Token Sale example implementing GasToken Factory methods☆19Updated 7 years ago
- Solidity Parser for Solium☆29Updated 2 years ago
- ZKP on Ethereum to prove your age while keeping it private. Implementation of ZoKrates (which is in turn an implementation of libsnark)☆5Updated 2 years ago
- Benchmarking data for EVM ops and precompiles☆22Updated 2 years ago
- Proof of Concept of Ethereum Serenity Peer-to-Peer Layer on libp2p PubSub System☆40Updated 6 years ago
- 😈 Eth2 Network Agent 😈☆31Updated 4 years ago
- this implements verifiable secret sharing☆41Updated 2 years ago