This is a prod PoC where we test the usage of verifiable computation and incentives for "useful work".
The objective of the project is to decentralise Yearn Vaults Debt Allocation. The main idea behind it is to use zk-tech (Starkware's Cairo Programs) to verify that an account has proposed a valid solution, which have been computed off-chain (due to optimisation costs and code privacy concerns).
As the contract only verifies validity of the solution (and not optimality), it could accept non-optimal solutions (even if they abide by the rules and is valid). This is not a problem thanks to the incentives mechanism. As the rewards go to the proposer, proposers will post a better solution if there is room for it. This mechanism will incentivise players to always post the optimal solution or risk someone else to take it (and take the rewards). As there is only 1 optimal solution, the system will tend to equilibrium (until market conditions change).
The project has 2 parts:
Verifier contract that receives the proposed solutions and verify their correctness by using Cairo Programs and Starkware's verifier
Incentives mechanism that creates a stream with rewards to the best proposed solution
This project was started by @jmonteer but was abandoned due to the early stage that Cairo and Starknet had at the moment. At that time, the tech spec had been written and code was started and had good progress for L1 (Solidity).
Some months later, 0xSacha and I met and after an interesting discussion we decided that he was in a better position to tackle the Cairo part as he was part of another project building on top of Starknet.
Plan
The work has already started and the first item of the list is almost ready.
Create PoC with dummy inputs and dummy strategies that show that we can save a new solution on-chain using the result of an off-chain computation
Extend PoC with real inputs but dummy strategies that show that we have the right mechanism to snapshot L1
Extend PoC to use real inputs and real strategies with the real usecase of a small vault.
Add a simple mechanism of incentives for useful work: a stream that is sent to the current optimal solution proposer.
banteg
commented
1 year ago
Scope
0xSacha and I have decided to tackle together an old project that I had for decentralising yearn vaults' debt allocations. (see https://github.com/jmonteer/ystarkdebtallocator)
This is a prod PoC where we test the usage of verifiable computation and incentives for "useful work".
The objective of the project is to decentralise Yearn Vaults Debt Allocation. The main idea behind it is to use zk-tech (Starkware's Cairo Programs) to verify that an account has proposed a valid solution, which have been computed off-chain (due to optimisation costs and code privacy concerns).
As the contract only verifies validity of the solution (and not optimality), it could accept non-optimal solutions (even if they abide by the rules and is valid). This is not a problem thanks to the incentives mechanism. As the rewards go to the proposer, proposers will post a better solution if there is room for it. This mechanism will incentivise players to always post the optimal solution or risk someone else to take it (and take the rewards). As there is only 1 optimal solution, the system will tend to equilibrium (until market conditions change).
The project has 2 parts:
This project was started by @jmonteer but was abandoned due to the early stage that Cairo and Starknet had at the moment. At that time, the tech spec had been written and code was started and had good progress for L1 (Solidity).
Some months later, 0xSacha and I met and after an interesting discussion we decided that he was in a better position to tackle the Cairo part as he was part of another project building on top of Starknet.
Plan
The work has already started and the first item of the list is almost ready.
Deadline
2022-10-31
People
Money
100% of the grant will go to https://github.com/0xSacha
Amount
5000DAI (+ Starkware matching with 5000DAI)
Wallet address
0x114E6997a17D6964C1e42B575bc1e60ca2202CD5
Reporting