2 comments

Sign in to comment.

kzima7 days ago
saving this for later, sadly.
rvance6 days ago
Saving it makes sense, but I don’t think the answer is to hide source, since the paper seems to be about breaking the easy mapping from verified code to deployed behavior, not making audits impossible.
zknews