Zoker – 佐克区块链毕设代写

区块链毕设代写本文提供国外最新区块链项目源码下载,包括solidity,eth,fabric等blockchain区块链,Zoker – 佐克区块链毕设代写 是一篇很好的国外资料

Zoker

The zoker is a tool you can use to apply zero knowledge proofs to smart contracts.

Zoker - 佐克

Zoker is a tool for parsing grammars using the lalrpop parser tool to generate zero knowledge proof circuits.

When you write a DSL of the proposed solidity subset, the Zoker preprocesses the DSL to produce a proof of zero knowledge proof and a verification smart contract to verify the proof.

See zoker.lalrpop for the detailed syntax of the DSL.

Documentation

How to use

Example Uses

License

This project is licensed under the MIT license. Please see the LICENSE file for more details.


Zoker

zoker是一个工具,你可以使用它来将零知识证明应用到智能合约中。Zoker是一个分析语法的工具,它使用lalrpop解析器工具生成零知识证明电路。

当您编写建议的实体子集的DSL时,Zoker对DSL进行预处理以生成零知识证明和验证智能契约以验证该证明。

参见佐克·拉尔波普DSL的详细语法。

这个项目是根据麻省理工学院的许可证授权的。有关详细信息,请参阅许可证文件。

See zoker.lalrpop for the detailed syntax of the DSL.

文档

如何使用

示例使用

许可证

This project is licensed under the MIT license. Please see the LICENSE file for more details.

部分转自网络,侵权联系删除区块链源码网

www.interchains.cc

https://www.interchains.cc/19738.html

区块链毕设网(www.interchains.cc)全网最靠谱的原创区块链毕设代做网站 部分资料来自网络,侵权联系删除! 最全最大的区块链源码站 ! QQ3039046426
区块链知识分享网, 以太坊dapp资源网, 区块链教程, fabric教程下载, 区块链书籍下载, 区块链资料下载, 区块链视频教程下载, 区块链基础教程, 区块链入门教程, 区块链资源 » Zoker – 佐克区块链毕设代写

提供最优质的资源集合

立即查看 了解详情