adibas03 / Solidity-truffle-testsLinks
A series of attack tests on commonly used libraries and contracts in the ethereum web space
☆20Updated 7 years ago
Alternatives and similar repositories for Solidity-truffle-tests
Users that are interested in Solidity-truffle-tests are comparing it to the libraries listed below
Sorting:
- http://hackthiscontract.io/☆50Updated 2 years ago
- Solidity Contract Function Profiler☆82Updated 7 years ago
- Confidential Transactions with Reusable Commitments on Ethereum☆17Updated 5 years ago
- Compiler & Language definition for the Ethereum project☆60Updated 10 years ago
- ☆25Updated 6 years ago
- Elliptic Curve Implementation in Solidity☆82Updated 7 years ago
- Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.☆31Updated 2 years ago
- IC3 Bootcamp Security Project☆22Updated 8 years ago
- Cross-chain proofs and atomic transactions☆19Updated 7 years ago
- Set of functions for golang verification of zkSNARKs☆31Updated 7 years ago
- formal verification of multicollateral dai in the K framework☆44Updated 4 years ago
- LearnChannels.org - open source information resource on state channels☆31Updated 7 years ago
- Simple bonding curve contract based on bancor formula☆86Updated 6 years ago
- A client to bridge two EVM blockchain networks☆12Updated 7 years ago
- 👾 A mutation testing tool for Solidity contracts☆47Updated 7 years ago
- ☆18Updated 2 years ago
- zDai.io - confidential Dai transactions on Burner wallet☆29Updated 6 years ago
- A PoC for a zkSnark-based mixer on Ethereum (adapted from Miximus)☆28Updated 2 years ago
- ☆12Updated 8 years ago
- ☆12Updated 4 years ago
- This is a repo which serves to design and develop the website which contains ETHSecurity resources.☆25Updated 7 years ago
- Elliptic Curve Implementation in Solidity☆26Updated last year
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange☆46Updated 6 years ago
- Automatic market maker with batched buy & sell orders☆32Updated 2 years ago
- Cryptographic protocols for Solidity.☆13Updated 8 years ago
- Repository dedicated to listing current bug bounty programs in the Ethereum ecosystem☆46Updated 8 years ago
- Maker Keeper Framework: Keeper to actively manage open CDPs.☆28Updated 2 years ago
- Simple Ethereum event tracking☆55Updated 7 years ago
- A Solidity delegate call proxy that also `delegatecall`'s its constructor☆22Updated 7 years ago
- data and charts for Ethereum state analysis☆46Updated 5 years ago