dusk-network / piecrust

Related projects: ⓘ

• madara-alliance / bonsai-trie
  A storage system inspired by Besu using Starknet Merkle Trees
  ☆54Updated 2 months ago
• ChainSafe / Spectre
  ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol
  ☆55Updated 2 weeks ago
• scroll-tech / poseidon-circuit
  Poseidon hash circuit
  ☆88Updated last week
• succinctlabs / vectorx
  Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.
  ☆46Updated 3 months ago
• matter-labs / franklin-crypto
  ☆115Updated last month
• 0xPolygonMiden / crypto
  Cryptographic primitives used in Polygon Miden rollup
  ☆97Updated last week
• matter-labs / era-zkevm_circuits
  ☆59Updated last month
• cosmos / ibc-proto-rs
  Rust Protobuf definitions and gRPC clients for interacting with Cosmos SDK, IBC and Interchain Security
  ☆45Updated last week
• matter-labs / era-zkevm_opcode_defs
  Definitions of zkEVM opcodes (primary dependency for all other repos)
  ☆38Updated last month
• ProvableHQ / aleo-std
  ☆16Updated 8 months ago
• Sin7Y / ola-lang
  Ola is a provable language for writing smart contracts
  ☆41Updated 2 months ago
• succinctlabs / starkyx
  ☆62Updated 4 months ago
• 0xPolygonMiden / compiler
  Compiler from MidenIR to Miden Assembly
  ☆62Updated this week
• matter-labs / era-zkevm_test_harness
  Compare in-circuit and out-of-circuit VMs
  ☆59Updated last month
• 0xPolygonMiden / miden-node
  Reference implementation of the node for the Polygon Miden rollup
  ☆52Updated this week
• ProvableHQ / aleo-js
  ☆20Updated 8 months ago
• matter-labs / era-compiler-tests
  Collection of tests for ZKsync compilers
  ☆17Updated last week
• rollkit / go-da
  Generic Data Availability Interface for Modular Blockchains
  ☆40Updated this week
• 0xPolygonMiden / miden-base
  Core components of the Polygon Miden rollup
  ☆67Updated this week
• starknet-io / types-rs
  🐺 Starknet Rust types 🦀
  ☆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
• availproject / avail-indexer
  Indexer for the various Avail chains
  ☆14Updated 3 weeks ago
• argumentcomputer / arecibo
  An advanced fork of Nova (contact:@huitseeker)
  ☆74Updated 2 weeks ago
• Lagrange-Labs / lsc-node
  ☆22Updated last week
• EspressoSystems / espresso-sequencer
  ☆93Updated this week
• ComposableFi / composable-ibc
  A trustless, cross-chain bridging protocol.
  ☆76Updated this week
• dusk-network / rusk
  The reference Dusk platform implementation and tools
  ☆158Updated this week
• webb-tools / tangle
  Modular restaking infrastructure for developers, restakers, and operators.
  ☆51Updated this week
• anoma / taiga
  A framework for generalized shielded state transitions
  ☆138Updated last week
• dymensionxyz / rollapp-evm
  EVM DRS - EVM Dymension Rollapp Standard
  ☆38Updated this week