@zksecurityXYZ discussed in the blog how to accelerate ZK proving with WebGPU, introducing the challenges of WebGPU itself and in implementing ZKP, and verified its speedup with Stwo integration. @zksecurityXYZ 在博客中讨论了利用WebGPU提升ZK证明性能的方法,介绍了WebGPU本身和在实现ZKP中的挑战,并通过实验验证其与Stwo集成后的提速效果。
@eth_proofs unveiled three new zkVMs in the first phone call: @argumentxyz's Ix (Lean 4), @StarkWareLtd's StarkV (RISC-V), and @IrreducibleHW's zCray (inspired by RISC-V). 在 @eth_proofs 的第一次电话会议中,揭晓了三款新的zkVM:@argumentxyz 的Ix(基于Lean 4)、@StarkWareLtd 的StarkV(基于RISC-V)和 @IrreducibleHW 的 zCray(受RISC-V启发)。