kalos-xyz / Publications
Some of Our Audit Reports, Presentations, etc
☆11Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for Publications
- A collection of resources relevant to the PSE Security Team.☆12Updated last year
- ☆18Updated last year
- SMT 2023 Submission; license pending☆52Updated this week
- Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines☆11Updated last year
- PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits☆34Updated last year
- StarkNet smart contract fuzzer☆77Updated 2 years ago
- Writing MACI circuits in Noir☆16Updated last year
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago
- Formal verification of WETH9.sol with Z3☆55Updated 2 years ago
- A note on multivariate lookup arguments☆10Updated last year
- Contains several examples and challenges to use Lambdaworks☆15Updated last year
- ☆12Updated last year
- Automated verification of uniqueness property for ZKP circuits☆41Updated 5 months ago
- ECDSA gadgets for plonky2☆18Updated last year
- Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆49Updated this week
- ☆39Updated last year
- A tree-sitter-grammar for cairo 1.0☆16Updated last year
- A barebones framework for hand tuned smart contracts in pure opcodes.☆47Updated 2 years ago
- ☆28Updated 2 years ago
- Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award☆64Updated last year
- zkSNARK circuits for the Telepathy protocol☆51Updated last year
- BN254 Pairing Implementation in Noir☆20Updated last year
- Proof of Concept for the "Zero Knowledge State Channel", a novel construction for increasing scalability while also enforcing privacy pre…☆13Updated last year
- CTF Writeups☆36Updated 11 months ago
- Data Availability Sampling (DAS) on a Discovery-v5 DHT overlay☆34Updated 2 years ago
- Implementation of the Grumpkin curve in Rust.☆29Updated last year
- An automated fuzz harness generator for Go projects☆14Updated last month
- ☆28Updated last year
- Prove knowledge of smart contract bugs using zkEVM☆43Updated 2 months ago