前期准备安装 [[basic#go]]安装 gnarkgo get github.com/consensys/gnark@latest新建项目mkdir quick-start cd quick-start go mod init quickstart touch main.go一个简单电路// 定义一个简单的电路结构 type SimpleCircuit struct { X frontend.Variable `gnark:"x"` // 输入变量 X Y frontend.Variable `gnark:",public"` // 公共输出变量 Y } // 定义电路的逻辑：Y = X^3 + X + 5 func (sc *SimpleCircuit) Define(api frontend.API) error { // 计算 X 的立方 x3 := api.Mul(sc.X, sc.X, sc.X) // 计算 Y 的值 res := api.Add(x3, sc.X, 5) // 断言 Y 等于计算结果 api.AssertIsEqual(sc.Y, res) re...

前期准备安装 [[basic#go]]安装 gnarkgo get github.com/consensys/gnark@latest新建项目mkdir quick-start cd quick-start go mod init quickstart touch main.go一个简单电路// 定义一个简单的电路结构 type SimpleCircuit struct { X frontend.Variable `gnark:"x"` // 输入变量 X Y frontend.Variable `gnark:",public"` // 公共输出变量 Y } // 定义电路的逻辑：Y = X^3 + X + 5 func (sc *SimpleCircuit) Define(api frontend.API) error { // 计算 X 的立方 x3 := api.Mul(sc.X, sc.X, sc.X) // 计算 Y 的值 res := api.Add(x3, sc.X, 5) // 断言 Y 等于计算结果 api.AssertIsEqual(sc.Y, res) re...