Lookup argument总览

1. 引言

详情参看Ingonyama团队Tomer 2023年论文《A Brief History of Lookup Arguments》。

Bootle等人2018年论文《Nearly linear-time zero-knowledge proofs for correct program execution》中首次提出了lookup协议,用于证明如下statement:
在这里插入图片描述
此处假设 m < N m<N m<N,且大多数情况下 m ≪ N m\ll N mN

可将lookup协议用于:

  • 1)range checks:如检查某数字 x x x的取值范围为 { 0 , ⋯   , N − 1 } \{0,\cdots,N-1\} {0,,N1},其中 N = 2 n N=2^n N=2n
  • 2)有限域函数:用于实现任意的有限域内函数运算。
  • 3)更好的XOR运算
  • 4)有限状态机

当前的Lookup argument方案主要有:

  • 1)Plookup
  • 2)cq
  • 3)Caulk
  • 4)Caulk+
  • 5)Flookup
  • 6)Baloo
  • 7)Semacaulk:a gas-efficient zero-knowledge set membership protocol
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值