yetanotherco / aligned_layerLinks
Aligned is a verification layer for zero-knowledge proofs using EigenLayer. Our mission is to accelerate the adoption of zero-knowledge and validity proofs on Ethereum.
☆278Updated this week
Alternatives and similar repositories for aligned_layer
Users that are interested in aligned_layer are comparing it to the libraries listed below
Sorting:
- A simple aztec contract + test to get started.☆112Updated 2 weeks ago
- ☆421Updated this week
- Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.☆155Updated last week
- Boojum, the scariest SNARK implementation.☆302Updated last year
- ☆182Updated this week
- A SP1 Groth16 Proof Verifier for Sui☆76Updated 5 months ago
- ☆222Updated 5 months ago
- Starknet's developer documentation☆165Updated this week
- Monad Configured Foundry template☆62Updated 2 months ago
- ☆179Updated this week
- The home for Hyperlane core contracts, sdk packages, and other infrastructure☆46Updated this week
- core protocol repo for mainnet launch☆190Updated 2 weeks ago
- Monorepo for Boundless, the universal ZK protocol.☆186Updated this week
- DEPRECATED in favor of https://github.com/madara-alliance/madara☆528Updated last year
- A testnet open-source Layer 2 from the future, co-designed with the developer tools stack.☆314Updated 6 months ago
- ☆160Updated 11 months ago
- A maintained and comprehensive list of awesome Fuel resources!☆237Updated 2 years ago
- Gevulot is an internet scale compute network for zero-knowledge proof generation and verification.☆159Updated last year
- Solidity Contracts that allow developers to use FHE on Fhenix☆79Updated last year
- Papyrus is a StarkNet full node written in Rust.☆321Updated last year
- Starknet Improvement Proposal repository☆193Updated 3 months ago
- An L1 for Move VM☆74Updated 3 weeks ago
- A tool for depositing Ether into the Eclipse rollup☆115Updated last year
- A collection of configs, artifacts, and schemas for Hyperlane☆95Updated last week
- A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm☆85Updated this week
- Everything required to run your own Unichain node☆204Updated last month
- Secure, high-throughput, and decentralized Data Availability☆260Updated this week
- A stateless trustless Starknet light client in Rust 🦀☆262Updated 4 months ago
- Zircuit Mainnet Ceremony☆47Updated last year
- ☆50Updated last year