1/ なぜ zkML が拡張されないのか疑問に思ったことはありませんか? モデル全体を証明するのは時間がかかり、コストがかかり、非現実的です。重要な部分だけを証明できたらどうなるでしょうか?