如何評價零知識證明程式語言 Leo Programming Language？

蘇遲但到2021-12-22 09:04:07

這個我是不是很懂

資訊蒐集如下：

官方網址：

The First IDE for Zero Knowledge Proofs

但是零知識不是協議層的事情嗎？和電路有什麼關係？

//更新

知乎關閉了評論區，導致我不能評論，如果另外一個答主看見了我的回答，我可以理解為這個語言是有助於asic礦機或者密碼驗證模組的實現嗎？

filecoin上顯示一個普通顯示卡1s可以完成20000次左右的filecoin中的零知識證明，我感覺這個已經不是瓶頸了，對於以太坊使用的算力而言。

匿名使用者2021-12-22 14:40:51

對zkSNARK沒興趣，以下文字都是用臉砸鍵盤蒙出來的。

一個能看起來像是普通的程式語言，有迴圈有函式還有結構體，但能編譯成R1CS的東西。

他們的論文

［1］

解釋了這個語言是怎麼工作的，編譯器會把把所有的迴圈Unroll，所有的函式Inline之後合成一個大的程式碼塊，因此迴圈和函式Call都要是編譯器確定的，比如以下程式碼是跑不起來的，因為迴圈次數在編譯器不確定。

function

main

（

a

：

u32

，

b

：

u32

）

->

u32

{

for

i

in

0

。。

a

{

b

=

b

+

a

}

return

b

；

}

這種在編譯過程中不符合條件的程式碼一律會丟擲錯誤，因此之前不能做的，這裡也做不到，用這個語言也不能做到新的事情，就是寫起來簡單不少。官方提供了一個Playground，可以去試一試，我猜Blockchain經常掛在嘴邊的人應該對這個有些興趣。

（至於R1CS是個什麼玩意…… 我覺得這篇文章寫的挺好：神秘的零知識證明之zkSNARK - 知乎 （zhihu。com））