search

dojoengine / dojo

Dojo is a toolchain for building provable games and autonomous worlds with Cairo
https://dojoengine.org
Apache License 2.0
407 stars 165 forks source link

Integrate SHARP as a proof generator backend #1387

Closed gabe-ashe closed 1 month ago

gabe-ashe commented 9 months ago

In the first version of Saya, the SHARP service from Starkware will be used to generate the proof and settle the proof on Sepolia.

This can be achieved using the SHARP client from SNOS if it's enough. Or a new service may be written.

glihm commented 3 months ago

@neotheprogramist as mentioned, as SHARP should allow to retrieve the proof now without settling, we should add this as a backend.

  1. Check with Starkware about Herodotus verifier compatibility.
  2. Your work on proof_hex may be directly used here as SHARP may not return annotations.
glihm commented 1 month ago

Will close this as it's not the path we're currently taking by the lack of access to the resource.