CharmsDev / charmsLinks
Programmable assets on Bitcoin and beyond
☆12Updated this week
Alternatives and similar repositories for charms
Users that are interested in charms are comparing it to the libraries listed below
Sorting:
- Implementation of the Zcash Orchard Protocol☆55Updated last week
- Hazook is a fast ZK-Rollup built on Mina that parallelizes the accumulation of zk state proofs☆16Updated last year
- A general-purpose layer 2 zk-rollup scaling solution for Cardano☆21Updated 2 years ago
- Rust implementation for zcash/pasta☆83Updated 4 months ago
- Early-stage research related to the Anoma protocols.☆32Updated last year
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆39Updated last month
- An implementation of a DKG protocol for front-running protection on Anoma.☆82Updated 2 years ago
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆47Updated 5 years ago
- RISC-V ELF interpreter in cairo☆35Updated 10 months ago
- Evaluating & benchmarking ZKP compilation strategies.☆121Updated last year
- Implementations of proof-carrying data☆35Updated 3 years ago
- Formalization of Typhon protocol☆31Updated 8 months ago
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆109Updated last year
- A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…☆37Updated 2 years ago
- Generator and supporting evidence for security of the Pallas/Vesta pair of elliptic curves suitable for Halo☆57Updated 2 years ago
- Polymath: Groth16 Is Not The Limit☆29Updated 6 months ago
- ☆51Updated 6 months ago
- A support library for working with zero knowledge cryptography in Lean 4.☆38Updated last week
- Collection of mathematics routines and cryptography for the twenty-first century☆84Updated last month
- A generalized fully trustless Ethereum bridge for sovereign chains.☆14Updated last year
- Mikan 🍊: The ZK Friendly DA Layer for Bitcoin L2s☆24Updated last week
- An advanced fork of Nova (contact:@huitseeker)☆85Updated 6 months ago
- ☆12Updated last year
- Slides and notes for "Halo Optimizations and Constructing Graphs of Elliptic Curves"☆49Updated 3 years ago
- A tool to extract gnark circuits defined in Go to Lean for formal verification.☆14Updated 4 months ago
- ☆46Updated 2 months ago
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆94Updated 5 months ago
- Zeko: zk-Rollup for Mina, a succinct blockchain☆32Updated this week
- The Mobile first, Cpu AIR (aka zkVM), using M31 and Stwo's Max power☆37Updated this week
- Aggregatable Distributed Key Generation☆49Updated 3 years ago