aszepieniec

5 ms·

1.
Soundness Error in BrainSTARK(aszepieniec.github.io)
7 points by aszepieniec 4y ago|3 comments
2.
by aszepieniec 4y ago
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/
3.
by aszepieniec 4y ago
Thanks for the remark. I updated the links at the bottom to make navigation easier; I hope it helps.
4.
BrainSTARK: STARKs for Brainfuck(aszepieniec.github.io)
10 points by aszepieniec 4y ago|3 comments
5.
by aszepieniec 4y ago
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 proof with less resources than it takes to naïvely re-execut
6.
Proof-of-Stake is not Objective(neptune.cash)
6 points by aszepieniec 4y ago|1 comments
7.
by aszepieniec 4y ago
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, making security analyses void; b) debts cannot be settled between
8.
Anatomy of a STARK(aszepieniec.github.io)
42 points by aszepieniec 5y ago|5 comments
9.
by aszepieniec 5y ago
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 have this property. However, you need to adapt the fi
10.
by aszepieniec 8y ago
This stackexchange answer does a reasonable job: https://crypto.stackexchange.com/questions/40921/how-does-mu...
11.
by aszepieniec 10y ago
This is only true if humans don't own themselves or if they have no value.
12.
by aszepieniec 14y ago
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. But that is not the point. But in order to successfully make a
13.
by aszepieniec 14y ago
And then when the evidence does not match up, he fudges with one of his parameters, V, to "explain" it.
14.
by aszepieniec 14y ago
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!
15.
by aszepieniec 14y ago
Just who is going to use violence against whom so that whose rights are not violated?