sec-bit / adelaide
The SECBIT Static Analysis Extension to Solidity Compiler
☆19Updated 5 years ago
Related projects: ⓘ
- Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.☆60Updated 4 years ago
- SOLTIX: Scalable automated framework for testing Solidity compilers.☆37Updated 3 years ago
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆24Updated last year
- data and charts for Ethereum state analysis☆47Updated 4 years ago
- 👾 A mutation testing tool for Solidity contracts☆48Updated 6 years ago
- CLI client for the MythX API☆20Updated last year
- ☆22Updated last year
- ☆51Updated 5 years ago
- Generate & verify Merkle-Patricia-proofs for Ethereum☆106Updated last year
- Yield Protocol v1☆43Updated 11 months ago
- An Ethereum Tx Station - Batch transactions and save 30% on gas costs. 🚄🚃🚃🚃🚃🚃🚃🚃🚃🚃🚃🚃🚃🚃💨☆29Updated last year
- An example of how generate zero-knowledge proofs and verify using an Ethereum smart contract.☆36Updated 4 years ago
- Profile Solidity gas consumption line-wise.☆23Updated 3 years ago
- 🎛 Core smart contracts of Uniswap V2, adapted to run on the Optimistic VM (OVM) while maintaining compatibility with the Ethereum VM (EV…☆26Updated 3 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆98Updated last year
- Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.☆29Updated last year
- Ring signature related implementations for ethereum☆27Updated 2 years ago
- Solidity error logging☆23Updated 2 years ago
- Smart contract - Zerocash-like approach for privacy on Ethereum☆21Updated 5 years ago
- ☆56Updated this week
- ☆34Updated 3 years ago
- An example script finding self-destructs in Eveem sources published on BigQuery☆43Updated 8 months ago
- AZTEC protocol trusted setup MPC☆31Updated 2 months ago
- Subset of public audit reports issued by ChainSecurity. For more, please visit:☆28Updated 10 months ago
- Intentionally self-destructive Ethereal on-chain-ish Wallet. (Proof-of-Concept bootstrap technique with CREATE2)☆35Updated 5 years ago
- Presentation materials from (Defense Against) The Dark Arts - Contract Runtime Mutability at Devcon V in Osaka☆34Updated 4 years ago
- 311 byte EIP712 Signing Compliant Delegate-Call Enabled MultiSignature Wallet for the Ethereum Virtual Machine☆60Updated last year
- Tricking frontrunners into doing good☆42Updated last year
- Spawn EIP 1167 minimal proxies with an included initialization step during contract creation.☆41Updated last year
- Smart contracts for zkPoD Decentralized Exchange☆14Updated last year