CharmsDev / charmsLinks
Programmable assets on Bitcoin and beyond
☆17Updated this week
Alternatives and similar repositories for charms
Users that are interested in charms are comparing it to the libraries listed below
Sorting:
- ☆24Updated last week
- Hazook is a fast ZK-Rollup built on Mina that parallelizes the accumulation of zk state proofs☆16Updated last year
- Implementation of the Zcash Orchard Protocol☆56Updated last month
- ☆24Updated last year
- Midnight ZK☆25Updated last week
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆42Updated 2 weeks ago
- A generalized fully trustless Ethereum bridge for sovereign chains.☆14Updated last year
- Official Ledger Starknet application (Rust implementation)☆22Updated 3 weeks ago
- ☆31Updated 5 months ago
- Rust implementation for zcash/pasta☆83Updated 5 months ago
- A general-purpose layer 2 zk-rollup scaling solution for Cardano☆21Updated 2 years ago
- Weighted Schnorr Threshold Signatures☆34Updated 3 weeks ago
- ☆40Updated 5 months ago
- Inscriptions and BRC20 Rust library☆33Updated last year
- Helper lib to write complex bitcoin scripts☆21Updated last month
- ☆60Updated 2 years ago
- Rust PLONK implementation☆39Updated last year
- An advanced fork of Nova (contact:@huitseeker)☆86Updated 6 months ago
- BabyJubJub elliptic curve implementation and EdDSA signature scheme in Rust☆45Updated last year
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆79Updated last week
- zkBitcoin: zero-knowledge proofs on Bitcoin!☆164Updated last year
- ☆60Updated 3 weeks ago
- Public releases for the Valida toolchain☆24Updated 2 months ago
- Catnet custom Bitcoin signet with OP_CAT enabled, used to test implementation of Bitcoin Circle STARK Verifier 🐺-😺☆20Updated last year
- Libraries and tools for writing and testing smart contracts on Concordium☆69Updated 3 weeks ago
- Polymath: Groth16 Is Not The Limit☆29Updated 7 months ago
- Implementing a Turing-complete computer (OISC) within a zk-SNARKS circuit.☆13Updated 3 years ago
- 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
- Bitcoin Script interpreter implemented in Rust☆51Updated 9 months ago
- zkDatabase, a distributed off-chain database with ZK prover☆57Updated 7 months ago