2 ms·

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