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☆38Updated 9 months ago
- Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award☆70Updated 2 years ago
- SMT 2023 Submission; license pending☆56Updated last year
- CTF Writeups☆36Updated last year
- Automated verification of uniqueness property for ZKP circuits☆43Updated last year
- ☆39Updated last year
- Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines☆11Updated 2 years ago
- A collection of resources relevant to the PSE Security Team.☆12Updated 2 years ago
- ☆48Updated 2 years ago
- Formal verification of WETH9.sol with Z3☆59Updated 3 years ago
- As I learn more about ZKP and its use cases in blockchain, I'll be updating this repository with new resources and insights to help you s…☆42Updated last year
- Barebones Solidity smart contract fuzzer☆96Updated 3 years ago
- A Symbolic Execution Tool for Cairo☆15Updated 3 years ago
- A Rust macro for quickly unwrapping a refutable pattern.☆12Updated 2 years ago
- A Symbolic Execution Tool for Cairo☆52Updated 3 years ago
- DeFiVulnLabsCosmWasm☆50Updated 2 years ago
- Automated verification of uniqueness property for ZKP circuits☆90Updated last year
- StarkNet smart contract fuzzer☆81Updated 3 years ago
- ☆41Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- X-MAS CTF 2021 Ethereum challenges☆29Updated 3 years ago
- Proof of Concept for the "Zero Knowledge State Channel", a novel construction for increasing scalability while also enforcing privacy pre…☆13Updated 2 years ago
- ☆30Updated 2 years ago
- ☆87Updated 2 months ago
- ☆17Updated last year
- Validation code for the EOF specification☆57Updated 6 months ago
- Ecne: An engine for verifying the soundness of R1CS constraints☆113Updated 3 years ago
- Writeup for solved challenges in Paradigm CTF 2022☆76Updated 3 years ago
- ☆28Updated 2 months ago
- This is the official website for Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities☆61Updated 4 years ago