ZPiE: Zero-knowledge Proofs in Embedded systems
1. 引言
Salleras和Daza 2021年论文《 ZPiE: Zero-Knowledge Proofs in Embedded Systems》。
代码实现：
- https://github.com/xevisalle/zpie（C语言）
可以跨平台编译为X86/X64/ARM-32/ARM-64，从而支持在嵌入式平台上运行。
zyd@zyd-VirtualBox:~/zyd/zpie$ ./zpie
******************* ZPiE v0.2 *******************
USAGE: ./zpie [ACTIONS] [OPTIONS][ACTIONS]:
-s : Perform setup.
-p : Generate proof.
-v : Verify proof.
-pbp <Nb> <Mc> : Generate bulletproof where Nb is the bit size and Mc the number of aggregated proofs.
-vbp <Nb> <Mc> : Verify bulletproof where Nb is the bit size and Mc the number of aggregated proofs.[OPTIONS]
-l : Activate operation logs.
zyd@zyd-VirtualBox:~/zyd/zpie$ ./zpie -s
******************* ZPiE v0.2 *******************
--- Starting ZPiE - Groth'16...|--- # of constraints: 456|--- # of variables: 650|--- # of public outputs: 2|--- Multi-core execution: OFF|--- Elliptic curve: BN128
[SUCCESS] : Setup generated successfully in 1.095185s
zyd@zyd-VirtualBox:~/zyd/zpie$ ./zpie -p
******************* ZPiE v0.2 *******************
--- Starting ZPiE - Groth'16...|--- # of constraints: 456|--- # of variables: 650|--- # of public outputs: 2|--- Multi-core execution: OFF|--- Elliptic curve: BN128|--- Mode: Prove|--- FFT constraints size : 512
[SUCCESS] : ZPiE started successfully in 1.101788s--- Computing proof...|--- Circuit evaluation: [0.000170s]|--- Compute h coefficients: [0.002513s]|--- G1, G2 multiexponentiations: [0.448896s]|--- Bos-Coster: [0.109755s]|--- Heap sorting: [0.003515s]
[SUCCESS] : Proof generated successfully in 0.488291s
zyd@zyd-VirtualBox:~/zyd/zpie$ ./zpie -v
******************* ZPiE v0.2 *******************
--- Starting ZPiE - Groth'16...|--- # of constraints: 456|--- # of variables: 650|--- # of public outputs: 2|--- Multi-core execution: OFF|--- Elliptic curve: BN128
[SUCCESS] : Proof verified in 0.003520s
zyd@zyd-VirtualBox:~/zyd/zpie$ ./zpie -pbp 128 10
******************* ZPiE v0.2 *******************
--- Starting ZPiE - Bulletproofs...|--- # of bits : 128|--- # of aggregated proofs: 10|--- Multi-core execution: OFF|--- Elliptic curve: BN128
[ERROR] : Input values must be powers of two.
zyd@zyd-VirtualBox:~/zyd/zpie$ ./zpie -pbp 128 8
******************* ZPiE v0.2 *******************
--- Starting ZPiE - Bulletproofs...|--- # of bits : 128|--- # of aggregated proofs: 8|--- Multi-core execution: OFF|--- Elliptic curve: BN128
[SUCCESS] : Bulletproof created in 2.851989s
zyd@zyd-VirtualBox:~/zyd/zpie$ ./zpie -vbp 128 8
******************* ZPiE v0.2 *******************
--- Starting ZPiE - Bulletproofs...|--- # of bits : 128|--- # of aggregated proofs: 8|--- Multi-core execution: OFF|--- Elliptic curve: BN128
[SUCCESS] : Bulletproof verified in 1.147386s
zyd@zyd-VirtualBox:~/zyd/zpie$
参考资料
[1] ZPiE: Zero-Knowledge Proofs in Embedded Systems
ZPiE: Zero-knowledge Proofs in Embedded systems相关推荐
- Important Programming Concepts (Even on Embedded Systems) Part V: State Machines
Earlier articles in this series: Part I: Idempotence Part II: Immutability Part III: Volatility Part ...
- 架构与设计 之一 C 嵌入式设计模式（Design Patterns for Embedded Systems in C）的学习记录
唉 时至今日,已经不知道在嵌入式的道路上到底挣扎了多少个岁月,总感觉要"病入膏肓"了.此间总是不时出现一些疑惑:人家搞 Java.搞 C# 的动不动就是什么架构 / 框架的,搞 ...
- 架构设计 之一 C 嵌入式设计模式（Design Patterns for Embedded Systems in C）学习笔记
前言 时至今日,已经不知道在嵌入式的道路上到底挣扎了多少个岁月,总感觉要"病入膏肓"了.此间总是不时出现一些疑惑:人家搞 Java.搞 C# 的动不动就是什么架构 / 框架的, ...
- 什么是Deeply Embedded Systems?
什么是深嵌系统(Deeply Embedded Systems)呢?一般意义下,它是物联网领域的感知设备,能对检测到的环境数据进行处理.并做出响应. Deeply embedded systems a ...
- LCDet Low-Complexity Fully-Convolutional Neural Networks for Object Detection in Embedded Systems
Subarna Tripathi UC San Diego∗ stripathi@ucsd.edu Byeongkeun Kang UC San Diego bkkang@ucsd.edu V asu ...
- Microcontrollers and Embedded Systems
Part 8: I/O Communication Protocol (Inter-Integrated Circuit 内置集成电路): a multi-master, multi-slave, ...
- 【论文阅读笔记】Multi-modal Knowledge Graphs for Recommender Systems
Multi-modal Knowledge Graphs for Recommender Systems 1.背景 现有的推荐系统主要分为两种方法,基于内容和协同过滤. 基于内容的方法是针对user- ...
- RippleNet:Propagating User Preferences on the KnowLedge Graph for Recommender Systems PPT讲稿
PPT下载链接:RippleNet 没有c币的小伙伴可以用下面的百度盘下载 链接: https://pan.baidu.com/s/1aOL7lZfaw34eE_RU7GM2lA 密码: w0hm 如 ...
- SysML-Sec: A Model-Driven Environment for Developing Secure Embedded Systems
SysML-Sec:用于开发安全嵌入式系统的模型驱动环境 摘要 我们介绍SysML-Sec,这是一个新的SysML环境,旨在使安全专家在嵌入式系统设计和开发的所有方法阶段与系统设计人员合作. SysM ...
最新文章
- 介绍一个效率爆表的数据采集框架
- JAVA取质数（素数）算法优化
- cuda7.5 和cuda8共存
- Python Json存储与读取
- wxWidgets：操纵杆 Joystick示例
- ASP.NET Core MVC 控制器创建与依赖注入
- JAVA进阶教学之（单链表数据结构）
- 数据科学 IPython 笔记本 9.10 数组排序
- 连接本地虚拟机和数据库很慢
- Yahoo！用户体验与设计前副总裁推荐——《设计模式》
- 链栈的基本操作和实现
- Gaussian09 optimization trajectory: python script
- abap捕获当前功能键sy_abap 当前用户 sy
- HUSTOJ平台的搭建
- 【网站模板】第01期—15套免费网站后台管理模板
- 电脑朋友圈,PC玩朋友圈，真的来了
- 计算机招聘试题选择题,计算机考试题库：计算机基础练习题（39）
- Java单例模式（Singleton）
- APP在线制作平台，手机应用,手机App开发,手机客户端开发
- 帆软：像阿甘一样，奔跑在商业智能的赛道上