with Nicola
Use case:
Lurk on Filecoin data
- Requirements: use pasta curves
- Goals
- Snapdeal proving using blake2 (so adding comD in blake2 to comR)
- bls12-381 based because not changing comR
- Translation circuit for comD: sha → “fast hash function for prover”
- commR : poseidon → anything else
- Changing comD from bls12-381 to comD on <stg-else-faster-to-prove-on>