ZKP作為一個(gè)復(fù)雜的密碼學(xué)應(yīng)用，其底層還是建立在其他的building block/primitive上的，所謂問題還是為什么很多密碼學(xué)得庫都逐漸改成了Rust實(shí)現(xiàn)。

當(dāng)然作為補(bǔ)充，Golang實(shí)現(xiàn)的ZKP系統(tǒng)也不少，最廣為使用的就是 gnark 。

用Rust實(shí)現(xiàn)密碼學(xué)庫，一個(gè)非常典型的好處就是類型安全 。

例如u32變量，其所有計(jì)算都是良好定義的，例如2個(gè)u32的加法，如果在某一處出現(xiàn)了溢出的可能性，編譯期間就會(huì)被發(fā)現(xiàn)。

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