| Version | Supported |
|---|---|
| 0.1.x | ✅ |
If you discover a security vulnerability, please report it by:
- Do NOT open a public issue
- Send an email to the repository maintainer
- Include detailed steps to reproduce
- Allow time for a fix before public disclosure
Shadow-EVM provides the following security guarantees:
- STARK Proofs: Computational integrity of EVM execution
- Groth16 SNARKs: Constant-size proofs for on-chain verification
- Keccak256 Commitments: Bind execution input to output
| Property | Guarantee |
|---|---|
| Execution Correctness | EVM executed correctly inside ZK-VM |
| State Transition | Pre-state + tx produces post-state |
| Determinism | Same input always produces same output |
| Property | Reason |
|---|---|
| Input Validity | Caller must validate inputs |
| Pre-State Existence | Must verify pre-state exists on-chain |
| Economic Security | Separate from cryptographic guarantees |
We rely on:
This project has not yet been audited. Use at your own risk.