firstbatchxyz / dria-docker

Related projects ⓘ

Alternatives and complementary repositories for dria-docker

• firstbatchxyz / hollowdb
  A privacy-preserving key-value database on Arweave.
  ☆62Updated 5 months ago
• ritual-net / prime
  One-click toolkit for provisioning servers to deploy and serve Large Language Models (LLMs).
  ☆42Updated 8 months ago
• ritual-net / infernet-sdk
  Bringing off-chain compute workloads to on-chain smart contracts.
  ☆86Updated 2 weeks ago
• madara-alliance / bonsai-trie
  A storage system inspired by Besu using Starknet Merkle Trees
  ☆55Updated last week
• saurabhchalke / proof-of-peace
  Zero-Knowledge Proof for Nuclear Disarmament Verification
  ☆16Updated 11 months ago
• zksecurity / pumice
  An API compatible port of the Stone prover.
  ☆19Updated last week
• iosis-tech / zetina
  Shared peer-to-peer network of zero-knowledge provers
  ☆15Updated 2 months ago
• matter-labs / vm2
  High performance EraVM for zkSync.
  ☆23Updated 2 weeks ago
• NilFoundation / zkEVM1
  Secure and performant zkEVM compiled from evmone via zkLLVM
  ☆16Updated 10 months ago
• DelphinusLab / continuation-batcher
  customizable halo2 circuits batcher
  ☆30Updated 2 weeks ago
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated 4 months ago
• yetanotherco / zkRust
  ☆29Updated 2 weeks ago
• succinctlabs / starkyx
  ☆60Updated 6 months ago
• zk-bankai / soulforge
  ☆13Updated 3 weeks ago
• succinctlabs / sp1-vector
  Implementation of Vector, Avail's data attestation bridge, in SP1.
  ☆13Updated last week
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)
  ☆33Updated this week
• HerodotusDev / hdp-sp1
  Herodotus Data Processor using SP1 as backend
  ☆14Updated this week
• axiom-crypto / axiom-v2-contracts
  Core smart contracts for Axiom V2.
  ☆31Updated 9 months ago
• ingonyama-zk / open-binius
  building blocks for accelerating ZK proofs over binary fields
  ☆42Updated 3 months ago
• kkrt-labs / keth
  Integration of the Kakarot Ethereum execution layer in the Reth client.
  ☆26Updated this week
• zkMIPS / zkm-prover
  A parallel proving service for ZKM.
  ☆18Updated last month
• 0xPolygonZero / paladin
  Bringing divine order to remote task execution.
  ☆21Updated this week
• succinctlabs / sp1-project-template
  Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.
  ☆70Updated last week
• scroll-tech / stateless-block-verifier
  ☆43Updated this week
• Digine-Labs / rosettanet
  Ethereum <> Starknet RPC middleware.
  ☆34Updated this week
• succinctlabs / sp1-contracts
  Contracts for onchain verification of SP1.
  ☆59Updated last week
• celestiaorg / go-square
  A library for encoding blobs into a 2D square of evenly sized chunks designed for sampling and reconstruction
  ☆13Updated last week
• gausslabs / gauss
  FHE library
  ☆23Updated 6 months ago