注册并分享邀请链接,可获得视频播放与邀请奖励。

Quang Dao
@QuangVDao
PhD student @SCSatCMU. Working toward zk too cheap to meter & formally verified by default
加入 September 2016
2.2K 正在关注    1.2K 粉丝
@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
显示更多