Content
@
0 reply
0 recast
0 reaction
avi
@avichalp
reproducible builds seems like a big issue for ZKVMs
2 replies
0 recast
3 reactions
Shriphani Palakodety
@shriphani
It is a shitshow (this problem doesn't exist for circuits - plonky2/3 and circom will produce the same circuit across compilations). SP1 asks you to check the ELF into git and RISC0 has some unsupported hacky tooling with docker + cargo.
1 reply
0 recast
1 reaction
avi
@avichalp
if you were to verify STARKs without compression/aggregation then you would need that ELF file?
1 reply
0 recast
0 reaction
Shriphani Palakodety
@shriphani
sorry wrong info from me - you just need the verifying key. You can generate it yourself if you have access to the ELF or treat it like a constant.
1 reply
0 recast
1 reaction
avi
@avichalp
ah makes sense. so, if you don’t trust the prover you should have the ELF file but you don’t even know if ELF is correct
0 reply
0 recast
1 reaction
