Succinct proposal summary

There is a proposal for a grant to develop a third ZK-based oracle from Succinct Labs.

It's almost the same as proposals from Metacraft Labs and =nil; Foundation. The only difference is the proving infrastructure used to generate and deliver the proof.

It will give us reliability and the right to make mistakes. Also, we'll be able to try another tooling set to choose the one that is the best to continue with.

Asked price: $50k

What they have:

• Functioning PoC, ready to launch a testnet before Devconnect
• Concise and very readable circuit code on rust using their opensource SDK
• Opensource and no vendor lock
• Audit included
• Docs, all the scaffolds (docker and cloud running)
• < 30min for report, cheapest solution in gas (300k for mainnet Lido validators
• Going to run a prover at least a year after development (not included in the grant)

Why should we approve the grant:

• It will give the required redundancy for the multiprover, increasing its reliability
• They have a background and ZK-related business, so it's a long run for them.
• They express a willingness to cooperate further and are very proactive