Quang Dao(@QuangVDao):@badcryptobitch @StoffelMPC I see, thanks. Latest generation of zk is far more performant than your expectations. Jolt for instance proves 1 million RISC-V cycles using only 2-3GB of RAM (soon will go down to <1GB). In general, zk is converging to ~3 orders of magnitude overhead over native computation

Quang Dao

@QuangVDao

PhD student @SCSatCMU. Working toward zk too cheap to meter & formally verified by default

Joined September 2016

2.2K Following 1.2K Followers

Quang Dao@QuangVDao

2026.07.25 03:33

@badcryptobitch @StoffelMPC I see, thanks. Latest generation of zk is far more performant than your expectations. Jolt for instance proves 1 million RISC-V cycles using only 2-3GB of RAM (soon will go down to <1GB). In general, zk is converging to ~3 orders of magnitude overhead over native computation