massalabs / riscairo

Related projects: ⓘ

• lambdaclass / cairo-vm-py
  cairo-rs-py adds Python bindings to the cairo-rs Cairo VM
  ☆23Updated last year
• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆53Updated last year
• lambdaclass / starknet_stack
  Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers
  ☆42Updated last year
• keep-starknet-strange / gomu-gomu-no-gatling
  Blazing fast tool to benchmark Starknet sequencers 🦀
  ☆21Updated 3 months ago
• lambdaclass / starknet_prover
  ☆13Updated this week
• dojoengine / katana
  ☆24Updated this week
• HerodotusDev / cairo-mmr
  Cairo Merkle Mountain Range
  ☆37Updated 10 months ago
• shramee / cairo_pairing
  ☆18Updated last month
• zksecurity / stark-evm-adapter
  Adapt your STARK stone proofs for verifications on Ethereum
  ☆17Updated 2 weeks ago
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆25Updated 2 months ago
• thor314 / pebble-stark
  A community-developed re-implementation of the Starkware Stone Prover
  ☆70Updated 7 months ago
• lambdaclass / simpleworks
  Arkworks made simple for us: the non cryptographer software plumbers
  ☆21Updated last year
• lambdaclass / cairo-vm.c
  cairo-vm_in_C is a C implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writ…
  ☆19Updated last year
• dojoengine / dojo-alpha
  ☆15Updated this week
• ralexstokes / kzg
  KZG commitments over BLS12-381
  ☆31Updated last year
• shramee / hanji
  Hanji generates docs for your Cairo library
  ☆11Updated last year
• iosis-tech / swiftness
  Cairo-VM STARK Verifier Rust implementation
  ☆22Updated this week
• zkCert / halo2-zkcert
  Verify a chain of x509 certificates in halo2
  ☆32Updated 9 months ago
• keep-starknet-strange / nori
  RPC request router and proxy for Starknet, forked from Optimism proxyd.
  ☆10Updated 6 months 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
• TritonVM / tasm-lang
  Writing tasm with Rust syntax
  ☆16Updated this week
• LedgerHQ / app-starknet
  Official Ledger Starknet application (Rust implementation)
  ☆15Updated this week
• succinctlabs / btc-warp
  Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs
  ☆57Updated last year
• ZK-Hack / puzzle-gamma-ray
  ☆20Updated 8 months ago
• personaelabs / merkle-tree
  ☆31Updated 6 months ago
• richardliang / noir-rsa
  Noir implementation of RSA-verify
  ☆41Updated 9 months ago
• ingonyama-zk / open-binius
  building blocks for accelerating ZK proofs over binary fields
  ☆36Updated last month
• starkoracles / Aero
  A blazingly fast sdk for running proofs on the browser... and verifying them on-chain
  ☆39Updated last year
• hashcloak / starkjub
  A STARK-friendly elliptic curve designed to work within Cairo circuits
  ☆28Updated last year
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)
  ☆23Updated this week