Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
jeremy_bruestle
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
jeremy_bruestle
4y ago
Basically, you can run code in the zkVM, which looks like a normal RISC-V machine, but it generates a cryptographic proof/receipt of correct execution, so you can trust the code was run correctly (presuming the receipt verifies), even
2.
▲
by
jeremy_bruestle
4y ago
It is similar, although rather than using a Benes net to implement the permutation, it uses PLONK ( https://eprint.iacr.org/2019/953.pdf ), which is massively more efficient. And of course it actually implements the RIS