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
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Updated last year
- Set of functions for golang verification of zkSNARKs☆31Updated 6 years ago
- Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.☆73Updated 6 years ago
- Supporting evidence for security of the Jubjub curve to be used in Zcash☆16Updated 3 years ago
- ☆13Updated 8 years ago
- 0x Protocol v2 Audit☆25Updated 5 years ago
- Core set of Ethereum contracts for Pandora Boxchain functioning☆26Updated 4 years ago
- Dr. Y's Ethereum Contract Analyzer☆42Updated 2 years ago
- replay a historical tx using a web3 provider as a data source☆10Updated 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 last year
- formal verification of multicollateral dai in the K framework☆45Updated 3 years ago
- Template for implementing Plasma child chains with Truebit☆50Updated 6 years ago
- Summaries of findings from Augurs audits☆11Updated 6 years ago
- Smart Contract tools to help streamline Ethereum dapp development and deployment☆14Updated 7 years ago
- A zkSNARK implementation of a merkle tree membership preimage proof.☆24Updated 5 years ago
- Casper PoC4 implementation. This PoC4 version served as an early prototype to test and refine the PoS protocol, laying the groundwork for…☆19Updated 7 years ago
- Initial implementation of RSA accumulator for history compaction in Plasma constructions☆22Updated 6 years ago
- ☆38Updated 6 years ago
- Ethereum Token Implementing RingCT☆25Updated 6 years ago
- Zero Knowledge proof for point doubling on baby JubJub elliptic curve, using Zokrates☆12Updated 6 years ago
- Elliptic Curve Implementation in Solidity☆24Updated 11 months ago
- Paper and implementation of blockchain attestations☆49Updated last year
- Token Sale example implementing GasToken Factory methods☆19Updated 6 years ago
- Smart contracts for trustless bridges☆75Updated 4 years ago
- SPV-based ETH/BTC swaps☆11Updated 2 years ago
- Multisig with a command-line interface☆22Updated 6 years ago
- Ethereum Bug Bounty Submission: Sending Negative Value Transactions☆18Updated 2 years ago
- Tool for overriding Ethereum transactions stuck in the pool☆16Updated 2 years ago
- zDai.io - confidential Dai transactions on Burner wallet☆29Updated 5 years ago