没有合适的资源?快使用搜索试试~ 我知道了~
zkinterface:zkInterface是用于零知识框架互操作性的协议
共97个文件
rs:30个
cpp:9个
hpp:5个
需积分: 8 0 下载量 36 浏览量
2021-05-06
23:40:51
上传
评论
收藏 519KB ZIP 举报
温馨提示
zkInterface,实现零知识互操作性的标准工具 zkInterface是用于不同ZK DSL,小工具库和验证系统之间零知识互操作性的标准工具。 zkInterface项目诞生于社区。 观看。 请参阅和。 请参阅Rust的实现: 集成说明: 介绍 zkInterface是规范和相关工具,用于实现通用零知识证明系统的实现之间的互操作性。 它旨在在表示待证明语句的低约束系统级别上促进零知识证明实施之间的互操作性。 这样的约束系统由前端(例如,通过从更高级别的规范进行编译)生成,并由生成和验证证明的加密后端使用。 目的是实现前端与后端的解耦,使应用程序编写者可以选择最方便的前端来满足其功能和开发需求,并将其与最能满足其性能和安全需求的后端结合起来。 该标准规定了用于通信约束系统,用于通信变量分配(用于生成证明)以及用于从较小的构造块(小工具)构造约束系统的协议。 这些是使用与语
资源推荐
资源详情
资源评论
收起资源包目录
zkinterface-master.zip (97个子文件)
zkinterface-master
Changelog.md 5KB
zkInterface.pdf 247KB
rust
build.rs 3KB
Cargo.lock 13KB
src
bin
zkif.rs 161B
producers
workspace.rs 3KB
mod.rs 105B
gadget_caller.rs 2KB
builder.rs 3KB
examples.rs 3KB
circuit_generator.rs 9KB
cli.rs 11KB
consumers
stats.rs 2KB
workspace.rs 5KB
mod.rs 88B
reader.rs 16KB
validator.rs 6KB
simulator.rs 4KB
structs
constraints.rs 6KB
header.rs 6KB
mod.rs 142B
variables.rs 2KB
messages.rs 2KB
keyvalue.rs 3KB
witness.rs 2KB
command.rs 2KB
message.rs 1KB
lib.rs 8KB
zkinterface_generated.rs 36KB
Cargo.toml 896B
.gitignore 19B
cpp
gadget_cli.cpp 3KB
zkinterface_utils.cpp 3KB
gadgetlib.h 2KB
libsnark_importer.hpp 930B
gadgetlib_alu.cpp 5KB
snark_cli.cpp 4KB
zkinterface_utils.hpp 2KB
gadgetlib_example.hpp 1KB
libsnark-rust
build.rs 1KB
Cargo.lock 5KB
src
test.rs 6KB
gadgetlib.rs 5KB
lib.rs 32B
Cargo.toml 492B
local
.keep 0B
gadgetlib_sha256.cpp 6KB
gadgetlib_alu.hpp 634B
.clang-format 25B
libsnark_converters.hpp 3KB
flatbuffers
stl_emulation.h 10KB
flatbuffers.h 99KB
base.h 13KB
LICENSE.txt 11KB
libsnark_importer.cpp 2KB
libsnark_converters.cpp 9KB
zkinterface_generated.h 67KB
gadgetlib_example.cpp 7KB
CMakeLists.txt 2KB
gadgetlib.cpp 1KB
e2e_demo.sh 697B
deps.sh 616B
build
.keep 0B
js
zkinterface.js 1KB
package.json 667B
package-lock.json 375B
example.js 3KB
.gitignore 13B
zkinterface_generated.js 36KB
README.md 475B
LICENSE 1KB
ecosystem
README.md 2KB
examples
example.zkif 648B
example.json 2KB
spec
r1cs-def.tex 7KB
references.bib 12KB
execution.tex 6KB
design.tex 10KB
zkinterop.tex 20KB
graphics
interop_drawio.xml 2KB
program_proving_drawio.xml 2KB
call_flow_drawio.xml 3KB
program_components_drawio.xml 928B
program_components.png 12KB
interop.png 44KB
program_proving.png 12KB
call_flow.png 49KB
.gitignore 4B
lib
dtrt.sty 43KB
lang.sty 659B
style.sty 3KB
Makefile 327B
.gitignore 48B
.circleci
config.yml 300B
Makefile 27B
README.md 9KB
zkinterface.fbs 7KB
共 97 条
- 1
资源评论
姜一某
- 粉丝: 28
- 资源: 4633
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- python-leetcode面试题解之第186题反转字符串中的单词II-题解.zip
- 一个基于python的web后端高性能开发框架,下载可用
- python-leetcode面试题解之第179题最大数-题解.zip
- python-leetcode面试题解之第170题两数之和III数据结构设计-题解.zip
- python-leetcode面试题解之第168题Excel表列名称-题解.zip
- python-leetcode面试题解之第167题两数之和II输入有序数组-题解.zip
- python-leetcode面试题解之第166题分数到小数-题解.zip
- python-leetcode面试题解之第165比较版本号-题解.zip
- python-leetcode面试题解之第163题缺失的区间-题解.zip
- python-leetcode面试题解之第162题寻找峰值-题解.zip
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功