msaug / stark-verifier

Related projects: ⓘ

• Lev-Stambler / bulletproof-cairo
  ☆39Updated last year
• foundry-rs / starknet_forge_template
  Forkable template to get you started with Starknet Foundry's Forge
  ☆15Updated 10 months ago
• zksecurity / stark-evm-adapter
  Adapt your STARK stone proofs for verifications on Ethereum
  ☆17Updated 2 weeks ago
• sambarnes / cairo-dutch
  Various ERC-721 Dutch Auctions for StarkNet
  ☆30Updated 2 years ago
• lambdaclass / starknet_prover
  ☆13Updated this week
• cartridge-gg / cairo-base64
  Base64 encode felts
  ☆15Updated last year
• glihm / starknet-abigen-rs
  Exploratory work on abigen in rust for Starknet 🦀
  ☆15Updated 9 months ago
• lambdaclass / lambda_consensus
  ☆12Updated this week
• recmo / evm-groth16
  Groth16 verifier in EVM
  ☆20Updated last year
• milancermak / experiments-in-cairo
  A Cairo playground
  ☆10Updated 2 years ago
• AbdelStark / majin-blob
  Utility features to play with EIP-4844 blobs for Starknet usage.
  ☆14Updated 3 months ago
• flashbots / suave-andromeda-revm
  Andromeda revm execution service
  ☆29Updated last month
• lyronctk / kzg-blob
  Prove multi-opens of EIP-4844 KZG blobs
  ☆14Updated last year
• zksecurity / pumice
  An API compatible port of the Stone prover.
  ☆13Updated last week
• axiom-crypto / axiom-v1-contracts
  Axiom smart contracts
  ☆27Updated last year
• gaetbout / starknet-commit-reveal
  ☆19Updated 10 months ago
• lucadonnoh / graphiro
  A graph library built with Cairo
  ☆27Updated 2 years ago
• onlydustxyz / kaaper
  Documentation generator for Cairo projects.
  ☆14Updated last year
• paradigmxyz / foundry-alphanet
  Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.
  ☆32Updated 4 months ago
• agolajko / pooledwithdrawal
  ☆21Updated this week
• FawadHa1der / ricks-cairo-contracts
  RICKS in cairo. Cool NFT fractionalization/reconstitution mechanism
  ☆27Updated last year
• lucadonnoh / axelrod
  Iterated prisoner's dilemma tournaments implemented with Cairo
  ☆26Updated 2 years ago
• jtriley-eth / zk-calculator
  ☆30Updated last year
• clabby / op-reth
  ☆17Updated last year
• milancermak / cairo-format-action
  GitHub Action to format Cairo files 💄
  ☆12Updated 2 years ago
• franalgaba / pre-commit-cairo
  Cairo hooks for pre-commit
  ☆18Updated 2 years ago
• topology-gg / caistring
  Yet another string library built to enable flexible manipulation
  ☆20Updated 2 years ago
• odyssey2077 / halo2-cairo
  verify cairo execution in Halo2
  ☆17Updated last year
• tekkac / cairo-alt_bn128
  bn254 pairing library for Cairo Zero
  ☆26Updated last year
• 0xSacha / debtAllocatorLendingVaultV3
  ☆10Updated last year