Viewing profile — aszepieniec

It turns out there is an attack on the BrainSTARK proof system [1]. The tutorial was extended to explain and fix the attack. [1]: https://aszepieniec.github.io/stark-brainfuck/

Thanks for the remark. I updated the links at the bottom to make navigation easier; I hope it helps.

This tutorial covers the design of a STARK engine for Brainfuck. A STARK [1] allows you to prove the correct execution of a computer program. The verifier can verify the resulting …

The correct view of a proof-of-stake blockchain depends on who you ask for it. As a result, a) the cost of an attack cannot be calculated in units internal to the blockchain, makin…

AES/Rijdael is already somewhat arithmetization-oriented, because all its constituent operations are over the field GF(256). Hash functions like SHA2-256 and SHA3/Keccak do not hav…

This stackexchange answer does a reasonable job: https://crypto.stackexchange.com/questions/40921/how-does-mu...

This is only true if humans don't own themselves or if they have no value.

Gun control advocates cite statistics of the kind "how many deaths are caused by guns" as justification for more gun control. Frankly, whatever the statistic is, it is too high. Bu…

And then when the evidence does not match up, he fudges with one of his parameters, V, to "explain" it.

Great idea. My first impression is: "wait, I'm being judged after only two videos?" You probably want to increase that number to five or so. Good luck!

Just who is going to use violence against whom so that whose rights are not violated?