Versions in this module Expand all Collapse all v0 v0.0.4 Jul 30, 2019 Changes in this version + var Utils = prepareUtils() + func VerifyProof(vk Vk, proof Proof, publicSignals []*big.Int, debug bool) bool + type Pk struct + A [][3]*big.Int + Ap [][3]*big.Int + B [][3][2]*big.Int + Bp [][3]*big.Int + C [][3]*big.Int + Cp [][3]*big.Int + G1T [][3]*big.Int + Kp [][3]*big.Int + Z []*big.Int + type Proof struct + PiA [3]*big.Int + PiAp [3]*big.Int + PiB [3][2]*big.Int + PiBp [3]*big.Int + PiC [3]*big.Int + PiCp [3]*big.Int + PiH [3]*big.Int + PiKp [3]*big.Int + func GenerateProofs(circuit circuitcompiler.Circuit, pk Pk, w []*big.Int, px []*big.Int) (Proof, error) + type Setup struct + Pk Pk + Toxic struct{ ... } + Vk Vk + func GenerateTrustedSetup(witnessLength int, circuit circuitcompiler.Circuit, ...) (Setup, error) + type Vk struct + G1Kbg [3]*big.Int + G2Kbg [3][2]*big.Int + G2Kg [3][2]*big.Int + IC [][3]*big.Int + Vka [3][2]*big.Int + Vkb [3]*big.Int + Vkc [3][2]*big.Int + Vkz [3][2]*big.Int
Go to main page