Re:Programming Zero Knowledge Proofs: From Zero to Hero
by lifeinthevoid on Monday September 02, 2024 @03:26AM
(#41423327)
As far as I understand, you can't just use any gcc binary as it exists today. The program needs to be represented as a specific, mathematical expression that is suitable for zero-knowledge proofs.
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/
> So amazed and intrigued that I had to learn how it's done
Any chance you could just illustrate this somehow with a basic example? I just don't see how you could possibly verify that a program is produced with GCC without going through approximately as much effort as it'd take to compile it.