Cysicの次世代ZK証明器:グラフファースト 🔥 ほとんどのZK証明システムは、これまでに考えたことのない共通のアーキテクチャ的前提を共有しています Prove() 関数は完全なブラックボックスとして扱われます ハードウェアは一度に全操作を認識せず、一度に一つのカーネルだけを認識します この仮定の名前はHALです なぜCysicがHALの代わりになったのか教えましょう!