Alternatives and similar repositories for athena:

Users that are interested in athena are comparing it to the libraries listed below

• risc0 / demos
  ☆55Updated 3 months ago
• spacemeshos / post-rs
  Rust implementation of POST proving
  ☆14Updated this week
• succinctlabs / tendermintx
  Implementation of zero-knowledge proof circuits for Tendermint.
  ☆79Updated 10 months ago
• succinctlabs / sp1-tendermint-example
  An example of a ZK Tendermint light client on Ethereum powered by SP1.
  ☆27Updated 2 weeks ago
• soonlabs / igloo
  Demo for op rollup with decoupling SVM execution layer
  ☆34Updated 3 months ago
• rollkit / docs
  Documentation for Rollkit - a modular framework for rollups.
  ☆37Updated this week
• pseXperiments / cuda-sumcheck
  Experimental implementation of Sumcheck protocol using CUDA
  ☆20Updated 3 months ago
• privacy-scaling-explorations / zkevm-docs
  AppliedZKP's zkEVM Documentation
  ☆25Updated 7 months ago
• zkMIPS / zkm-project-template
  ZKM Development Template/Framework
  ☆24Updated last month
• paritytech / arkworks-extensions
  Library to integrate arkworks-rs/algebra into Substrate
  ☆48Updated 6 months ago
• ChainSafe / Spectre
  ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol
  ☆60Updated 4 months ago
• PolyhedraZK / ExpanderCompilerCollection
  Expander Compiler
  ☆32Updated this week
• argumentcomputer / zk-light-clients
  A collection of ZK light client libraries for various blockchains
  ☆48Updated 2 months ago
• agglayer / agglayer
  Rust implementation of the Agglayer.
  ☆97Updated this week
• agglayer / pessimistic-proof
  Pessimistic proof for the AggLayer.
  ☆26Updated 7 months ago
• 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.
  ☆94Updated last month
• deltadevsde / prism
  prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…
  ☆81Updated this week
• fluentlabs-xyz / rwasm
  rWASM related crates including VM and AOT compilers
  ☆10Updated this week
• scroll-tech / stateless-block-verifier
  ☆49Updated this week
• dwallet-labs / dwallet-network
  dWallet Network, a composable modular signature network that is the home of dWallets. A dWallet is a noncollusive and massively decentral…
  ☆56Updated this week
• geometers / o1js-blobstream
  ☆11Updated 4 months ago
• rollkit / bitcoin-da
  Bitcoin as a Data Availability layer
  ☆60Updated last week
• succinctlabs / sp1-contracts
  Smart contracts for onchain verification of SP1.
  ☆78Updated this week
• succinctlabs / op-succinct
  OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.
  ☆137Updated this week
• Aleo-DevRel-Ambas / zero-to-zk
  ☆14Updated 6 months ago
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆27Updated last week
• neonlabsorg / neon-evm
  ☆23Updated this week
• rollkit / celestia-da
  Celestia Implementation of Modular Data Availability Interface
  ☆18Updated 9 months ago
• PolyhedraZK / blogs
  Polyhedra ZK knowledge base
  ☆22Updated 3 months ago
• FhenixProtocol / fheos
  FheOS is a modular layer that allows the blockchain to execute encrypted computations powered by FHE
  ☆31Updated this week