3 ms·
> or who has secret knowledge about [SNARKs vulnerabilities and/or] formal verification holes or whatever http://diyhpl.us/~bryan/papers2/bitcoin/snarks/A%20No
by kanzure 9y ago
> or who has secret knowledge about [SNARKs vulnerabilities and/or] formal verification holes or whatever
http://diyhpl.us/~bryan/papers2/bitcoin/snarks/A%20Note%20on%20the%20Unsoundness%20of%20vnTinyRAM's%20SNARK.pdf http://diyhpl.us/~bryan/papers2/bitcoin/snarks/A%20Note%20on...