https://github.com/yetanotherco/aligned_layer

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.
https://github.com/yetanotherco/aligned_layer

eigenlayer ethereum restaking zero-knowledge-proofs

Last synced: 6 days ago
JSON representation

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.

• Host: GitHub
• URL: https://github.com/yetanotherco/aligned_layer
• Owner: yetanotherco
• License: mit
• Created: 2024-04-16T12:43:46.000Z (9 months ago)
• Default Branch: testnet
• Last Pushed: 2024-12-24T20:50:17.000Z (9 days ago)
• Last Synced: 2024-12-24T21:21:14.523Z (9 days ago)
• Topics: eigenlayer, ethereum, restaking, zero-knowledge-proofs
• Language: Rust
• Homepage: https://alignedlayer.com/
• Size: 452 MB
• Stars: 193
• Watchers: 12
• Forks: 361
• Open Issues: 261
• Metadata Files:
  • Readme: README.md
  • License: LICENSE
  • Audit: audits/aligned_v0.4/due_diligence_consensys.pdf

Awesome Lists containing this project

README

        
# Aligned

> [!CAUTION]

> To be used in testnet only.

To learn more about Aligned and how to use it, refer to the [docs page](https://docs.alignedlayer.com/) or [docs folder](./docs/).

# Acknowledgements

Aligned wouldn't be possible without the valuable work of these people:

- [Ethereum](https://ethereum.org/en/), for being the network we all love

- [EigenLayer](https://www.eigenlayer.xyz) for providing restaking and AVS

- Shafi Goldwasser, Silvio Micali, and Charles Rackoff for [inventing ZK proofs](http://people.csail.mit.edu/silvio/Selected%20Scientific%20Papers/Proof%20Systems/The_Knowledge_Complexity_Of_Interactive_Proof_Systems.pdf)

- Eli Ben-Sasson and [Starkware](https://starkware.co) for making them practical

- [Consensys](https://consensys.io) for implementing the GROTH16 and PLONK protocols in [GNARK](https://docs.gnark.consensys.io)

- [RiscZero](https://risczero.com) for its namesake [proving system](https://github.com/risc0/risc0)

- [SuccintLabs](https://succinct.xyz) for creating [SP1](https://github.com/succinctlabs/sp1)

- [Paradigm](https://www.paradigm.xyz) for maintaining the [Ethers crate](https://crates.io/crates/ethers) and [Foundry](https://github.com/foundry-rs/foundry)

- [LambdaClass](https://lambdaclass.com) for writing [lambdaworks](https://github.com/lambdaclass/lambdaworks)

If you believe we missed someone, contact us! We're always happy to give credit where it's due.