Re:Programming Zero Knowledge Proofs: From Zero to Hero
by clarus on Monday September 02, 2024 @07:14AM
(#41424399)
There are RISC-V based zero-knowledge virtual machines, to which a GCC version can be compiled. So this should be possible, although probably very slow, maybe a thousand times slower than a normal GCC execution.
[ Parent
| on HN ]
Re:Programming Zero Knowledge Proofs: From Zero to Hero
by numtel on Monday September 02, 2024 @10:25AM
(#41425622)
Risc Zero runs at about 500hz on high-end desktop hardware. They're working on speed ups though. (Source: their presentation in Brussels in July)
Re:Programming Zero Knowledge Proofs: From Zero to Hero
by melvinzzz on Monday September 02, 2024 @01:59PM
(#41427478)
That was 500 KHz, and the latest versions are at 1MHz, so still 1000 times slower than a 1Ghz machine, but it’s easy to parallelize the workload, so it’s really mostly a cost of computation issue.
Re:Programming Zero Knowledge Proofs: From Zero to Hero
by numtel on Monday September 02, 2024 @05:10PM
(#41428861)
Ah thanks, that's what I meant
Re:Programming Zero Knowledge Proofs: From Zero to Hero
by IanCal on Tuesday September 03, 2024 @06:05AM
(#41433219)
Link to risc zero, looks like a fascinating project https://www.risczero.com/