kalos-xyz / PublicationsLinks
Some of Our Audit Reports, Presentations, etc
☆13Updated last year
Alternatives and similar repositories for Publications
Users that are interested in Publications are comparing it to the libraries listed below
Sorting:
- PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits☆37Updated 4 months ago
- Formal verification of WETH9.sol with Z3☆58Updated 2 years ago
- Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines☆11Updated 2 years ago
- ☆39Updated last year
- CTF Writeups☆36Updated last year
- SMT 2023 Submission; license pending☆55Updated 7 months ago
- A Symbolic Execution Tool for Cairo☆16Updated 2 years ago
- A Symbolic Execution Tool for Cairo☆51Updated 2 years ago
- A tree-sitter-grammar for cairo 1.0☆16Updated 2 years ago
- DeFiVulnLabsCosmWasm☆49Updated last year
- Validation code for the EOF specification☆56Updated last month
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆58Updated 4 years ago
- A collection of resources relevant to the PSE Security Team.☆12Updated 2 years ago
- A Rust macro for quickly unwrapping a refutable pattern.☆11Updated last year
- ☆41Updated 2 years ago
- Writeup for Move CTF 2022 by MoveBit and others.☆18Updated 2 years ago
- ☆9Updated last year
- Based Ethereum framework for writing tests in Rust☆12Updated last year
- Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award☆67Updated 2 years ago
- ☆46Updated last year
- Automated verification of uniqueness property for ZKP circuits☆42Updated last year
- A regex virtual machine for full featured pattern matching on Ethereum Virtual Machine.☆20Updated 6 months ago
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago