
Aligned Testnet 3 : Our first EigenLayer AVS open to ext…
We are excited to announce the launch of our third testnet, marking a significant advancement in the adoption of zero-knowledge (ZK) proofs on Ethereum. This is our first public testnet open to third party operators for our EigenLayer AVS. We invite you to work with us towards our goal of accelerating the Ethereum roadmap by making the implementation of ZK proofs both easy and economical. By reducing the complexity and cost of verification, Aligned will establish ZK as the default solution fo...

Aligned Manifesto
We live in an era where we can no longer trust what we read, see, or even hear. Rapid advancements in artificial intelligence have accelerated the production of illusory content. Fake news and alternative facts are displayed in all formats, for any purpose, from personal vanity to political propaganda. At the same time, global internet freedom is falling, as critical content is increasingly censored, and replaced with deepfakes and disinformation. This situation, combined with our heavy depen...

What are ZK-SNARKS?
SNARKS have gained considerable attention recently due to their broad utility in areas such as blockchain scalability, identity mechanisms, verifiable machine learning, and fighting against misinformation and fake news. We see new developments daily, but SNARKS have been around for a long time. SNARKs allow one party, the prover, to prove to another, the verifier, that a given computation was computed correctly.Key Properties of SNARKSZK-proofs are not a recent invention. The definitions, fou...
We accelerate the roadmap of Ethereum by making proof verification faster and cheaper. We can verify proofs for 10% of the cost.

Aligned Testnet 3 : Our first EigenLayer AVS open to ext…
We are excited to announce the launch of our third testnet, marking a significant advancement in the adoption of zero-knowledge (ZK) proofs on Ethereum. This is our first public testnet open to third party operators for our EigenLayer AVS. We invite you to work with us towards our goal of accelerating the Ethereum roadmap by making the implementation of ZK proofs both easy and economical. By reducing the complexity and cost of verification, Aligned will establish ZK as the default solution fo...

Aligned Manifesto
We live in an era where we can no longer trust what we read, see, or even hear. Rapid advancements in artificial intelligence have accelerated the production of illusory content. Fake news and alternative facts are displayed in all formats, for any purpose, from personal vanity to political propaganda. At the same time, global internet freedom is falling, as critical content is increasingly censored, and replaced with deepfakes and disinformation. This situation, combined with our heavy depen...

What are ZK-SNARKS?
SNARKS have gained considerable attention recently due to their broad utility in areas such as blockchain scalability, identity mechanisms, verifiable machine learning, and fighting against misinformation and fake news. We see new developments daily, but SNARKS have been around for a long time. SNARKs allow one party, the prover, to prove to another, the verifier, that a given computation was computed correctly.Key Properties of SNARKSZK-proofs are not a recent invention. The definitions, fou...
We accelerate the roadmap of Ethereum by making proof verification faster and cheaper. We can verify proofs for 10% of the cost.

Subscribe to Aligned

Subscribe to Aligned
Share Dialog
Share Dialog


>33K subscribers
>33K subscribers
The second Lambda Hack Week is nearly here, and we are offering a prize pool for projects building on top of Aligned.Only a few spots remaining! Click here to register! 📆 July 6th to 9th 2024📍 Brussels.
Our bounties will be awarded to projects that build innovative technology using Aligned for ZKP verification, or extend the capabilities of Aligned by contributing to our open-source project.
Below we provide a non-exhaustive list of potential ideas. We invite you to reach out to our team members at Lambda Hack Week to discuss project ideas if you will be using Aligned for your hackathon project!
Create a project that demonstrates how Aligned can be used for cheap and fast ZKP verification, thus enabling new types of blockchain infrastructure or consumer dApps (bounties 1 & 2).
The project must use Aligned to verify ZK proofs.
The project must be deployed on the Ethereum Holesky testnet.
Improve the Aligned developer experience (bounty 3).
The project must use a clear Open Source License: MIT, GNU, Unlicensed, or any standard open source license your team wants.
The project must include appropriate documentation, including:
A README.md that describes the project and rationale, provides backgrounds/biographies of team members, and notes on challenges you faced when building the project.
Easy to follow deployment and execution instructions.
Documentation that allows for others to reproduce your project.
Build infrastructure using Aligned to verify proofs.
Prizes:
1st place: $4000
2nd place: $2500
3rd place: $1000
Here is a list of potential ideas:
Fast bridging solutions.
Example: Noble has implemented ICS23 in SP1 for Tendermint light clients; we would love to see a similar implementation which uses Aligned for verification. (See https://github.com/noble-assets/sp1-ics23-example and https://x.com/SuccinctLabs/status/1805341476689527207)
ZK Oracles.
Implement a basic oracle system on Aligned that queries a price endpoint in rust and generates a proof of this using SP1.
ZK Coprocessors.
Cross-compile evm-mlir to RISC-V and verify it using SP1 or RISC Zero. Similar to this: https://dev.to/quartztechnology/rethv-building-reth-for-the-risc-v-platform-17ji
Compile https://github.com/sigp/lighthouse to RISC-V and verify its execution using SP1 or RISC Zero
Verifiable Machine Learning.
Perform a comparison of running ezkl proving and verification against:
Build fun games & puzzles using Aligned and unleash your creativity.
This bounty will be awarded to projects which use Aligned to build something that can engage consumers and create fun onchain experiences for users. Judging will take into account user experience, virality, and ease of taking live onto mainnet.
Prizes:
1st place: $4000
2nd place: $2500
3rd place: $1000
Here is a list of potential ideas:
ZK Games in Aligned
ZK Wordle and then mint an NFT in Ethereum
ZK Sudoku and then mint an NFT in Ethereum
ZK Tetris with an onchain leaderboard
Run a compiler in SP1 or RISC Zero and post a proof to Aligned.
Migrate any Halo2 games and examples to Aligned.
Run Doom with RISC Zero/SP1 on Aligned.
Help accelerate Aligned’s roadmap by contributing to our project and extending its capabilities.
Prizes:
1st place: $4000
2nd place: $2500
3rd place: $1000
Here is a list of potential ideas:
Build a Go, Python, or Typescript SDK for interacting with Aligned.
Tooling to improve the Aligned developer experience.
The above ideas are only guidelines!
We encourage you to brainstorm your own ideas.
Come and show us what's possible by building on our fast and cheap zk-verification layer!
Stay tuned: 🐦 Twitter | 🗨️ Telegram | 👾 Discord | 🌐 Website | 🌌 Galxe | 📝 Manifesto
The second Lambda Hack Week is nearly here, and we are offering a prize pool for projects building on top of Aligned.Only a few spots remaining! Click here to register! 📆 July 6th to 9th 2024📍 Brussels.
Our bounties will be awarded to projects that build innovative technology using Aligned for ZKP verification, or extend the capabilities of Aligned by contributing to our open-source project.
Below we provide a non-exhaustive list of potential ideas. We invite you to reach out to our team members at Lambda Hack Week to discuss project ideas if you will be using Aligned for your hackathon project!
Create a project that demonstrates how Aligned can be used for cheap and fast ZKP verification, thus enabling new types of blockchain infrastructure or consumer dApps (bounties 1 & 2).
The project must use Aligned to verify ZK proofs.
The project must be deployed on the Ethereum Holesky testnet.
Improve the Aligned developer experience (bounty 3).
The project must use a clear Open Source License: MIT, GNU, Unlicensed, or any standard open source license your team wants.
The project must include appropriate documentation, including:
A README.md that describes the project and rationale, provides backgrounds/biographies of team members, and notes on challenges you faced when building the project.
Easy to follow deployment and execution instructions.
Documentation that allows for others to reproduce your project.
Build infrastructure using Aligned to verify proofs.
Prizes:
1st place: $4000
2nd place: $2500
3rd place: $1000
Here is a list of potential ideas:
Fast bridging solutions.
Example: Noble has implemented ICS23 in SP1 for Tendermint light clients; we would love to see a similar implementation which uses Aligned for verification. (See https://github.com/noble-assets/sp1-ics23-example and https://x.com/SuccinctLabs/status/1805341476689527207)
ZK Oracles.
Implement a basic oracle system on Aligned that queries a price endpoint in rust and generates a proof of this using SP1.
ZK Coprocessors.
Cross-compile evm-mlir to RISC-V and verify it using SP1 or RISC Zero. Similar to this: https://dev.to/quartztechnology/rethv-building-reth-for-the-risc-v-platform-17ji
Compile https://github.com/sigp/lighthouse to RISC-V and verify its execution using SP1 or RISC Zero
Verifiable Machine Learning.
Perform a comparison of running ezkl proving and verification against:
Build fun games & puzzles using Aligned and unleash your creativity.
This bounty will be awarded to projects which use Aligned to build something that can engage consumers and create fun onchain experiences for users. Judging will take into account user experience, virality, and ease of taking live onto mainnet.
Prizes:
1st place: $4000
2nd place: $2500
3rd place: $1000
Here is a list of potential ideas:
ZK Games in Aligned
ZK Wordle and then mint an NFT in Ethereum
ZK Sudoku and then mint an NFT in Ethereum
ZK Tetris with an onchain leaderboard
Run a compiler in SP1 or RISC Zero and post a proof to Aligned.
Migrate any Halo2 games and examples to Aligned.
Run Doom with RISC Zero/SP1 on Aligned.
Help accelerate Aligned’s roadmap by contributing to our project and extending its capabilities.
Prizes:
1st place: $4000
2nd place: $2500
3rd place: $1000
Here is a list of potential ideas:
Build a Go, Python, or Typescript SDK for interacting with Aligned.
Tooling to improve the Aligned developer experience.
The above ideas are only guidelines!
We encourage you to brainstorm your own ideas.
Come and show us what's possible by building on our fast and cheap zk-verification layer!
Stay tuned: 🐦 Twitter | 🗨️ Telegram | 👾 Discord | 🌐 Website | 🌌 Galxe | 📝 Manifesto
Writing an ML model in https://github.com/huggingface/candle and verifying using SP1 or RISC Zero
Verify a verkle proof using Aligned.
Example: https://github.com/crate-crypto/rust-verkle with SP1
Verify a ssz proof using Aligned.
Example: https://github.com/ralexstokes/ssz-rs with SP1
Build an application using a multi proof system that leverages Aligned. Use multiple rust provers and/or Gnark to have a more robust application, that needs multiple proving systems to agree before doing an action
Build the first ZK rollup on top of Aligned (either create only the smart contracts with a simple State Transition Function)
Soft finality solutions for Rollups and Appchains.
New settlement layers (use Aligned + EigenDA) for Rollups and Intent based systems.
Encrypted mempools using SNARKs to show the correctness of the encryption.
Alternative L1 <> Ethereum interoperability solutions.
Cheap verification and interoperability for identity protocols.
New credential protocols such as zkTLS based systems.
P2P protocols based on SNARKs such as payment systems and social networks.
Based Rollup infrastructure.
ZK-based onchain gaming infrastructure.
Writing an ML model in https://github.com/huggingface/candle and verifying using SP1 or RISC Zero
Verify a verkle proof using Aligned.
Example: https://github.com/crate-crypto/rust-verkle with SP1
Verify a ssz proof using Aligned.
Example: https://github.com/ralexstokes/ssz-rs with SP1
Build an application using a multi proof system that leverages Aligned. Use multiple rust provers and/or Gnark to have a more robust application, that needs multiple proving systems to agree before doing an action
Build the first ZK rollup on top of Aligned (either create only the smart contracts with a simple State Transition Function)
Soft finality solutions for Rollups and Appchains.
New settlement layers (use Aligned + EigenDA) for Rollups and Intent based systems.
Encrypted mempools using SNARKs to show the correctness of the encryption.
Alternative L1 <> Ethereum interoperability solutions.
Cheap verification and interoperability for identity protocols.
New credential protocols such as zkTLS based systems.
P2P protocols based on SNARKs such as payment systems and social networks.
Based Rollup infrastructure.
ZK-based onchain gaming infrastructure.
No activity yet