Package zkpbinding contains a set of helper functions aimed to generate and interact with Verifier smart contract written in Go and using Groth-16 proving system over BLS12-381 elliptic curve to verify proofs.

ConvertToParamType converts the provided value to the parameter type if it's a valid type.

CreateCallAndPrefetchIteratorScript creates a script that calls 'operation' method of the 'contract' with the specified arguments.

CreateCallAndUnwrapIteratorScript creates a script that calls 'operation' method of the 'contract' with the specified arguments.

CreateCallScript returns a script that calls contract's method with the specified parameters.

CreateCallWithAssertScript returns a script that calls contract's method with the specified parameters expecting a Boolean value to be return that then is used for ASSERT.

CreateDefaultMultiSigRedeemScript creates an "m out of n" type verification script using publicKeys length with the default BFT assumptions of (n - (n-1)/3) for m.

CreateMajorityMultiSigRedeemScript creates an "m out of n" type verification script using publicKeys length with m set to majority.

CreateMultiSigRedeemScript creates an "m out of n" type verification script where n is the length of publicKeys.

ExpandParameterToEmitable converts a parameter to a type which can be handled as an array item by emit.Array.

GetDefaultHonestNodeCount returns minimum number of honest nodes required for network of size n.

GetMajorityHonestNodeCount returns minimum number of honest nodes required for majority-style agreement.

NewBuilder creates a new Builder instance.

NewParameter returns a Parameter with a proper initialized Value of the given ParamType.

NewParameterFromString returns a new Parameter initialized from the given string in neo-go-specific format.

NewParameterFromValue infers Parameter type from the value given and adjusts the value if needed.

NewParametersFromValues is similar to NewParameterFromValue except that it works with multiple values and returns a simple slice of Parameter.

ParseParamType is a user-friendly string to ParamType converter, it's case-insensitive and makes the following conversions: signature -> SignatureType bool, boolean -> BoolType int, integer -> IntegerType hash160 -> Hash160Type hash256 -> Hash256Type bytes, bytearray, filebytes -> ByteArrayType key, publickey -> PublicKeyType string -> StringType array, struct -> ArrayType map -> MapType interopinterface -> InteropInterfaceType void -> VoidType anything else generates an error.

A list of supported smart contract parameter types.

A list of supported smart contract parameter types.

A list of supported smart contract parameter types.

A list of supported smart contract parameter types.

Lengths (in bytes) of fixed-size types.

A list of supported smart contract parameter types.

Lengths (in bytes) of fixed-size types.

A list of supported smart contract parameter types.

A list of supported smart contract parameter types.

A list of supported smart contract parameter types.

A list of supported smart contract parameter types.

Lengths (in bytes) of fixed-size types.

A list of supported smart contract parameter types.

Lengths (in bytes) of fixed-size types.

A list of supported smart contract parameter types.

A list of supported smart contract parameter types.

A list of supported smart contract parameter types.

A list of supported smart contract parameter types.

Builder is used to create arbitrary scripts from the set of methods it provides.

Parameter represents a smart contract parameter.

ParameterPair represents a key-value pair, a slice of which is stored in MapType Parameter.

Convertible is something that can be converted to Parameter.

ParamType represents the Type of the smart contract parameter.