Content
@
0 reply
0 recast
0 reaction
avi
@avichalp
reproducible builds seems like a big issue for ZKVMs
2 replies
0 recast
5 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
