News for hackers. Stuff that matters.
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.
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/