More efficient SolidityTranscript - Githubissues

EspressoSystems / jellyfish

A Rust Implementation of the PLONK ZKP System and Extensions

https://jellyfish.docs.espressosys.com

MIT License

397 stars 100 forks source link

More efficient SolidityTranscript #618

Closed alxiong closed 3 months ago

alxiong commented 3 months ago

Based on the suggestion from CommonPrefix,

we could:

use big endian serialization (instead of the LE default from arkworks), so that we avoid reversing them in solidity contract
avoid prepend the state in computation of the next challenge: directly use H(transcripts) instead of H( state | transcript )

These changes are necessary before https://github.com/EspressoSystems/espresso-sequencer/issues/1640 can be implemented.