零知识证明框架:gnark

一. zkSNARKs的一般构造流程

首先将一个NP问题拍平(Flatten)构成电路(若干个乘法门/加法门构成),在电路的基础上构造约束,也就是R1CS,有了约束就可以把NP问题抽象成QAP问题。有了QAP问题的描述,就可以在QAP上构建zkSNARKs。

在这里插入图片描述

二. gnark

gnark是consenSys开发的一个zkSARNK实现,采用Go语言,目前支持groth16,github地址:https://github.com/ConsenSys/gnark

下面以prover证明知道一个哈希函数的原像为例介绍gnark,在证明过程中prover不会泄露原像,如哈希值16130099170765464552823636852555369511329944820189892919423002775646948828469 的原像为35,此处使用的是MIMC哈希函数,MIMC哈希算法对电路友好

  1. 下载gnark依赖
go get github.com/consensys/gnark@v0.4.0
  1. 定义电路:
type Circuit struct {
	PreImage frontend.Variable
	Hash     frontend.Variable `gnark:",public"`    //"public"表示该变量是一个公开变量,"-"表示默认该在电路编译时将忽略此变量,默认是"secret"
}

func (circuit *Circuit) Define(curveID ecc.ID, cs *frontend.ConstraintSystem) error {    
	mimc, _:= mimc.NewMiMC("seed", curveID) 
	cs.AssertIsEqual(circuit.Hash, mimc.Hash(cs, circuit.PreImage))
	return nil
}
  1. 电路转化成 R1CS
var cubicCircuit Circuit   
r1cs, err := frontend.Compile(ecc.BN254, backend.GROTH16, &cubicCircuit)   //将Circuit电路装换成R1CS
  1. 生成prover key 和verifier key
pk, vk, err := groth16.Setup(r1cs)
  1. prover 生成 proof
var witness Circuit
witness.PreImage.Assign(35)
witness.Hash.Assign("16130099170765464552823636852555369511329944820189892919423002775646948828469")
proof, err := groth16.Prove(r1cs, pk, &witness)
  1. verifier进行验证
var publicWitness Circuit
publicWitness.Hash.Assign("16130099170765464552823636852555369511329944820189892919423002775646948828469")
err := groth16.Verify(proof, vk, &publicWitness)
  • 1
    点赞
  • 7
    收藏
    觉得还不错? 一键收藏
  • 5
    评论
评论 5
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值