cartesi / dave

Related projects: ⓘ

• cartesi / machine-emulator
  The off-chain implementation of the Cartesi Machine
  ☆64Updated last week
• AztecProtocol / aztec-nr
  ☆95Updated this week
• noir-lang / noir-starter
  ☆168Updated this week
• outsider-analytics / ZK-Circuit-Performance-and-Security-Data
  To collect data on the performance and security characteristics of ZK circuits being verified on the Ethereum Blockchain and expose this …
  ☆61Updated last year
• ExtropyIO / ZeroKnowledgeBootcamp
  ☆52Updated last year
• OffchainLabs / stylus
  Stylus VM and Fraud Prover
  ☆107Updated 4 months ago
• OilerNetwork / fossil_cairo0
  ☆99Updated 2 years ago
• cartesi / machine-solidity-step
  The on-chain implementation of the Cartesi Machine
  ☆109Updated last month
• EspressoSystems / HotShot
  ☆119Updated this week
• OffchainLabs / bold
  Efficient, all-vs-all dispute protocol for Optimistic Rollups
  ☆110Updated this week
• paradigmxyz / zk-eth-rng
  Secure randomness for Ethereum's execution layer via SNARKs and RANDAO.
  ☆171Updated last year
• 0xFableOrg / roll-op
  The simplest way to spin your own dev / prod rollup, fully configurable.
  ☆88Updated 2 months ago
• cartesi / rollups
  Cartesi Rollups
  ☆30Updated 10 months ago
• SpecularL2 / specular
  Specular Monorepo
  ☆37Updated 5 months ago
• laudiacay / barustenberg
  barretenburg in rust (here we go)
  ☆97Updated 8 months ago
• NethermindEth / StarknetByExample
  A collection of examples of Cairo smart contracts for Starknet.
  ☆110Updated this week
• vezenovm / simple_shield
  Basic Noir anonymous proof of membership
  ☆88Updated last year
• yetanotherco / aligned_layer_testnet
  ☆73Updated this week
• cartridge-gg / dopewars
  An onchain adaptation of the classic Drug Wars game
  ☆61Updated last month
• plume-sig / zk-nullifier-sig
  Implementation of PLUME: nullifier friendly signature scheme on ECDSA
  ☆133Updated last month
• 0xPolygonHermez / zkevm-techdocs
  Technical documentation of the zkEVM
  ☆86Updated 3 months ago
• tuler / deroll
  TypeScript framework for Cartesi applications
  ☆17Updated 3 weeks ago
• lambdaclass / mina_bridge
  Bridge from Mina to Ethereum
  ☆77Updated this week
• sunodo / sunodo
  Sunodo monorepo
  ☆31Updated last month
• zkwebauthn / webauthn-halo2
  ☆91Updated 9 months ago
• AztecProtocol / weierstrudel
  Huff implementation of the bn254 curve, for Ethereum smart contracts
  ☆111Updated 5 years ago
• starkware-libs / blockifier
  Blockifier is a Rust implementation for the transaction-executing component in the StarkNet sequencer, in charge of creating state diffs …
  ☆170Updated last month
• Astraly-Labs / starknet-libs
  Curation of useful libs for starknet development.
  ☆42Updated last year
• astraly-labs / Pragma
  Pragma is the leading zk-native oracle, live on StarkNet with 20+ price feeds. Pragma makes data decentralized, transparent and composabl…
  ☆81Updated last week
• cartesi / rollups-node
  Reference implementation of the Cartesi Rollups Node
  ☆20Updated this week