Bitcoin-Wildlife-Sanctuary / catnet

Related projects: ⓘ

• zippiehq / rv32i-to-bitvm
  ☆15Updated 7 months ago
• BitVM / rust-bitcoin-m31-or-babybear
  Arithmetic over the M31 or BabyBear field in Bitcoin Script
  ☆25Updated last month
• FairgateLabs / rust-bitcoin-script-stack
  Helper lib to write complex bitcoin scripts
  ☆12Updated last month
• Bitcoin-Wildlife-Sanctuary / bitcoin-circle-stark
  Building blocks of a Circle STARK verifier in Bitcoin script
  ☆114Updated this week
• succinctlabs / btc-warp
  Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs
  ☆57Updated last year
• KasarLabs / bitcoin-da
  Bitcoin data-availability adapter written in Rust, allowing Madara to interact with Bitcoin as a data-availability layer. 🦀🧙‍♂️
  ☆39Updated 10 months ago
• keep-starknet-strange / shinigami
  Bitcoin Script VM in Cairo
  ☆52Updated this week
• patrickbiel01 / Cairo_Verifier
  ☆37Updated 3 years ago
• zig-bitcoin / btczee
  Bitcoin protocol implementation in Zig.
  ☆29Updated this week
• argumentcomputer / sphinx
  An observatory fork of SP1 (contact: @huitseeker)
  ☆35Updated this week
• l2iterative / ll0
  Delve into low-level RISC Zero machine
  ☆27Updated 8 months ago
• zkCert / halo2-zkcert
  Verify a chain of x509 certificates in halo2
  ☆32Updated 9 months ago
• bitcoin-stark / khepri
  STARK-proven Stateful Bitcoin client enabling hyper fast trustless sync and checkpoints.
  ☆54Updated 2 years ago
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆25Updated 2 months ago
• erhant / lambda-0b10
  Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.
  ☆26Updated 2 months ago
• massalabs / riscairo
  RISC-V ELF interpreter in cairo
  ☆21Updated last month
• zig-bitcoin / bitcoin-primitives
  Libraries and primitives for Bitcoin, written in Zig.
  ☆14Updated this week
• zkMIPS / zkm-prover
  A parallel proving service for ZKM.
  ☆16Updated last week
• starkoracles / Aero
  A blazingly fast sdk for running proofs on the browser... and verifying them on-chain
  ☆39Updated last year
• AbdelStark / askeladd
  Powering Verifiable Computation for Nostr Data Vending Machines.
  ☆14Updated last month
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆17Updated last year
• weijiekoh / poseidon-encryption-circom
  Poseidon encryption in Typescript and circom (decryption only) on the BN254 elliptic curve
  ☆14Updated last year
• Bitcoin-Wildlife-Sanctuary / covenants-gadgets
  Gadgets for covenants: Schnorr trick and txid reflection
  ☆13Updated last week
• lambdaclass / starknet_stack
  Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers
  ☆42Updated last year
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆49Updated last year
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆49Updated 2 years ago
• shramee / cairo_pairing
  ☆18Updated last month
• dmpierre / nova-browser-ecdsa
  In-browser ECDSA aggregation using Nova over secp/secq
  ☆34Updated last year
• liamzebedee / quark-blockchain
  Horizontally scalable blockchain using STARK's and partitioned transactional memory
  ☆56Updated 2 years ago
• bellissimogiorno / cairo-integer-types
  A library for bitwise integer types (e.g. int64 or uint32) in Cairo, with a test suite
  ☆29Updated 2 years ago