ZKP编程语言概览

1. 引言

根据2022年11月 第5届ZKProof Workshop Keynote: ZKP Languages - Where We Are Now - Kobi Gurkan (Geometry)有:
在这里插入图片描述

以下内容主要摘自2021年10月视频 ZK HACK #1 - Introduction to Domain Specific Languages (DSLs) by Alex Ozdemir
在ZKP系统中,核心之一是将待证明的内容通过circuit language转换为电路:
在这里插入图片描述
当前的电路编程语言主要有:
在这里插入图片描述
当前的电路类型主要有:

  • 1)R1CS电路
  • 2)Plonk电路
  • 3)AIR电路

在这里插入图片描述
针对这些电路类型,相应的编程语言有:
在这里插入图片描述
基本的语言类型衍变路径为:

  • 底层库-》硬件描述语言-》高级编程语言

在这里插入图片描述
ZKP电路编程语言按语言类型分为:
在这里插入图片描述
可变变量特性是指:
在这里插入图片描述

根据是否支持可变变量特性,ZKP电路编程语言分为:
在这里插入图片描述
原语类型特性定义为:
在这里插入图片描述
电路编程语言的原语类型特性有:

  • 1)Field原语
  • 2)Bool原语
  • 3)Machine Integers原语

相应的分类为:
在这里插入图片描述
if-条件分支特性是指:
在这里插入图片描述
根据是否支持if-条件分支特性,分为:
在这里插入图片描述
用户自定义结构体特性是指:
在这里插入图片描述
根据所支持的用户自定义结构体类型,分为:
在这里插入图片描述
数组特性是指:
在这里插入图片描述
根据支持数组特性的情况,分为:
在这里插入图片描述
电路编程语言的未来展望为:

参考资料

[1] 2021年10月视频 ZK HACK #1 - Introduction to Domain Specific Languages (DSLs) by Alex Ozdemir
[2] A Taxonomy of Circuit Languages
[3] 2022年6月视频 Programming Languages in ZKP

  • 0
    点赞
  • 2
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值