[numtel]

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)

[melvinzzz]

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.

[numtel]

Ah thanks, that's what I meant

[IanCal]

Link to risc zero, looks like a fascinating project https://www.risczero.com/