zkfs-io / zkfs

Related projects: ⓘ

• lambdaclass / mina_bridge
  Bridge from Mina to Ethereum
  ☆77Updated this week
• anoma / whitepaper
  ☆59Updated 2 years ago
• EspressoSystems / cap
  Configurable Asset Privacy
  ☆33Updated 8 months ago
• 0xPolygonMiden / miden-node
  Reference implementation of the node for the Polygon Miden rollup
  ☆52Updated this week
• yetanotherco / aligned_layer_testnet
  ☆73Updated this week
• privacy-scaling-explorations / zkevm-docs
  AppliedZKP's zkEVM Documentation
  ☆23Updated 2 months ago
• risc0 / demos
  ☆45Updated this week
• 0xPolygonMiden / miden-base
  Core components of the Polygon Miden rollup
  ☆67Updated this week
• ritual-net / infernet-sdk
  Bringing off-chain compute workloads to on-chain smart contracts.
  ☆82Updated 3 months ago
• succinctlabs / tendermintx
  Implementation of zero-knowledge proof circuits for Tendermint.
  ☆77Updated 5 months ago
• risc0 / risc0-ethereum
  Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
  ☆61Updated 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.
  ☆62Updated this week
• madara-alliance / bonsai-trie
  A storage system inspired by Besu using Starknet Merkle Trees
  ☆54Updated 2 months ago
• EspressoSystems / HotShot
  ☆119Updated this week
• NilFoundation / mina-state-proof
  In-EVM Mina State Verification
  ☆82Updated 10 months ago
• Nuffle-Labs / data-availability
  NEAR as data availability!
  ☆47Updated last month
• 0xPolygonMiden / compiler
  Compiler from MidenIR to Miden Assembly
  ☆62Updated this week
• fluentlabs-xyz / fluentbase
  A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm
  ☆60Updated this week
• entropyxyz / synedrion
  Implementation of Canetti-Gennaro-Goldfeder-Makriyannis-Peled threshold signing scheme
  ☆62Updated last week
• anoma / typhon
  Formalization of Typhon protocol
  ☆28Updated 3 months ago
• OffchainLabs / bold
  Efficient, all-vs-all dispute protocol for Optimistic Rollups
  ☆110Updated this week
• EspressoSystems / espresso
  ☆23Updated 8 months ago
• SpecularL2 / specular
  Specular Monorepo
  ☆37Updated 5 months ago
• 0xPolygonHermez / zkevm-proverjs
  zkEVM proof generator reference written in Javascript
  ☆77Updated 2 weeks ago
• starknet-edu / starknet-debug
  Learn how to debug a StarkNet smart contract
  ☆47Updated last year
• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆59Updated last month
• anoma / masp
  The multi-asset shielded pool (MASP) provides a unified privacy set for all assets on Namada.
  ☆88Updated last week
• 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
• succinctlabs / sp1-reth
  A performant, type-1 zkEVM written in Rust & SP1.
  ☆124Updated this week
• Layr-Labs / eigensdk-go
  Go SDK for building AVSs on Eigenlayer
  ☆62Updated last week