mohanson / cryptography-python

Related projects: ⓘ

• succinctlabs / btc-warp
  Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs
  ☆57Updated last year
• FairgateLabs / rust-bitcoin-script-stack
  Helper lib to write complex bitcoin scripts
  ☆12Updated last month
• BitVM / rust-bitcoin-m31-or-babybear
  Arithmetic over the M31 or BabyBear field in Bitcoin Script
  ☆25Updated last month
• Bitcoin-Wildlife-Sanctuary / catnet
  Catnet custom Bitcoin signet with OP_CAT enabled, used to test implementation of Bitcoin Circle STARK Verifier 🐺-😺
  ☆18Updated 2 months ago
• Bitcoin-Wildlife-Sanctuary / covenants-gadgets
  Gadgets for covenants: Schnorr trick and txid reflection
  ☆13Updated last week
• BitVM / rust-bitcoin-scriptexec
  Bitcoin Script interpreter implemented in Rust
  ☆44Updated last month
• zippiehq / rv32i-to-bitvm
  ☆15Updated 7 months ago
• simonkamp / curve-trees
  ☆22Updated 2 months ago
• bitcoin-stark / khepri
  STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.
  ☆54Updated 2 years ago
• EDGDrummond / EF-grant
  ☆23Updated 10 months ago
• Bitcoin-Wildlife-Sanctuary / bitcoin-circle-stark
  Building blocks of a Circle STARK verifier in Bitcoin script
  ☆114Updated this week
• evmcheb / univ2-wasm
  ☆21Updated last year
• massalabs / riscairo
  RISC-V ELF interpreter in cairo
  ☆21Updated last month
• matter-labs / recursive_aggregation_circuit
  Kate commitment based PLONK recursive aggregation circuit
  ☆40Updated 9 months ago
• nervosnetwork / merkle-mountain-range
  A generalized merkle mountain range implementation.
  ☆51Updated last year
• ZenGo-X / JugglingSwap
  Scriptless atomic cross-chain (and cross-curve) swap protocol based on a fair exchange of secrets.
  ☆33Updated 3 years ago
• rollkit / bitcoin-da
  Bitcoin as a Data Availability layer
  ☆59Updated this week
• ralexstokes / kzg
  KZG commitments over BLS12-381
  ☆31Updated last year
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆17Updated last year
• kilic / rln
  ☆29Updated last year
• AbdelStark / askeladd
  Powering Verifiable Computation for Nostr Data Vending Machines.
  ☆14Updated last month
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆49Updated last year
• Rate-Limiting-Nullifier / circom-rln
  RLN circuits in Circom
  ☆29Updated 2 months ago
• arnaucube / nova-study
  Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf
  ☆43Updated last year
• TritonVM / tasm-lang
  Writing tasm with Rust syntax
  ☆16Updated this week
• zkMIPS / zkm-prover
  A parallel proving service for ZKM.
  ☆16Updated last week
• l2iterative / ll0
  Delve into low-level RISC Zero machine
  ☆27Updated 8 months ago
• DrPeterVanNostrand / halo2-merkle
  Halo2 Merkle tree circuits
  ☆32Updated 3 years ago
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆49Updated 2 years ago
• adria0 / plonk-by-fingers
  Implementation of Plonk by Hand in rust
  ☆60Updated 6 months ago