ProvableHQ / welcome

Related projects ⓘ

Alternatives and complementary repositories for welcome

• ProvableHQ / sdk
  A Software Development Kit (SDK) for Zero-Knowledge Transactions
  ☆593Updated 2 weeks ago
• ProvableHQ / workshop
  📜 A Starter Guide to Build ZK Applications 📜
  ☆333Updated 3 months ago
• AleoNet / aleo-setup
  A Setup Ceremony for Universal SNARKs
  ☆82Updated 5 months ago
• howardwu / awesome-aleo
  🏎️ A curated list of Aleo & Leo code and resources 🏎️
  ☆363Updated 2 months ago
• AleoNet / ARCs
  Aleo Request for Comments (ARCs)
  ☆219Updated 3 months ago
• AleoNet / snarkVM
  A Virtual Machine for Zero-Knowledge Executions
  ☆1,079Updated this week
• anoma / anoma
  Reference implementation of Anoma
  ☆449Updated this week
• celestiaorg / celestia-node
  Celestia Data Availability Nodes
  ☆930Updated this week
• AleoNet / aleo-education
  Aleo Education
  ☆247Updated 5 months ago
• nexus-xyz / nexus-zkvm
  The Nexus zkVM: The zero-knowledge virtual machine
  ☆752Updated last month
• kkrt-labs / kakarot
  Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
  ☆995Updated this week
• eqlabs / pathfinder
  A Starknet full node written in Rust
  ☆633Updated this week
• privacy-scaling-explorations / zkevm-circuits
  ☆817Updated 4 months ago
• HarukaMa / aleo-explorer
  Open source explorer for the Aleo network
  ☆109Updated last week
• celestiaorg / celestia-core
  A fork of CometBFT
  ☆489Updated this week
• Manta-Network / Manta
  The main repo for manta blockchain nodes.
  ☆239Updated last week
• keep-starknet-strange / madara
  DEPRECATED in favor of https://github.com/madara-alliance/madara
  ☆537Updated 3 months ago
• matter-labs / era-boojum
  Boojum, the scariest SNARK implementation.
  ☆302Updated 3 months ago
• scroll-tech / zkevm-circuits
  ☆926Updated this week
• scroll-tech / scroll-prover
  Scroll zkEVM Playground
  ☆684Updated this week
• penumbra-zone / penumbra
  Penumbra is a fully private proof-of-stake network and decentralized exchange for the Cosmos ecosystem.
  ☆381Updated this week
• scroll-tech / scroll
  Scroll's Monorepo
  ☆713Updated this week
• autonomys / subspace
  Subspace Network reference implementation
  ☆384Updated this week
• FuelLabs / awesome-fuel
  A maintained and comprehensive list of awesome Fuel resources!
  ☆239Updated last year
• taikoxyz / raiko
  Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
  ☆125Updated this week
• gevulotnetwork / gevulot
  Gevulot is an internet scale compute network for zero-knowledge proof generation and verification.
  ☆157Updated 2 months ago
• celestiaorg / celestia-app
  Celestia consensus node
  ☆345Updated this week
• HarukaMa / aleo-prover
  Light standalone prover
  ☆153Updated last month
• hyperlane-xyz / hyperlane-monorepo
  The home for Hyperlane core contracts, sdk packages, and other infrastructure
  ☆337Updated this week
• starkware-libs / papyrus
  Papyrus is a StarkNet full node written in Rust.
  ☆314Updated last month