Closed sveitser closed 2 weeks ago
@alxiong just assigned you because you might be working on this. Feel free to just drop links here.
Closing this issue because we have verified that we can use automata contracts for verification
Created three issues for implementation:
https://github.com/EspressoSystems/nitro-espresso-integration/issues/311 https://github.com/EspressoSystems/nitro-espresso-integration/issues/312 https://github.com/EspressoSystems/nitro-espresso-integration/issues/313
@alxiong did some research
Scheme is ECDSA.
Automata has implementation: https://github.com/automata-network/automata-dcap-attestation/blob/main/contracts/verifiers/V4QuoteVerifier.sol
Cost estimates in readme: https://github.com/automata-network/automata-dcap-attestation