bitml-lang / bitml-compiler
Compiler for BitML
☆26Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for bitml-compiler
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆45Updated 4 years ago
- 6.858 final project.☆18Updated 8 years ago
- Elliptic curve library secp256k1 wrapper for Ocaml☆24Updated 11 months ago
- Sonic implementation in Rust☆17Updated 5 years ago
- Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)☆53Updated 5 years ago
- ☆10Updated 7 years ago
- Formalization of Tendermint proposer election properties☆15Updated 5 years ago
- The modular protocol framework based on Universal Composability☆18Updated 4 years ago
- State-Transition Systems for Smart Contracts☆24Updated 4 years ago
- Off-chain poker in Ethereum☆22Updated 7 years ago
- Fast additive accumulators☆14Updated 4 years ago
- DSL for Secure DApps☆33Updated last year
- Cross chain atomic trades protocol and api for trades between Stellar and Ethereum☆36Updated 6 years ago
- Proof of concept for the A2L protocol on top of Bitcoin.☆17Updated 4 years ago
- Various papers on crypto pertinent to zero knowledge proofs, etc☆23Updated 4 years ago
- Demo / PoC / implementation of IOHK MPC protocols☆19Updated 6 years ago
- Supporting evidence for security of the Jubjub curve to be used in Zcash☆16Updated 3 years ago
- A zkSNARK implementation of a merkle tree membership preimage proof.☆24Updated 5 years ago
- Hackathon project for Snarky workshop.☆11Updated 5 years ago
- Hammersbald is a fast embedded blockchain database☆53Updated 3 years ago
- Website!☆21Updated 2 years ago
- Formal verification of the Algorand consensus protocol☆26Updated 2 years ago
- BLST-Verification☆20Updated 2 years ago
- Optimised bilinear pairings over elliptic curves☆55Updated 9 months ago
- High Speed elliptic curve signature system using a 260-bit Granger Moss Prime.☆14Updated 3 years ago
- (Summed) Merklized Binary Radix Tree library☆16Updated 8 years ago
- 2P-ECDSA: Two-Party ECDSA MultiSignatures☆47Updated 5 years ago
- Submission site for Zcash Foundation grant proposals☆25Updated 6 years ago