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 3 months ago
- A collection of resources relevant to the PSE Security Team.☆12Updated 2 years ago
- Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines☆11Updated 2 years ago
- ☆18Updated 2 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
- SIPP(Statistically sound Inner Pairing Product) verification in SNARK☆17Updated last year
- SMT 2023 Submission; license pending☆55Updated 6 months ago
- MEV Olympics☆44Updated 6 months ago
- A regex virtual machine for full featured pattern matching on Ethereum Virtual Machine.☆20Updated 5 months ago
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- Formal verification of WETH9.sol with Z3☆58Updated 2 years ago
- ☆28Updated 8 months ago
- CTF Writeups☆36Updated last year
- Helper functions enabling players to solve past curta puzzles on their own time.☆31Updated last year
- A tree-sitter-grammar for cairo 1.0☆16Updated 2 years ago
- Base64 decoding circuit in halo2☆14Updated last year
- A note on multivariate lookup arguments☆11Updated 2 years ago
- Validation code for the EOF specification☆56Updated last month
- ☆11Updated last year
- ☆38Updated last year
- Secp256k1 Elliptic Curve Library Written In Huff☆5Updated last year
- A Symbolic Execution Tool for Cairo☆16Updated 2 years ago
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago
- ☆36Updated 2 years ago
- Celestia derivation pipeline and proof crate built with kona☆14Updated 2 weeks ago
- Zero Knowledge based Ethereum Virtual Machine in Circom language☆17Updated 4 years ago
- Contains several examples and challenges to use Lambdaworks☆15Updated last year
- Remote Attestation VErification☆32Updated 10 months ago
- Solution for the Optimizoor club's sqrt challenge☆18Updated 2 years ago
- ☆41Updated 2 years ago