github-actions[bot]
commented
1 year ago There hasn't been any activity on this issue recently, and in order to prioritize active issues, it will be marked as stale. Please make sure to update to the latest version and check if that solves the issue. Let us know if that works for you by leaving a 👍 Because this issue is marked as stale, it will be closed and locked in 7 days if no further activity occurs. Thank you for your contributions!
Describe how https://eprint.iacr.org/2021/1029.pdf could be implemented assuming Starknet will be the weak client having access to a source of randomness, and locally-proven Cairo program being the strong server. This should consist of a smart contract having two functions for pre-computing and verifying values on-chain and a local Cairo program. Local cairo might not even be needed in fact, the results may be passed as call data. It that's the case, it is a big win.