ZKP作為一個復雜的密碼學應用，其底層還是建立在其他的building block/primitive上的，所謂問題還是為什么很多密碼學得庫都逐漸改成了Rust實現。

當然作為補充，Golang實現的ZKP系統也不少，最廣為使用的就是 gnark 。

用Rust實現密碼學庫，一個非常典型的好處就是類型安全 。

例如u32變量，其所有計算都是良好定義的，例如2個u32的加法，如果在某一處出現了溢出的可能性，編譯期間就會被發現。

從而迫使你使用checked_add，overflow…。