難しいですか?はい 私たちの健全性バグは壊滅的ですか?はい 私たちはあなたが思っているよりも近いですか?はい 1日目から、はい、証明システムをリリースしたのと同じ日に、@RiscZero zkVMを正式に検証する長いプロセスを開始しました。 最近、CI中の回路の決定性を数学的に証明する「Picus」を立ち上げました。これが、ZKシステムの健全性バグの96%の原因です(ZKセキュリティによる)。 この取り組みに加えて、私たちが取り組んでいるいくつかの取り組みは、私たちが証明可能な健全なRISC-V zkVMにあなたが最も思っているよりも速く到達できることを示しています。