topology-foundation / rs-topology

Related projects ⓘ

Alternatives and complementary repositories for rs-topology

• HerodotusDev / herodotus-eth-starknet
  ☆35Updated last year
• gakonst / sgx-revm
  PoC of Revm execution in SGX
  ☆81Updated last year
• iykyk-syn / unison
  Consensus nodes performing in unison!
  ☆32Updated 5 months ago
• lambdaclass / circom_export_to_cairo
  Export Circom verifier to Cairo
  ☆49Updated 2 years ago
• succinctlabs / blobstreamx
  Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.
  ☆59Updated 3 months ago
• zkemail / halo2-zk-email
  Email verification circuit in halo2
  ☆63Updated 4 months ago
• thor314 / circuit-examples
  Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0
  ☆72Updated last month
• Rate-Limiting-Nullifier / rlnjs
  Client library for generating and using RLN ZK proofs
  ☆30Updated last year
• chancehudson / poseidon-solidity
  Poseidon hash function implemented in Solidity
  ☆40Updated 3 months ago
• slushsdk / slush
  The Slush SDK allows you to spin up L3s on Starknet
  ☆68Updated last year
• starkoracles / zkos
  Cross-zk-rollup aggregation
  ☆59Updated last year
• richardliang / noir-rsa
  Noir implementation of RSA-verify
  ☆41Updated 11 months ago
• deltadevsde / prism
  prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…
  ☆50Updated this week
• gakonst / awesome-sp1
  A curated list of awesome resources related to SP1 - Succinct's zkVM.
  ☆93Updated 3 months ago
• thor314 / pebble-stark
  A community-developed re-implementation of the Starkware Stone Prover
  ☆70Updated 3 weeks ago
• succinctlabs / rsp
  A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
  ☆56Updated this week
• zkemail / zkemail.nr
  ZK Email in Noir
  ☆49Updated last week
• vezenovm / simple_shield
  Basic Noir anonymous proof of membership
  ☆88Updated last year
• dmpierre / eth-private-market
  Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.
  ☆91Updated last year
• zkCert / halo2-zkcert
  Verify a chain of x509 certificates in halo2
  ☆32Updated 11 months ago
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆59Updated 3 weeks ago
• aragonzkresearch / noir-trie-proofs
  ☆60Updated 4 months ago
• BattleZips / BattleZips-Noir
  Noir implementation of BattleZips circuits
  ☆27Updated last year
• laudiacay / barustenberg
  barretenburg in rust (here we go)
  ☆97Updated 10 months ago
• HerodotusDev / StarkBadge
  Anon, prove your everAI on starknet — everAI mirroring
  ☆11Updated last year
• axiom-crypto / axiom-apps
  ☆34Updated last year
• geometryxyz / semacaulk
  Gas-efficient and blazing fast proving for private signaling
  ☆81Updated 9 months ago
• init4tech / zenith
  Solidity contracts for a next-gen rollup system.
  ☆63Updated this week