Aleo Grants: Addressing Worldwide Challenges Using Zero-Knowledge Technology
Funder
Aleo · Proof of Useful Work Blueprint Grant
Type / status
other · open
Amount
—
Deadline
unknown
Ecosystems
aleo
Categories
researchdev toolingaiprivacy
Tech stack
leo
Apply
—
Source
Fit
68% · possible fit
Trust
68% · model self-report 70% · first seen 2026-09-15 · v1
Verified
2026-09-15 · by extraction
The Aleo Proof of Useful Work Blueprint Grant funds developers to create Leo programs that encode computational problems such as climate modeling, deep learning, or protein folding, which reward solvers via zero-knowledge proofs. Applicants should propose Leo-based programs that enable instant, verifiable rewards for solving meaningful computational tasks. Deliverables include functional Leo programs with encoded problems and associated bounty structures on the Aleo network. Applications are submitted via the linked Paragraph post, though no formal application URL is explicitly provided.
Eligibility: Developers interested in creating Leo programs that encode computational problems for public solving using zero-knowledge proofs.
Pipeline
Trust breakdown (1/1 checkable facts verified)
| Signal | Weight | Result | Note |
|---|---|---|---|
| funder | 0.075 | 100% | named in source |
| source quality | 0.15 | 50% | social or search hit |
| model confidence | 0.1 | 70% | model self-report |
Fit breakdown (against the ORG_* profile)
| Signal | Weight | Result | Note |
|---|---|---|---|
| model fit | 0.5 | 70% | model rated 70% |
| ecosystem overlap | 0.25 | 100% | aleo vs aleo |
| category overlap | 0.15 | 33% | research, dev_tooling, ai, privacy vs zk, privacy, infra, dev_tooling, security, interoperability |
| tech overlap | 0.1 | 33% | leo vs rust, leo, zk |
Sources (1)
| Role | Document | From | Fetched |
|---|---|---|---|
| primary | Aleo Grants: Addressing Worldwide Challenges Using Zero-Knowledge Technology | Web discovery: RFP and grant searches | 2026-09-15 |
History (1)
| v | Changed | Fields |
|---|---|---|
| 1 | 2026-09-15 | created |
Extracted text
Traditional blockchains reward developers for minor computations, such as correct DeFi trading or signing up for an airdrop. But what if you could earn rewards for substantial computations that make a meaningful impact? From modeling climate change to deep learning, your Proofs of Useful Work (ZKPs) can contribute to real and significant changes in the world.
If you're interested in assisting people in solving complex mathematical problems or conducting physical simulations using zero-knowledge proofs (ZKPs) and receiving instant rewards for it, we encourage you to apply for the Proof of Useful Work Blueprint Grant.
Problems Addressed with ZKPs
Computer scientists often categorize problems based on their theoretical complexity, ranging from simple problems like sorting groceries to find the cheapest bread to complex problems like finding the shortest route through a list of different cities.
Many institutions and organizations are already diligently working to find solutions to complex problems. Scientific projects like BOINC at the University of California, Berkeley, use distributed computing to study and research diseases, climate change, pulsars, and various other scientific investigations.
Another initiative, folding@home, allows developers to share their computational power to combat global health threats such as COVID-19, Alzheimer's disease, and cancer.
However, there are still many more problems that require computational solutions:
* Improving our understanding of celestial objects and physics.
* Deep learning.
* Climate modeling.
* Medical and biological modeling, such as protein folding.
* Even SAT competitions involve computational problems.
The more complex the task, the more computations it requires to solve it. You can perform large, very large computations using Leo, Aleo's programming language, and ZKPs. The computational power required for some problems is virtually unlimited, making it more efficient to delegate their solutions to trusted and untrusted parties (ZKPs allow for quick and secure verification of the latter).
While systems like BOINC and folding@home are crucial for valuable work, they do not financially reward workers for their solutions. Furthermore, many previous attempts to reward "Proofs of Useful Work" focused on solving narrowly specialized problems (see Primecoin).
The Aleo Proof of Useful Work Blueprint Grant offers a different approach. The Aleo network already rewards developers for creating ZKPs. Now you can enable others to reward solutions to computational problems that matter.
Rewards for Useful Work
If your proposal is approved, you'll be eligible for a grant to create Leo programs with encoded problems. These programs will instantly reward people who submit correct solutions to the encoded tasks.
With a distributed ledger like Aleo, anyone can create rewards for solving computational problems without relying on an intermediary. Bounties can incentivize developers to tackle complex problems. For example, you can create a Leo program to reward finding new Mersenne prime numbers, improved solutions to the traveling salesman problem, or various other stochastic local search problems.
ZKPs are critical for proofs of useful work. If verifying solutions to complex problems takes a long time, placing decentralized rewards in a distributed ledger can be expensive. ZKPs allow for instant verification of a single or batch of solutions. Moreover, they can guarantee that users receive funds only if the solution is disclosed to the rightful parties.
Some readers may recall that Primecoin also uses Proofs of Useful Work as an integral part of its consensus algorithm. To be clear, the rewards we propose do not contribute to achieving consensus; they are solely meant to reward those who solve a problem. Unfortunately, there is no reliable theoretical basis to support the stability of using Proofs of Useful Work to achieve consensus.
Do you want to tackle significant problems? Apply for this unique Aleo grant, and we look forward to your proposals for useful work.