quartz-technology / chameleon-rs
🦎 Prototypes on polymorphic, metamorphic and poly-metamorphic malwares in Rust 🦎
☆13Updated last year
Related projects ⓘ
Alternatives and complementary repositories for chameleon-rs
- A ZK-VM for the Brainfuck language, based on Stwo☆12Updated this week
- ☆10Updated 2 months ago
- ☆12Updated last year
- MiMC implementation in Halo2☆9Updated 2 years ago
- ☆14Updated last year
- Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.☆24Updated 2 years ago
- ☆13Updated 2 months ago
- ☆10Updated last year
- The first CHIP-8 zkvm☆17Updated 5 months ago
- A SIMD implementation of Keccak256 for aarch64, forked from Remco Bloeman's Goldilocks K12 implementation.☆19Updated last year
- Starky implementation of Bls12-381☆12Updated 6 months ago
- ☆12Updated last year
- verify cairo execution in Halo2☆17Updated last year
- Noir library to verify JWT tokens, and prove claims.☆13Updated last week
- halo2-lib-eddsa☆11Updated 9 months ago
- Making learning sh*t less annoying☆10Updated this week
- prove eth_call result☆15Updated 8 months ago
- ☆17Updated last year
- ☆12Updated last year
- Macros + Primitives for PADE format☆26Updated this week
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated last year
- SIPP(Statistically sound Inner Pairing Product) verification in SNARK☆18Updated last year
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Updated last year
- An implementation of Sangria☆18Updated last year
- Lightweight throttle layer for alloy providers☆15Updated 3 weeks ago
- a reference on testing and constraining circom☆16Updated last month
- An efficient constant gas function dispatch pattern for solidity external libraries.☆15Updated last year
- Herodotus Data Processor using SP1 as backend☆14Updated 2 weeks ago
- Better assertion macros for pure Huff tests.☆19Updated last year
- ☆13Updated this week