Nikkolasg Kuba Nicola
Example use cases:
- verifiable database engine
- ex: query over a certain dataset
- “find first value < 100” assuming data sorted
- database content prepared
- proving evaluation of models
- Compute over data / bacalhau
- zkEVM implementation → store state of zkEVM in Filecoin
- requires using the same format of zkEVM
- different internal representations (look)
No tied to current proof system for the sha256 - CommD
- Because we ‘re not tied to filecoin proof system
Cost of changing commD requires cost of changing on clietn side + cost of changing proofs (new trusted setup)
→ changing comR on the prover side first allows for a better sell to change comD down the road
fiat shamir fix done easily