Aligned Bounties Lambda Hack Week 2
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!
Requirements
- 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.
- The project must use Aligned to verify ZK proofs.
- 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.
- 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.
Resources
Bounty 1: Infrastructure using Aligned for verification
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
- 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
- Verifiable Machine Learning.
- Perform a comparison of running ezkl proving and verification against:
- Writing an ML model in https://github.com/huggingface/candle and verifying using SP1 or RISC Zero
- Perform a comparison of running ezkl proving and verification against:
- 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.
Bounty 2: Consumer dApps using Aligned for verification
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
- ZK Wordle and then mint an NFT in Ethereum
- 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.
Bounty 3: Build Aligned Tooling
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