chyanju / PicusLinks
Automated verification of uniqueness property for ZKP circuits
☆42Updated last year
Alternatives and similar repositories for Picus
Users that are interested in Picus are comparing it to the libraries listed below
Sorting:
- ☆47Updated last year
- Automated verification of uniqueness property for ZKP circuits☆76Updated last year
- A Symbolic Execution Tool for Cairo☆51Updated 2 years ago
- SMT 2023 Submission; license pending☆55Updated 6 months ago
- Solves systems of polynomial equations.☆29Updated last year
- Compile circom code to llvm partially☆12Updated 2 years ago
- Write-ups submitted by CTF participants☆35Updated 2 years ago
- ☆53Updated last week
- A course on Halo2 in collaboration with Zircuit☆25Updated 4 months ago
- ☆24Updated 9 months ago
- Verifiable FHE with GKR☆26Updated 8 months ago
- ☆43Updated 3 weeks ago
- ☆41Updated last year
- ZK Circuit Fuzzer☆14Updated this week
- zero knowledge proof aggregator for general circuit☆72Updated last year
- A tool to extract gnark circuits defined in Go to Lean for formal verification.☆13Updated 2 months 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
- Interactive formal verification tool for Yul programs☆65Updated 3 weeks ago
- Proof system backends for OpenVM.☆30Updated this week
- Frobenius sumcheck for vectorized boolean ops☆53Updated last month
- Horus, a formal verification tool for StarkNet smart contracts.☆74Updated 2 years ago
- ☆30Updated 2 years ago
- ☆50Updated last year
- Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.☆49Updated this week
- Compiler framework for ZK VMs☆33Updated last year
- Precise Attack Synthesis for DeFi Apps☆47Updated 2 years ago
- Nova Verifier in Circom so it can be verified onChain☆58Updated last year
- ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf☆41Updated last year
- Ecne: An engine for verifying the soundness of R1CS constraints☆110Updated 2 years ago
- Playing with zero-knowledge proof languages☆105Updated 2 years ago