如何评价零知识证明编程语言 Leo Programming Language？

这个我是不是很懂

信息搜集如下：

官方网址：

但是零知识不是协议层的事情吗？和电路有什么关系？

//更新

知乎关闭了评论区，导致我不能评论，如果另外一个答主看见了我的回答，我可以理解为这个语言是有助于asic矿机或者密码验证模块的实现吗？

filecoin上显示一个普通显卡1s可以完成20000次左右的filecoin中的零知识证明，我感觉这个已经不是瓶颈了，对于以太坊使用的算力而言。