文件名称：xjsnark:开发高效zk-SNARK电路的高级框架
文件大小：4.94MB
文件格式：ZIP
更新时间：2024-05-23 00:58:51
xJsnark 这是用于开发zk-SNARK的应用程序的高级框架。 旨在弥合高级编程和性能之间的差距。 它提供了一组前端功能，使程序员能够以比以前编写zk-SNARK电路（尤其是对于加密应用程序）。 另一方面，xjsnark的后端使用多种技术来降低输出电路的成本，最终可以降低某些应用程序的手动开发电路的成本。 xJsnark的前端当前被开发为在Jetbrains MPS V 3.3.5之上的Java扩展（下面的安装说明）。 使用此框架可实现我们的目的，该功能具有辅助的可自定义IDE功能，但是用户一开始可能需要熟悉在此环境中进行编辑。 将来，我们还将考虑将电路一代的后端扩展到其他前端。 xJsnark的后端代码尚未发布。 它只是在此存储库中以带有类文件的jar形式发布，但是某些技术的实现可以在中提供的低级小工具（例如RSA和AES小工具）中找到。 xJsnark产生的电路使用与相同的格式
【文件预览】：
xjsnark-master
----.gitignore(357B)
----languages()
--------xjsnark()
----.mps()
--------vcs.xml(180B)
--------migration.xml(482B)
--------modules.xml(439B)
----LICENSE(1KB)
----doc()
--------code_previews()
--------paper_extended_version()
----README.md(15KB)
----.gitattributes(232B)