zkverifyjs
Version:
Submit proofs to zkVerify and query proof state with ease using our npm package.
171 lines • 4.16 kB
JavaScript
import { FflonkProcessor, Groth16Processor, Plonky2Processor, Risc0Processor, SP1Processor, UltraHonkProcessor, UltraPlonkProcessor } from "../proofTypes/index.js";
export const CHAIN_SS58_PREFIX = 251; // zkVerify specific address format
export var SupportedNetwork;
(function (SupportedNetwork) {
SupportedNetwork["Volta"] = "Volta";
SupportedNetwork["Custom"] = "Custom";
// ADD_NEW_SUPPORTED_NETWORK
})(SupportedNetwork || (SupportedNetwork = {}));
export const SupportedNetworkConfig = {
[]: {
host: SupportedNetwork.Volta,
websocket: 'wss://volta-rpc.zkverify.io',
rpc: 'https://volta-rpc.zkverify.io'
},
// ADD_NEW_SUPPORTED_NETWORK
[]: {
host: SupportedNetwork.Custom,
websocket: '',
rpc: ''
}
};
export var ProofType;
(function (ProofType) {
ProofType["fflonk"] = "fflonk";
ProofType["groth16"] = "groth16";
ProofType["plonky2"] = "plonky2";
ProofType["risc0"] = "risc0";
ProofType["sp1"] = "sp1";
ProofType["ultrahonk"] = "ultrahonk";
ProofType["ultraplonk"] = "ultraplonk";
// ADD_NEW_PROOF_TYPE
})(ProofType || (ProofType = {}));
export const proofConfigurations = {
[]: {
pallet: 'settlementFFlonkPallet',
processor: FflonkProcessor
},
[]: {
pallet: 'settlementGroth16Pallet',
processor: Groth16Processor
},
[]: {
pallet: 'settlementRisc0Pallet',
processor: Risc0Processor
},
[]: {
pallet: 'settlementUltraplonkPallet',
processor: UltraPlonkProcessor
},
[]: {
pallet: 'settlementPlonky2Pallet',
processor: Plonky2Processor
},
[]: {
pallet: 'settlementSp1Pallet',
processor: SP1Processor
},
[]: {
pallet: 'settlementUltrahonkPallet',
processor: UltraHonkProcessor
}
// ADD_NEW_PROOF_TYPE - configurations
};
// ADD_NEW_PROOF_TYPE - options if needed.
export const zkvTypes = {
MerkleProof: {
root: 'H256',
proof: 'Vec<H256>',
number_of_leaves: 'u32',
leaf_index: 'u32',
leaf: 'H256'
},
Curve: {
_enum: ['Bn254', 'Bls12_381']
},
Groth16Vk: {
curve: 'Curve',
alphaG1: 'Bytes',
betaG2: 'Bytes',
gammaG2: 'Bytes',
deltaG2: 'Bytes',
gammaAbcG1: 'Vec<Bytes>'
},
Plonky2Config: {
_enum: ['Keccak', 'Poseidon']
},
Plonky2Vk: {
config: 'Plonky2Config',
bytes: 'Bytes'
}
};
export const zkvRpc = {
aggregate: {
statementPath: {
description: 'Get the Merkle root and path of a aggregate statement',
params: [{
name: 'at',
type: 'BlockHash'
}, {
name: 'domain_id',
type: 'u32'
}, {
name: 'aggregation_id',
type: 'u64'
}, {
name: 'statement',
type: 'H256'
}],
type: 'MerkleProof'
}
},
vk_hash: {
groth16: {
description: 'Get the hash of a Groth16 verification key',
params: [{
name: 'vk',
type: 'Groth16Vk'
}],
type: 'H256'
},
plonky2: {
description: 'Get the hash of a Plonky2 verification key',
params: [{
name: 'vk',
type: 'Plonky2Vk'
}],
type: 'H256'
},
risc0: {
description: 'Get the hash of a Risc0 verification key',
params: [{
name: 'vk',
type: 'H256'
}],
type: 'H256'
},
ultraplonk: {
description: 'Get the hash of an UltraPLONK verification key',
params: [{
name: 'vk',
type: 'Bytes'
}],
type: 'H256'
},
fflonk: {
description: 'Get the hash of a FFLONK verification key',
params: [{
name: 'vk',
type: 'Bytes'
}],
type: 'H256'
},
sp1: {
description: 'Get the hash of an SP1 verification key',
params: [{
name: 'vk',
type: 'H256'
}],
type: 'H256'
},
ultrahonk: {
description: 'Get the hash of an UltraHonk verification key',
params: [{
name: 'vk',
type: 'Bytes'
}],
type: 'H256'
}
// ADD_NEW_PROOF_TYPE
}
};