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

가입 September 2016

2.2K 팔로잉 중 1.2K 팬

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