massalabs / riscairo

Related projects ⓘ

Alternatives and complementary repositories for riscairo

• keep-starknet-strange / gomu-gomu-no-gatling
  Blazing fast tool to benchmark Starknet sequencers 🦀
  ☆21Updated 3 weeks ago
• shramee / cairo_pairing
  ☆18Updated 3 months ago
• lambdaclass / cairo-vm-py
  cairo-rs-py adds Python bindings to the cairo-rs Cairo VM
  ☆23Updated last year
• starkware-libs / sequencer
  ☆27Updated this week
• 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
• zksecurity / stark-evm-adapter
  Adapt your STARK stone proofs for verifications on Ethereum
  ☆17Updated last month
• lambdaclass / starknet_stack
  Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers
  ☆42Updated last year
• dojoengine / stark-vrf
  A VRF implementation using Stark curve and Poseidon hash.
  ☆15Updated 2 months ago
• HerodotusDev / cairo-mmr
  Cairo Merkle Mountain Range
  ☆37Updated last year
• shramee / hanji
  Hanji generates docs for your Cairo library
  ☆11Updated last year
• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆53Updated last year
• 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…
  ☆20Updated last year
• Ethan-000 / halo2_backend
  ☆37Updated 10 months ago
• hashcloak / starkjub
  A STARK-friendly elliptic curve designed to work within Cairo circuits
  ☆27Updated last year
• argumentcomputer / sphinx
  An observatory fork of SP1 (contact: @huitseeker)
  ☆48Updated this week
• danilowhk / swiftness-sp1
  Verifying Cairo Programs in SP1
  ☆13Updated last month
• thor314 / pebble-stark
  A community-developed re-implementation of the Starkware Stone Prover
  ☆70Updated 3 weeks ago
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)
  ☆36Updated this week
• starkoracles / Aero
  A blazingly fast sdk for running proofs on the browser... and verifying them on-chain
  ☆38Updated last year
• greenhat / omnizk
  Compiler framework for ZK VMs
  ☆33Updated last year
• AbdelStark / majin-blob
  Utility features to play with EIP-4844 blobs for Starknet usage.
  ☆14Updated 5 months ago
• argumentcomputer / solidity-verifier
  Solidity implementation of Nova proving system verifier
  ☆59Updated 8 months ago
• cartridge-gg / cairo-sha256
  Computes SHA256 of arbitrary length inputs.
  ☆14Updated 2 years ago
• ralexstokes / kzg
  KZG commitments over BLS12-381
  ☆32Updated 2 years ago
• zkCert / halo2-zkcert
  Verify a chain of x509 certificates in halo2
  ☆32Updated 11 months ago
• TritonVM / tasm-lang
  Writing tasm with Rust syntax
  ☆15Updated 2 months ago