LedgerHQ / app-starknet

Related projects ⓘ

Alternatives and complementary repositories for app-starknet

• lambdaclass / starknet_tendermint_sequencer
  Starknet sequencer built with Tendermint Core
  ☆53Updated last year
• Sovereign-Labs / nmt-rs
  An implementation of a namespaced merkle tree in Rust.
  ☆27Updated 2 months ago
• penumbra-zone / jmt
  An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree
  ☆39Updated last week
• massalabs / riscairo
  RISC-V ELF interpreter in cairo
  ☆23Updated last month
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆38Updated 11 months ago
• zkmove / smt-circuit
  A Sparse Merkle Tree circuit constructed with Halo2 poseidon.
  ☆17Updated 2 weeks ago
• astriaorg / sequencer-relayer
  relays blocks from the shared sequencer to the DA layer
  ☆27Updated last year
• noir-lang / noirup
  Installation tooling for Noir
  ☆23Updated 4 months ago
• AstarNetwork / plonk
  ☆16Updated 2 years ago
• adria0 / za
  An experimental rust zksnarks compiler with embeeded bellman-bn128 prover
  ☆42Updated 3 years ago
• lambdaclass / aleo_lambda_vm
  Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass
  ☆21Updated last year
• novifinancial / smtree
  An api for constructing sparse Merkle tree accumulators with random sampling capabilities.
  ☆24Updated 3 years ago
• lambdaclass / simpleworks
  Arkworks made simple for us: the non cryptographer software plumbers
  ☆21Updated last year
• mattsse / cairo-lang-rs
  ☆39Updated 2 years ago
• khovratovich / Kate
  ☆26Updated 2 years ago
• ralexstokes / kzg
  KZG commitments over BLS12-381
  ☆32Updated 2 years ago
• halo2-ce / halo2
  ☆28Updated last year
• sigp / tree_hash
  SSZ-compatible tree hash implementation optimised for speed and security
  ☆18Updated last month
• sigp / ethereum_ssz
  SimpleSerialize (SSZ) implementation optimised for speed and security
  ☆21Updated this week
• ZeroSync / giza
  A Cairo VM prover implemented using Winterfell
  ☆16Updated last year
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆51Updated last year
• lambdaclass / starknet_stack
  Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers
  ☆42Updated last year
• penumbra-zone / poseidon377
  An instantiation of the Poseidon hash for use with decaf377
  ☆29Updated this week
• jules / grumpkin
  Implementation of the Grumpkin curve in Rust.
  ☆29Updated last year
• lambdaclass / aleo_lambda_blockchain
  Tendermint implementation of the blockchain of Aleo verifiable computing model built by LambdaClass
  ☆16Updated last year
• Orbis-Tertius / tiny-ram-halo2
  A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…
  ☆37Updated 2 years ago
• zeropoolnetwork / fawkes-crypto
  Fawkes-Crypto - zkSNARKs framework
  ☆21Updated 9 months ago
• succinctlabs / plonky3
  ☆24Updated 7 months ago