quartz-technology / chameleon-rsLinks
🦎 Prototypes on polymorphic, metamorphic and poly-metamorphic malwares in Rust 🦎
☆13Updated last year
Alternatives and similar repositories for chameleon-rs
Users that are interested in chameleon-rs are comparing it to the libraries listed below
Sorting:
- The Noir library for the Fraction data type, maintained by Resurgence Labs.☆11Updated last year
- ☆12Updated last year
- ☆12Updated 11 months ago
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Updated last year
- halo2-lib-eddsa☆11Updated last year
- An implementation of Sangria☆17Updated 2 years ago
- ☆14Updated last year
- An EVM Jump-Oriented Programming Puzzle in SECCON CTF 2023 Quals☆28Updated last year
- Static analysis framework for Polynomial Identity Language (PIL) used in zkEVM for defining state machines☆11Updated 2 years ago
- Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits☆31Updated last year
- 👓☆15Updated 2 years ago
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆32Updated last week
- An arkworks implementation of the superspartan PIOP☆13Updated 11 months ago
- verify cairo execution in Halo2☆15Updated last year
- Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNAR…☆11Updated last year
- Prove multi-opens of EIP-4844 KZG blobs☆16Updated 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
- ☆10Updated last year
- ☆13Updated 2 years ago
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated 2 years ago
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Updated 2 years ago
- Code used in a recent presentation showing off noir storage proofs☆15Updated 2 years ago
- ☆16Updated last year
- A Language Server Protocol Implementation for Circom☆31Updated 2 years ago
- Herodotus Data Processor using SP1 as backend☆16Updated 9 months ago
- The first CHIP-8 zkvm☆20Updated last year
- Extracting the semantics of Noir to Lean for formal verification☆34Updated last week
- ☆18Updated 2 years ago
- Rust crypto library for zero-knowledge proofs☆16Updated last month
- polynomial commitments from linear codes☆46Updated 8 months ago