alpenlabs / strata

Related projects ⓘ

Alternatives and complementary repositories for strata

• succinctlabs / btc-warp
  Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs
  ☆57Updated last year
• CPerezz / Awesome-rust-articles
  A curated list of rust articles worth reading
  ☆22Updated last year
• zkcrypto / merlin
  Composable proof transcripts for public-coin arguments of knowledge
  ☆48Updated 3 months ago
• greenhat / omnizk
  Compiler framework for ZK VMs
  ☆33Updated last year
• Lagrange-Labs / plonky2-recursion
  plonky2 recursion framework handling different circuits in unified way.
  ☆12Updated 8 months ago
• TritonVM / tasm-lang
  Writing tasm with Rust syntax
  ☆15Updated 2 months ago
• l2iterative / ll0
  Delve into low-level RISC Zero machine
  ☆27Updated 10 months ago
• agglayer / agglayer
  Rust implementation of the Agglayer.
  ☆74Updated this week
• carver / eth-trie.rs
  Rust implementation of the Modified Patricia Tree (aka Trie).
  ☆20Updated 3 weeks ago
• bgillesp / pazk
  Implementations of algorithms and protocols from Justin Thaler's "Proofs, Arguments, and Zero-knowledge"
  ☆21Updated last year
• clvv / rcc
  ☆24Updated last year
• lambdaclass / simpleworks
  Arkworks made simple for us: the non cryptographer software plumbers
  ☆21Updated last year
• Cardinal-Cryptography / zk-apps
  Shielding tokens with zkSNARKs
  ☆21Updated 7 months ago
• rubydusa / circom-lsp
  A Language Server Protocol Implementation for Circom
  ☆30Updated last year
• aszepieniec / stark-brainfuck
  Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…
  ☆48Updated 3 months ago
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated 4 months ago
• zkmove / smt-circuit
  A Sparse Merkle Tree circuit constructed with Halo2 poseidon.
  ☆17Updated 2 weeks ago
• argumentcomputer / sphinx
  An observatory fork of SP1 (contact: @huitseeker)
  ☆49Updated this week
• aszepieniec / falcon-rust
  A rust implementation of the Falcon post-quantum signature scheme
  ☆9Updated this week
• FairgateLabs / rust-bitcoin-script-stack
  Helper lib to write complex bitcoin scripts
  ☆16Updated this week
• jtguibas / halo2-merkle-tree
  ☆17Updated last year
• bitcoin-stark / khepri
  STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.
  ☆55Updated 2 years ago
• BitVM / rust-bitcoin-scriptexec
  Bitcoin Script interpreter implemented in Rust
  ☆48Updated last month
• 0xPolygonMiden / air-script
  A domain-specific language for writing AIR constraints for STARKs
  ☆75Updated 2 months ago
• DrPeterVanNostrand / halo2-merkle
  Halo2 Merkle tree circuits
  ☆32Updated 3 years ago
• keep-starknet-strange / raito
  Bitcoin ZK client written in Cairo.
  ☆43Updated this week
• BitVM / rust-bitcoin-m31-or-babybear
  Arithmetic over the M31 or BabyBear field in Bitcoin Script
  ☆27Updated 3 months ago
• sigma0-dev / polymath
  Polymath: Groth16 Is Not The Limit
  ☆28Updated 2 months ago
• lambdaclass / pinocchio_lambda_vm
  Zero Knowledge Virtual Machine from scratch implementing Pinocchio
  ☆37Updated last year
• cronokirby / cait-sith
  Threshold ECDSA via Triples
  ☆73Updated 7 months ago