@enclave-e3/contracts 0.1.11 → 0.1.13

package/dist/types/factories/contracts/verifier/DkgPkVerifier.sol/ZKTranscriptLib__factory.js

@@ -0,0 +1,422 @@
+import { Contract, ContractFactory, Interface } from "ethers";
+const _abi = [
+    {
+        "inputs": [
+            {
+                "components": [
+                    {
+                        "internalType": "Fr[16]",
+                        "name": "pairingPointObject",
+                        "type": "uint256[16]"
+                    },
+                    {
+                        "components": [
+                            {
+                                "internalType": "uint256",
+                                "name": "x",
+                                "type": "uint256"
+                            },
+                            {
+                                "internalType": "uint256",
+                                "name": "y",
+                                "type": "uint256"
+                            }
+                        ],
+                        "internalType": "struct Honk.G1Point",
+                        "name": "w1",
+                        "type": "tuple"
+                    },
+                    {
+                        "components": [
+                            {
+                                "internalType": "uint256",
+                                "name": "x",
+                                "type": "uint256"
+                            },
+                            {
+                                "internalType": "uint256",
+                                "name": "y",
+                                "type": "uint256"
+                            }
+                        ],
+                        "internalType": "struct Honk.G1Point",
+                        "name": "w2",
+                        "type": "tuple"
+                    },
+                    {
+                        "components": [
+                            {
+                                "internalType": "uint256",
+                                "name": "x",
+                                "type": "uint256"
+                            },
+                            {
+                                "internalType": "uint256",
+                                "name": "y",
+                                "type": "uint256"
+                            }
+                        ],
+                        "internalType": "struct Honk.G1Point",
+                        "name": "w3",
+                        "type": "tuple"
+                    },
+                    {
+                        "components": [
+                            {
+                                "internalType": "uint256",
+                                "name": "x",
+                                "type": "uint256"
+                            },
+                            {
+                                "internalType": "uint256",
+                                "name": "y",
+                                "type": "uint256"
+                            }
+                        ],
+                        "internalType": "struct Honk.G1Point",
+                        "name": "w4",
+                        "type": "tuple"
+                    },
+                    {
+                        "components": [
+                            {
+                                "internalType": "uint256",
+                                "name": "x",
+                                "type": "uint256"
+                            },
+                            {
+                                "internalType": "uint256",
+                                "name": "y",
+                                "type": "uint256"
+                            }
+                        ],
+                        "internalType": "struct Honk.G1Point",
+                        "name": "lookupReadCounts",
+                        "type": "tuple"
+                    },
+                    {
+                        "components": [
+                            {
+                                "internalType": "uint256",
+                                "name": "x",
+                                "type": "uint256"
+                            },
+                            {
+                                "internalType": "uint256",
+                                "name": "y",
+                                "type": "uint256"
+                            }
+                        ],
+                        "internalType": "struct Honk.G1Point",
+                        "name": "lookupReadTags",
+                        "type": "tuple"
+                    },
+                    {
+                        "components": [
+                            {
+                                "internalType": "uint256",
+                                "name": "x",
+                                "type": "uint256"
+                            },
+                            {
+                                "internalType": "uint256",
+                                "name": "y",
+                                "type": "uint256"
+                            }
+                        ],
+                        "internalType": "struct Honk.G1Point",
+                        "name": "lookupInverses",
+                        "type": "tuple"
+                    },
+                    {
+                        "components": [
+                            {
+                                "internalType": "uint256",
+                                "name": "x",
+                                "type": "uint256"
+                            },
+                            {
+                                "internalType": "uint256",
+                                "name": "y",
+                                "type": "uint256"
+                            }
+                        ],
+                        "internalType": "struct Honk.G1Point",
+                        "name": "zPerm",
+                        "type": "tuple"
+                    },
+                    {
+                        "components": [
+                            {
+                                "internalType": "uint256",
+                                "name": "x",
+                                "type": "uint256"
+                            },
+                            {
+                                "internalType": "uint256",
+                                "name": "y",
+                                "type": "uint256"
+                            }
+                        ],
+                        "internalType": "struct Honk.G1Point[3]",
+                        "name": "libraCommitments",
+                        "type": "tuple[3]"
+                    },
+                    {
+                        "internalType": "Fr",
+                        "name": "libraSum",
+                        "type": "uint256"
+                    },
+                    {
+                        "internalType": "Fr[9][28]",
+                        "name": "sumcheckUnivariates",
+                        "type": "uint256[9][28]"
+                    },
+                    {
+                        "internalType": "Fr[41]",
+                        "name": "sumcheckEvaluations",
+                        "type": "uint256[41]"
+                    },
+                    {
+                        "internalType": "Fr",
+                        "name": "libraEvaluation",
+                        "type": "uint256"
+                    },
+                    {
+                        "components": [
+                            {
+                                "internalType": "uint256",
+                                "name": "x",
+                                "type": "uint256"
+                            },
+                            {
+                                "internalType": "uint256",
+                                "name": "y",
+                                "type": "uint256"
+                            }
+                        ],
+                        "internalType": "struct Honk.G1Point",
+                        "name": "geminiMaskingPoly",
+                        "type": "tuple"
+                    },
+                    {
+                        "internalType": "Fr",
+                        "name": "geminiMaskingEval",
+                        "type": "uint256"
+                    },
+                    {
+                        "components": [
+                            {
+                                "internalType": "uint256",
+                                "name": "x",
+                                "type": "uint256"
+                            },
+                            {
+                                "internalType": "uint256",
+                                "name": "y",
+                                "type": "uint256"
+                            }
+                        ],
+                        "internalType": "struct Honk.G1Point[27]",
+                        "name": "geminiFoldComms",
+                        "type": "tuple[27]"
+                    },
+                    {
+                        "internalType": "Fr[28]",
+                        "name": "geminiAEvaluations",
+                        "type": "uint256[28]"
+                    },
+                    {
+                        "internalType": "Fr[4]",
+                        "name": "libraPolyEvals",
+                        "type": "uint256[4]"
+                    },
+                    {
+                        "components": [
+                            {
+                                "internalType": "uint256",
+                                "name": "x",
+                                "type": "uint256"
+                            },
+                            {
+                                "internalType": "uint256",
+                                "name": "y",
+                                "type": "uint256"
+                            }
+                        ],
+                        "internalType": "struct Honk.G1Point",
+                        "name": "shplonkQ",
+                        "type": "tuple"
+                    },
+                    {
+                        "components": [
+                            {
+                                "internalType": "uint256",
+                                "name": "x",
+                                "type": "uint256"
+                            },
+                            {
+                                "internalType": "uint256",
+                                "name": "y",
+                                "type": "uint256"
+                            }
+                        ],
+                        "internalType": "struct Honk.G1Point",
+                        "name": "kzgQuotient",
+                        "type": "tuple"
+                    }
+                ],
+                "internalType": "struct Honk.ZKProof",
+                "name": "proof",
+                "type": "tuple"
+            },
+            {
+                "internalType": "bytes32[]",
+                "name": "publicInputs",
+                "type": "bytes32[]"
+            },
+            {
+                "internalType": "uint256",
+                "name": "vkHash",
+                "type": "uint256"
+            },
+            {
+                "internalType": "uint256",
+                "name": "publicInputsSize",
+                "type": "uint256"
+            },
+            {
+                "internalType": "uint256",
+                "name": "logN",
+                "type": "uint256"
+            }
+        ],
+        "name": "generateTranscript",
+        "outputs": [
+            {
+                "components": [
+                    {
+                        "components": [
+                            {
+                                "internalType": "Fr",
+                                "name": "eta",
+                                "type": "uint256"
+                            },
+                            {
+                                "internalType": "Fr",
+                                "name": "etaTwo",
+                                "type": "uint256"
+                            },
+                            {
+                                "internalType": "Fr",
+                                "name": "etaThree",
+                                "type": "uint256"
+                            },
+                            {
+                                "internalType": "Fr",
+                                "name": "beta",
+                                "type": "uint256"
+                            },
+                            {
+                                "internalType": "Fr",
+                                "name": "gamma",
+                                "type": "uint256"
+                            },
+                            {
+                                "internalType": "Fr",
+                                "name": "publicInputsDelta",
+                                "type": "uint256"
+                            }
+                        ],
+                        "internalType": "struct Honk.RelationParameters",
+                        "name": "relationParameters",
+                        "type": "tuple"
+                    },
+                    {
+                        "internalType": "Fr[27]",
+                        "name": "alphas",
+                        "type": "uint256[27]"
+                    },
+                    {
+                        "internalType": "Fr[28]",
+                        "name": "gateChallenges",
+                        "type": "uint256[28]"
+                    },
+                    {
+                        "internalType": "Fr",
+                        "name": "libraChallenge",
+                        "type": "uint256"
+                    },
+                    {
+                        "internalType": "Fr[28]",
+                        "name": "sumCheckUChallenges",
+                        "type": "uint256[28]"
+                    },
+                    {
+                        "internalType": "Fr",
+                        "name": "rho",
+                        "type": "uint256"
+                    },
+                    {
+                        "internalType": "Fr",
+                        "name": "geminiR",
+                        "type": "uint256"
+                    },
+                    {
+                        "internalType": "Fr",
+                        "name": "shplonkNu",
+                        "type": "uint256"
+                    },
+                    {
+                        "internalType": "Fr",
+                        "name": "shplonkZ",
+                        "type": "uint256"
+                    },
+                    {
+                        "internalType": "Fr",
+                        "name": "publicInputsDelta",
+                        "type": "uint256"
+                    }
+                ],
+                "internalType": "struct ZKTranscript",
+                "name": "t",
+                "type": "tuple"
+            }
+        ],
+        "stateMutability": "pure",
+        "type": "function"
+    }
+];
+const _bytecode = "0x611709610034600b8282823980515f1a607314602857634e487b7160e01b5f525f60045260245ffd5b305f52607381538281f3fe7300000000000000000000000000000000000000003014608060405260043610610034575f3560e01c8063995bf45714610038575b5f5ffd5b61004b61004636600461121e565b610061565b6040516100589190611460565b60405180910390f35b610069610d80565b5f610078888888888886610128565b9083529050610087818961017c565b6020840191909152905061009b818461026b565b604084019190915290506100af8189610314565b606084019190915290506100c4888285610375565b608084019190915290506100d88882610444565b60a084019190915290506100ed888285610647565b60c084019190915290506101028882856107b9565b60e08401919091529050610116888261093b565b50610100830152509695505050505050565b610130610de5565b5f61013e8888888888610978565b60408601919091526020850191909152908352925061015d8389610c71565b6080850191909152606084019190915291989197509095505050505050565b610184610e15565b5f61018d610e34565b84815260e08401805151602080840191909152905181015160408084019190915261010086018051516060850152518201516080840152516101f0916101d591849101611535565b60405160208183030381529060405280519060200120610cfc565b91505f6101fc83610d22565b50808552905060015b6102116001601c61157c565b811015610261576102428561022760018461157c565b601b811061023757610237611521565b602002015183610d52565b8582601b811061025457610254611521565b6020020152600101610205565b5050509250929050565b610273610e52565b5f61028a846040516020016101d591815260200190565b935061029584610d22565b50825260015b8381101561030c576102ed836102b260018461157c565b601c81106102c2576102c2611521565b6020020151846102d360018561157c565b601c81106102e3576102e3611521565b6020020151610d52565b8382601c81106102ff576102ff611521565b602002015260010161029b565b509093915050565b5f5f61031e610e71565b84815261012084018051515160208084019190915290515181015160408084019190915261014086015160608401525161035e916101d59184910161158f565b915061036982610d22565b50959194509092505050565b61037d610e52565b5f805b8381101561043a57610390610e8f565b8581525f5b60098110156103f95787610160015183601c81106103b5576103b5611521565b602002015181600981106103cb576103cb611521565b6020020151826103dc8360016115c2565b600a81106103ec576103ec611521565b6020020152600101610395565b5061040e816040516020016101d591906115d5565b955061041986610d22565b508483601c811061042c5761042c611521565b602002015250600101610380565b5090949293505050565b5f5f61044e610eae565b83815260015b602981116104ab5761018086015161046d60018361157c565b6029811061047d5761047d611521565b602002015182826032811061049457610494611521565b6020020152806104a381611609565b915050610454565b856101a001518282603281106104c3576104c3611521565b60200201526104d36001826115c2565b61012087015160200151519091508282603281106104f3576104f3611521565b602002015261012086015160016020020151602001518282600161051791906115c2565b6032811061052757610527611521565b60200201526105376002826115c2565b610120870151604001515190915082826032811061055757610557611521565b602002015261012086015160026020020151602001518282600161057b91906115c2565b6032811061058b5761058b611521565b602002015261059b6002826115c2565b6101c0870151519091508282603281106105b7576105b7611521565b602002018181525050856101c0015160200151828260016105d891906115c2565b603281106105e8576105e8611521565b60200201526105f86002826115c2565b9050856101e0015182826032811061061257610612611521565b60200201818152505061062f826040516020016101d59190611621565b925061063a83610d22565b5096929550919350505050565b5f808061065560018561157c565b610660906002611655565b61066b9060016115c2565b6001600160401b0381111561068257610682610f09565b6040519080825280602002602001820160405280156106ab578160200160208202803683370190505b50905084815f815181106106c1576106c1611521565b60209081029190910101525f5b6106d960018661157c565b81101561078c5786610200015181601b81106106f7576106f7611521565b60200201515182610709836002611655565b6107149060016115c2565b8151811061072457610724611521565b60200260200101818152505086610200015181601b811061074757610747611521565b6020020151602001518282600261075e9190611655565b6107699060026115c2565b8151811061077957610779611521565b60209081029190910101526001016106ce565b506107a1816040516020016101d5919061166c565b91506107ac82610d22565b5096919550909350505050565b5f80806107c78460016115c2565b6107d29060046115c2565b6001600160401b038111156107e9576107e9610f09565b604051908082528060200260200182016040528015610812578160200160208202803683370190505b50905084815f8151811061082857610828611521565b602090810291909101015260015b8481116108925761022087015161084e60018361157c565b601c811061085e5761085e611521565b602002015182828151811061087557610875611521565b60209081029190910101528061088a81611609565b915050610836565b505f806108a08660016115c2565b90505b6108ae8660046115c2565b811161090d5787610240015182600481106108cb576108cb611521565b60200201518382815181106108e2576108e2611521565b6020908102919091010152816108f781611609565b925050808061090590611609565b9150506108a3565b50610922826040516020016101d5919061166c565b925061092d83610d22565b509792965091945050505050565b5f5f610945610ecd565b838152610260850180515160208084019190915290518101516040808401919091525161035e916101d591849101611696565b5f808080806109888660016115c2565b6109939060066115c2565b6001600160401b038111156109aa576109aa610f09565b6040519080825280602002602001820160405280156109d3578160200160208202803683370190505b509050865f1b815f815181106109eb576109eb611521565b60209081029190910101525f5b610a0360108861157c565b811015610a5457898982818110610a1c57610a1c611521565b9050602002013582826001610a3191906115c2565b81518110610a4157610a41611521565b60209081029190910101526001016109f8565b505f5b6010811015610ac5578a51610a7f908260108110610a7757610a77611521565b602002015190565b82826010610a8e8b60016115c2565b610a98919061157c565b610aa291906115c2565b81518110610ab257610ab2611521565b6020908102919091010152600101610a57565b5060208a01515181610ad88860016115c2565b81518110610ae857610ae8611521565b6020908102919091018101919091528a810151015181610b098860016115c2565b610b149060016115c2565b81518110610b2457610b24611521565b602090810291909101015260408a01515181610b418860016115c2565b610b4c9060026115c2565b81518110610b5c57610b5c611521565b60209081029190910181019190915260408b0151015181610b7e8860016115c2565b610b899060036115c2565b81518110610b9957610b99611521565b602090810291909101015260608a01515181610bb68860016115c2565b610bc19060046115c2565b81518110610bd157610bd1611521565b60209081029190910181019190915260608b0151015181610bf38860016115c2565b610bfe9060056115c2565b81518110610c0e57610c0e611521565b602002602001018181525050610c2e816040516020016101d5919061166c565b9150610c3982610d22565b6040805160208101869052929750909550610c5491016101d5565b9150610c5f82610d22565b50809350505095509550955095915050565b5f5f5f610c7c610eeb565b85815260a0858101805151602080850191909152905181015160408085019190915260c08089018051516060870152518301516080808701919091528901805151948601949094529251820151928401929092529051610ce2916101d5918491016116c9565b9150610ced82610d22565b90979096509194509092505050565b7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f0000001900690565b5f80826001600160801b038116608082901c610d3d82610cfc565b9450610d4881610cfc565b9350505050915091565b5f7f30644e72e131a029b85045b68181585d2833e84879b9709143e1f593f000000182840990505b92915050565b604051806101400160405280610d94610de5565b8152602001610da1610e15565b8152602001610dae610e52565b81526020015f8152602001610dc1610e52565b81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b6040518060c001604052805f81526020015f81526020015f81526020015f81526020015f81526020015f81525090565b604051806103600160405280601b906020820280368337509192915050565b6040518060a001604052806005906020820280368337509192915050565b604051806103800160405280601c906020820280368337509192915050565b60405180608001604052806004906020820280368337509192915050565b604051806101400160405280600a906020820280368337509192915050565b6040518061064001604052806032906020820280368337509192915050565b60405180606001604052806003906020820280368337509192915050565b6040518060e001604052806007906020820280368337509192915050565b634e487b7160e01b5f52604160045260245ffd5b6040516102a081016001600160401b0381118282101715610f4057610f40610f09565b60405290565b604051601f8201601f191681016001600160401b0381118282101715610f6e57610f6e610f09565b604052919050565b5f82601f830112610f85575f5ffd5b5f610200610f9281610f46565b915083018185821115610fa3575f5ffd5b845b82811015610fbd578035825260209182019101610fa5565b509195945050505050565b5f60408284031215610fd8575f5ffd5b604080519081016001600160401b0381118282101715610ffa57610ffa610f09565b604052823581526020928301359281019290925250919050565b5f82601f830112611023575f5ffd5b5f61102e6060610f46565b90508060c0840185811115611041575f5ffd5b845b81811015610fbd576110558782610fc8565b8352602090920191604001611043565b5f82601f830112611074575f5ffd5b61038061108081610f46565b905080611f80840185811115611094575f5ffd5b845b818110156110f85786601f8201126110ac575f5ffd5b5f6101206110b981610f46565b9150820181898211156110ca575f5ffd5b835b828110156110e45780358252602091820191016110cc565b505050845260209093019261012001611096565b509095945050505050565b5f82601f830112611112575f5ffd5b5f610520610f9281610f46565b5f82601f83011261112e575f5ffd5b5f61036061113b81610f46565b915050806106c0840185811115611150575f5ffd5b845b81811015610fbd576111648782610fc8565b8352602090920191604001611152565b5f82601f830112611183575f5ffd5b5f610380610f9281610f46565b5f82601f83011261119f575f5ffd5b5f6111aa6080610f46565b90508060808401858111156111bd575f5ffd5b845b81811015610fbd5780358352602092830192016111bf565b5f5f83601f8401126111e7575f5ffd5b5081356001600160401b038111156111fd575f5ffd5b6020830191508360208260051b8501011115611217575f5ffd5b9250929050565b5f5f5f5f5f5f8688036135c0811215611235575f5ffd5b613540811215611243575f5ffd5b5061124c610f1d565b6112568989610f76565b8152611266896102008a01610fc8565b6020820152611279896102408a01610fc8565b604082015261128c896102808a01610fc8565b606082015261129f896102c08a01610fc8565b60808201526112b2896103008a01610fc8565b60a08201526112c5896103408a01610fc8565b60c08201526112d8896103808a01610fc8565b60e08201526112eb896103c08a01610fc8565b6101008201526112ff896104008a01611014565b6101208201526104c088013561014082015261131f896104e08a01611065565b610160820152611333896124608a01611103565b6101808201526129808801356101a0820152611353896129a08a01610fc8565b6101c08201526129e08801356101e082015261137389612a008a0161111f565b610200820152611387896130c08a01611174565b61022082015261139b896134408a01611190565b6102408201526113af896134c08a01610fc8565b6102608201526113c3896135008a01610fc8565b61028082015295506135408701356001600160401b038111156113e4575f5ffd5b6113f089828a016111d7565b979a90995096976135608101359761358082013597506135a09091013595509350505050565b805f5b601b811015611438578151845260209384019390910190600101611419565b50505050565b805f5b601c811015611438578151845260209384019390910190600101611441565b8151805182526020808201519083015260408082015190830152606080820151908301526080808201519083015260a09081015190820152610be0810160208301516114af60c0840182611416565b5060408301516114c361042084018261143e565b5060608301516107a083015260808301516114e26107c084018261143e565b5060a0830151610b4083015260c0830151610b6083015260e0830151610b80830152610100830151610ba083015261012090920151610bc09091015290565b634e487b7160e01b5f52603260045260245ffd5b5f8183825b600581101561155957815183526020928301929091019060010161153a565b50505060a08201905092915050565b634e487b7160e01b5f52601160045260245ffd5b81810381811115610d7a57610d7a611568565b5f8183825b60048110156115b3578151835260209283019290910190600101611594565b50505060808201905092915050565b80820180821115610d7a57610d7a611568565b5f8183825b600a8110156115f95781518352602092830192909101906001016115da565b5050506101408201905092915050565b5f6001820161161a5761161a611568565b5060010190565b5f8183825b6032811015611645578151835260209283019290910190600101611626565b5050506106408201905092915050565b8082028115828204841417610d7a57610d7a611568565b81515f90829060208501835b82811015610fbd578151845260209384019390910190600101611678565b5f8183825b60038110156116ba57815183526020928301929091019060010161169b565b50505060608201905092915050565b5f8183825b60078110156116ed5781518352602092830192909101906001016116ce565b50505060e0820190509291505056fea164736f6c634300081c000a";
+const isSuperArgs = (xs) => xs.length > 1;
+export class ZKTranscriptLib__factory extends ContractFactory {
+    constructor(...args) {
+        if (isSuperArgs(args)) {
+            super(...args);
+        }
+        else {
+            super(_abi, _bytecode, args[0]);
+        }
+    }
+    getDeployTransaction(overrides) {
+        return super.getDeployTransaction(overrides || {});
+    }
+    ;
+    deploy(overrides) {
+        return super.deploy(overrides || {});
+    }
+    connect(runner) {
+        return super.connect(runner);
+    }
+    static bytecode = _bytecode;
+    static abi = _abi;
+    static createInterface() {
+        return new Interface(_abi);
+    }
+    attach(address) {
+        return super.attach(address);
+    }
+    static connect(address, runner) {
+        return new Contract(address, _abi, runner);
+    }
+}

package/dist/types/factories/contracts/verifier/DkgPkVerifier.sol/index.d.ts

@@ -0,0 +1,5 @@
+export { BaseZKHonkVerifier__factory } from './BaseZKHonkVerifier__factory.js';
+export { DkgPkVerifier__factory } from './DkgPkVerifier__factory.js';
+export { IVerifier__factory } from './IVerifier__factory.js';
+export { ZKTranscriptLib__factory } from './ZKTranscriptLib__factory.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/types/factories/contracts/verifier/DkgPkVerifier.sol/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../../types/factories/contracts/verifier/DkgPkVerifier.sol/index.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,2BAA2B,EAAE,MAAM,kCAAkC,CAAC;AAC/E,OAAO,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AACrE,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAC"}

package/dist/types/factories/contracts/verifier/DkgPkVerifier.sol/index.js

@@ -0,0 +1,7 @@
+/* Autogenerated file. Do not edit manually. */
+/* tslint:disable */
+/* eslint-disable */
+export { BaseZKHonkVerifier__factory } from './BaseZKHonkVerifier__factory.js';
+export { DkgPkVerifier__factory } from './DkgPkVerifier__factory.js';
+export { IVerifier__factory } from './IVerifier__factory.js';
+export { ZKTranscriptLib__factory } from './ZKTranscriptLib__factory.js';

package/dist/types/factories/contracts/verifier/index.d.ts

@@ -0,0 +1,2 @@
+export * as dkgPkVerifierSol from './DkgPkVerifier.sol/index.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/types/factories/contracts/verifier/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../types/factories/contracts/verifier/index.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,gBAAgB,MAAM,8BAA8B,CAAC"}

package/dist/types/factories/contracts/verifier/index.js

@@ -0,0 +1,4 @@
+/* Autogenerated file. Do not edit manually. */
+/* tslint:disable */
+/* eslint-disable */
+export * as dkgPkVerifierSol from './DkgPkVerifier.sol/index.js';

package/dist/types/index.d.ts

@@ -11,6 +11,8 @@ export type { ITransparentUpgradeableProxy } from './@openzeppelin/contracts/pro
 export { ITransparentUpgradeableProxy__factory } from './factories/@openzeppelin/contracts/proxy/transparent/TransparentUpgradeableProxy.sol/ITransparentUpgradeableProxy__factory.js';
 export type { TransparentUpgradeableProxy } from './@openzeppelin/contracts/proxy/transparent/TransparentUpgradeableProxy.sol/TransparentUpgradeableProxy.js';
 export { TransparentUpgradeableProxy__factory } from './factories/@openzeppelin/contracts/proxy/transparent/TransparentUpgradeableProxy.sol/TransparentUpgradeableProxy__factory.js';
+export type { E3RefundManager } from './contracts/E3RefundManager.js';
+export { E3RefundManager__factory } from './factories/contracts/E3RefundManager__factory.js';
 export type { Enclave } from './contracts/Enclave.js';
 export { Enclave__factory } from './factories/contracts/Enclave__factory.js';
 export type { IBondingRegistry } from './contracts/interfaces/IBondingRegistry.js';
@@ -23,6 +25,8 @@ export type { IDecryptionVerifier } from './contracts/interfaces/IDecryptionVeri
 export { IDecryptionVerifier__factory } from './factories/contracts/interfaces/IDecryptionVerifier__factory.js';
 export type { IE3Program } from './contracts/interfaces/IE3Program.js';
 export { IE3Program__factory } from './factories/contracts/interfaces/IE3Program__factory.js';
+export type { IE3RefundManager } from './contracts/interfaces/IE3RefundManager.js';
+export { IE3RefundManager__factory } from './factories/contracts/interfaces/IE3RefundManager__factory.js';
 export type { IEnclave } from './contracts/interfaces/IEnclave.js';
 export { IEnclave__factory } from './factories/contracts/interfaces/IEnclave__factory.js';
 export type { ISlashVerifier } from './contracts/interfaces/ISlashVerifier.js';
@@ -55,6 +59,14 @@ export type { EnclaveTicketToken } from './contracts/token/EnclaveTicketToken.js
 export { EnclaveTicketToken__factory } from './factories/contracts/token/EnclaveTicketToken__factory.js';
 export type { EnclaveToken } from './contracts/token/EnclaveToken.js';
 export { EnclaveToken__factory } from './factories/contracts/token/EnclaveToken__factory.js';
+export type { BaseZKHonkVerifier } from './contracts/verifier/DkgPkVerifier.sol/BaseZKHonkVerifier.js';
+export { BaseZKHonkVerifier__factory } from './factories/contracts/verifier/DkgPkVerifier.sol/BaseZKHonkVerifier__factory.js';
+export type { DkgPkVerifier } from './contracts/verifier/DkgPkVerifier.sol/DkgPkVerifier.js';
+export { DkgPkVerifier__factory } from './factories/contracts/verifier/DkgPkVerifier.sol/DkgPkVerifier__factory.js';
+export type { IVerifier } from './contracts/verifier/DkgPkVerifier.sol/IVerifier.js';
+export { IVerifier__factory } from './factories/contracts/verifier/DkgPkVerifier.sol/IVerifier__factory.js';
+export type { ZKTranscriptLib } from './contracts/verifier/DkgPkVerifier.sol/ZKTranscriptLib.js';
+export { ZKTranscriptLib__factory } from './factories/contracts/verifier/DkgPkVerifier.sol/ZKTranscriptLib__factory.js';
 export type { PoseidonT3 } from './poseidon-solidity/PoseidonT3.js';
 export { PoseidonT3__factory } from './factories/poseidon-solidity/PoseidonT3__factory.js';
 //# sourceMappingURL=index.d.ts.map

package/dist/types/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../types/index.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,KAAK,YAAY,MAAM,0BAA0B,CAAC;AAC9D,YAAY,EAAE,YAAY,EAAE,CAAC;AAC7B,OAAO,KAAK,KAAK,SAAS,MAAM,sBAAsB,CAAC;AACvD,YAAY,EAAE,SAAS,EAAE,CAAC;AAC1B,OAAO,KAAK,KAAK,gBAAgB,MAAM,8BAA8B,CAAC;AACtE,YAAY,EAAE,gBAAgB,EAAE,CAAC;AACjC,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,YAAY,EAAE,UAAU,EAAE,MAAM,2DAA2D,CAAC;AAC5F,OAAO,EAAE,mBAAmB,EAAE,MAAM,8EAA8E,CAAC;AACnH,YAAY,EAAE,4BAA4B,EAAE,MAAM,6GAA6G,CAAC;AAChK,OAAO,EAAE,qCAAqC,EAAE,MAAM,gIAAgI,CAAC;AACvL,YAAY,EAAE,2BAA2B,EAAE,MAAM,4GAA4G,CAAC;AAC9J,OAAO,EAAE,oCAAoC,EAAE,MAAM,+HAA+H,CAAC;AACrL,YAAY,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,gBAAgB,EAAE,MAAM,2CAA2C,CAAC;AAC7E,YAAY,EAAE,gBAAgB,EAAE,MAAM,4CAA4C,CAAC;AACnF,OAAO,EAAE,yBAAyB,EAAE,MAAM,+DAA+D,CAAC;AAC1G,YAAY,EAAE,mBAAmB,EAAE,MAAM,+CAA+C,CAAC;AACzF,OAAO,EAAE,4BAA4B,EAAE,MAAM,kEAAkE,CAAC;AAChH,YAAY,EAAE,gBAAgB,EAAE,MAAM,4CAA4C,CAAC;AACnF,OAAO,EAAE,yBAAyB,EAAE,MAAM,+DAA+D,CAAC;AAC1G,YAAY,EAAE,mBAAmB,EAAE,MAAM,+CAA+C,CAAC;AACzF,OAAO,EAAE,4BAA4B,EAAE,MAAM,kEAAkE,CAAC;AAChH,YAAY,EAAE,UAAU,EAAE,MAAM,sCAAsC,CAAC;AACvE,OAAO,EAAE,mBAAmB,EAAE,MAAM,yDAAyD,CAAC;AAC9F,YAAY,EAAE,QAAQ,EAAE,MAAM,oCAAoC,CAAC;AACnE,OAAO,EAAE,iBAAiB,EAAE,MAAM,uDAAuD,CAAC;AAC1F,YAAY,EAAE,cAAc,EAAE,MAAM,0CAA0C,CAAC;AAC/E,OAAO,EAAE,uBAAuB,EAAE,MAAM,6DAA6D,CAAC;AACtG,YAAY,EAAE,gBAAgB,EAAE,MAAM,4CAA4C,CAAC;AACnF,OAAO,EAAE,yBAAyB,EAAE,MAAM,+DAA+D,CAAC;AAC1G,YAAY,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,oDAAoD,CAAC;AAC3F,YAAY,EAAE,eAAe,EAAE,MAAM,yCAAyC,CAAC;AAC/E,OAAO,EAAE,wBAAwB,EAAE,MAAM,4DAA4D,CAAC;AACtG,YAAY,EAAE,yBAAyB,EAAE,MAAM,mDAAmD,CAAC;AACnG,OAAO,EAAE,kCAAkC,EAAE,MAAM,sEAAsE,CAAC;AAC1H,YAAY,EAAE,eAAe,EAAE,MAAM,yCAAyC,CAAC;AAC/E,OAAO,EAAE,wBAAwB,EAAE,MAAM,4DAA4D,CAAC;AACtG,YAAY,EAAE,sBAAsB,EAAE,MAAM,uEAAuE,CAAC;AACpH,OAAO,EAAE,+BAA+B,EAAE,MAAM,0FAA0F,CAAC;AAC3I,YAAY,EAAE,8BAA8B,EAAE,MAAM,+EAA+E,CAAC;AACpI,OAAO,EAAE,uCAAuC,EAAE,MAAM,kGAAkG,CAAC;AAC3J,YAAY,EAAE,mBAAmB,EAAE,MAAM,yCAAyC,CAAC;AACnF,OAAO,EAAE,4BAA4B,EAAE,MAAM,4DAA4D,CAAC;AAC1G,YAAY,EAAE,sBAAsB,EAAE,MAAM,4CAA4C,CAAC;AACzF,OAAO,EAAE,+BAA+B,EAAE,MAAM,+DAA+D,CAAC;AAChH,YAAY,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,sBAAsB,EAAE,MAAM,sDAAsD,CAAC;AAC9F,YAAY,EAAE,oBAAoB,EAAE,MAAM,0CAA0C,CAAC;AACrF,OAAO,EAAE,6BAA6B,EAAE,MAAM,6DAA6D,CAAC;AAC5G,YAAY,EAAE,QAAQ,EAAE,MAAM,kDAAkD,CAAC;AACjF,OAAO,EAAE,iBAAiB,EAAE,MAAM,qEAAqE,CAAC;AACxG,YAAY,EAAE,kBAAkB,EAAE,MAAM,yCAAyC,CAAC;AAClF,OAAO,EAAE,2BAA2B,EAAE,MAAM,4DAA4D,CAAC;AACzG,YAAY,EAAE,YAAY,EAAE,MAAM,mCAAmC,CAAC;AACtE,OAAO,EAAE,qBAAqB,EAAE,MAAM,sDAAsD,CAAC;AAC7F,YAAY,EAAE,UAAU,EAAE,MAAM,mCAAmC,CAAC;AACpE,OAAO,EAAE,mBAAmB,EAAE,MAAM,sDAAsD,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../types/index.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,KAAK,YAAY,MAAM,0BAA0B,CAAC;AAC9D,YAAY,EAAE,YAAY,EAAE,CAAC;AAC7B,OAAO,KAAK,KAAK,SAAS,MAAM,sBAAsB,CAAC;AACvD,YAAY,EAAE,SAAS,EAAE,CAAC;AAC1B,OAAO,KAAK,KAAK,gBAAgB,MAAM,8BAA8B,CAAC;AACtE,YAAY,EAAE,gBAAgB,EAAE,CAAC;AACjC,OAAO,KAAK,SAAS,MAAM,sBAAsB,CAAC;AAClD,YAAY,EAAE,UAAU,EAAE,MAAM,2DAA2D,CAAC;AAC5F,OAAO,EAAE,mBAAmB,EAAE,MAAM,8EAA8E,CAAC;AACnH,YAAY,EAAE,4BAA4B,EAAE,MAAM,6GAA6G,CAAC;AAChK,OAAO,EAAE,qCAAqC,EAAE,MAAM,gIAAgI,CAAC;AACvL,YAAY,EAAE,2BAA2B,EAAE,MAAM,4GAA4G,CAAC;AAC9J,OAAO,EAAE,oCAAoC,EAAE,MAAM,+HAA+H,CAAC;AACrL,YAAY,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACtE,OAAO,EAAE,wBAAwB,EAAE,MAAM,mDAAmD,CAAC;AAC7F,YAAY,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAAE,gBAAgB,EAAE,MAAM,2CAA2C,CAAC;AAC7E,YAAY,EAAE,gBAAgB,EAAE,MAAM,4CAA4C,CAAC;AACnF,OAAO,EAAE,yBAAyB,EAAE,MAAM,+DAA+D,CAAC;AAC1G,YAAY,EAAE,mBAAmB,EAAE,MAAM,+CAA+C,CAAC;AACzF,OAAO,EAAE,4BAA4B,EAAE,MAAM,kEAAkE,CAAC;AAChH,YAAY,EAAE,gBAAgB,EAAE,MAAM,4CAA4C,CAAC;AACnF,OAAO,EAAE,yBAAyB,EAAE,MAAM,+DAA+D,CAAC;AAC1G,YAAY,EAAE,mBAAmB,EAAE,MAAM,+CAA+C,CAAC;AACzF,OAAO,EAAE,4BAA4B,EAAE,MAAM,kEAAkE,CAAC;AAChH,YAAY,EAAE,UAAU,EAAE,MAAM,sCAAsC,CAAC;AACvE,OAAO,EAAE,mBAAmB,EAAE,MAAM,yDAAyD,CAAC;AAC9F,YAAY,EAAE,gBAAgB,EAAE,MAAM,4CAA4C,CAAC;AACnF,OAAO,EAAE,yBAAyB,EAAE,MAAM,+DAA+D,CAAC;AAC1G,YAAY,EAAE,QAAQ,EAAE,MAAM,oCAAoC,CAAC;AACnE,OAAO,EAAE,iBAAiB,EAAE,MAAM,uDAAuD,CAAC;AAC1F,YAAY,EAAE,cAAc,EAAE,MAAM,0CAA0C,CAAC;AAC/E,OAAO,EAAE,uBAAuB,EAAE,MAAM,6DAA6D,CAAC;AACtG,YAAY,EAAE,gBAAgB,EAAE,MAAM,4CAA4C,CAAC;AACnF,OAAO,EAAE,yBAAyB,EAAE,MAAM,+DAA+D,CAAC;AAC1G,YAAY,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AACpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,oDAAoD,CAAC;AAC3F,YAAY,EAAE,eAAe,EAAE,MAAM,yCAAyC,CAAC;AAC/E,OAAO,EAAE,wBAAwB,EAAE,MAAM,4DAA4D,CAAC;AACtG,YAAY,EAAE,yBAAyB,EAAE,MAAM,mDAAmD,CAAC;AACnG,OAAO,EAAE,kCAAkC,EAAE,MAAM,sEAAsE,CAAC;AAC1H,YAAY,EAAE,eAAe,EAAE,MAAM,yCAAyC,CAAC;AAC/E,OAAO,EAAE,wBAAwB,EAAE,MAAM,4DAA4D,CAAC;AACtG,YAAY,EAAE,sBAAsB,EAAE,MAAM,uEAAuE,CAAC;AACpH,OAAO,EAAE,+BAA+B,EAAE,MAAM,0FAA0F,CAAC;AAC3I,YAAY,EAAE,8BAA8B,EAAE,MAAM,+EAA+E,CAAC;AACpI,OAAO,EAAE,uCAAuC,EAAE,MAAM,kGAAkG,CAAC;AAC3J,YAAY,EAAE,mBAAmB,EAAE,MAAM,yCAAyC,CAAC;AACnF,OAAO,EAAE,4BAA4B,EAAE,MAAM,4DAA4D,CAAC;AAC1G,YAAY,EAAE,sBAAsB,EAAE,MAAM,4CAA4C,CAAC;AACzF,OAAO,EAAE,+BAA+B,EAAE,MAAM,+DAA+D,CAAC;AAChH,YAAY,EAAE,aAAa,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAE,sBAAsB,EAAE,MAAM,sDAAsD,CAAC;AAC9F,YAAY,EAAE,oBAAoB,EAAE,MAAM,0CAA0C,CAAC;AACrF,OAAO,EAAE,6BAA6B,EAAE,MAAM,6DAA6D,CAAC;AAC5G,YAAY,EAAE,QAAQ,EAAE,MAAM,kDAAkD,CAAC;AACjF,OAAO,EAAE,iBAAiB,EAAE,MAAM,qEAAqE,CAAC;AACxG,YAAY,EAAE,kBAAkB,EAAE,MAAM,yCAAyC,CAAC;AAClF,OAAO,EAAE,2BAA2B,EAAE,MAAM,4DAA4D,CAAC;AACzG,YAAY,EAAE,YAAY,EAAE,MAAM,mCAAmC,CAAC;AACtE,OAAO,EAAE,qBAAqB,EAAE,MAAM,sDAAsD,CAAC;AAC7F,YAAY,EAAE,kBAAkB,EAAE,MAAM,8DAA8D,CAAC;AACvG,OAAO,EAAE,2BAA2B,EAAE,MAAM,iFAAiF,CAAC;AAC9H,YAAY,EAAE,aAAa,EAAE,MAAM,yDAAyD,CAAC;AAC7F,OAAO,EAAE,sBAAsB,EAAE,MAAM,4EAA4E,CAAC;AACpH,YAAY,EAAE,SAAS,EAAE,MAAM,qDAAqD,CAAC;AACrF,OAAO,EAAE,kBAAkB,EAAE,MAAM,wEAAwE,CAAC;AAC5G,YAAY,EAAE,eAAe,EAAE,MAAM,2DAA2D,CAAC;AACjG,OAAO,EAAE,wBAAwB,EAAE,MAAM,8EAA8E,CAAC;AACxH,YAAY,EAAE,UAAU,EAAE,MAAM,mCAAmC,CAAC;AACpE,OAAO,EAAE,mBAAmB,EAAE,MAAM,sDAAsD,CAAC"}

package/dist/types/index.js

@@ -2,12 +2,14 @@ export * as factories from './factories/index.js';
 export { ProxyAdmin__factory } from './factories/@openzeppelin/contracts/proxy/transparent/ProxyAdmin__factory.js';
 export { ITransparentUpgradeableProxy__factory } from './factories/@openzeppelin/contracts/proxy/transparent/TransparentUpgradeableProxy.sol/ITransparentUpgradeableProxy__factory.js';
 export { TransparentUpgradeableProxy__factory } from './factories/@openzeppelin/contracts/proxy/transparent/TransparentUpgradeableProxy.sol/TransparentUpgradeableProxy__factory.js';
+export { E3RefundManager__factory } from './factories/contracts/E3RefundManager__factory.js';
 export { Enclave__factory } from './factories/contracts/Enclave__factory.js';
 export { IBondingRegistry__factory } from './factories/contracts/interfaces/IBondingRegistry__factory.js';
 export { ICiphernodeRegistry__factory } from './factories/contracts/interfaces/ICiphernodeRegistry__factory.js';
 export { IComputeProvider__factory } from './factories/contracts/interfaces/IComputeProvider__factory.js';
 export { IDecryptionVerifier__factory } from './factories/contracts/interfaces/IDecryptionVerifier__factory.js';
 export { IE3Program__factory } from './factories/contracts/interfaces/IE3Program__factory.js';
+export { IE3RefundManager__factory } from './factories/contracts/interfaces/IE3RefundManager__factory.js';
 export { IEnclave__factory } from './factories/contracts/interfaces/IEnclave__factory.js';
 export { ISlashVerifier__factory } from './factories/contracts/interfaces/ISlashVerifier__factory.js';
 export { ISlashingManager__factory } from './factories/contracts/interfaces/ISlashingManager__factory.js';
@@ -24,4 +26,8 @@ export { MockSlashingVerifier__factory } from './factories/contracts/test/MockSl
 export { MockUSDC__factory } from './factories/contracts/test/MockStableToken.sol/MockUSDC__factory.js';
 export { EnclaveTicketToken__factory } from './factories/contracts/token/EnclaveTicketToken__factory.js';
 export { EnclaveToken__factory } from './factories/contracts/token/EnclaveToken__factory.js';
+export { BaseZKHonkVerifier__factory } from './factories/contracts/verifier/DkgPkVerifier.sol/BaseZKHonkVerifier__factory.js';
+export { DkgPkVerifier__factory } from './factories/contracts/verifier/DkgPkVerifier.sol/DkgPkVerifier__factory.js';
+export { IVerifier__factory } from './factories/contracts/verifier/DkgPkVerifier.sol/IVerifier__factory.js';
+export { ZKTranscriptLib__factory } from './factories/contracts/verifier/DkgPkVerifier.sol/ZKTranscriptLib__factory.js';
 export { PoseidonT3__factory } from './factories/poseidon-solidity/PoseidonT3__factory.js';

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@enclave-e3/contracts",
   "description": "Enclave is an open-source protocol for Encrypted Execution Environments (E3).",
-  "version": "0.1.11",
+  "version": "0.1.13",
   "license": "LGPL-3.0-only",
   "type": "module",
   "author": {
@@ -24,6 +24,16 @@
         "default": "./dist/tasks/ciphernode.js"
       }
     },
+    "./tasks/program": {
+      "import": {
+        "types": "./dist/tasks/program.d.ts",
+        "default": "./dist/tasks/program.js"
+      },
+      "require": {
+        "types": "./dist/tasks/program.d.ts",
+        "default": "./dist/tasks/program.js"
+      }
+    },
     "./tasks/enclave": {
       "import": {
         "types": "./dist/tasks/enclave.d.ts",
@@ -78,7 +88,7 @@
     }
   },
   "devDependencies": {
-    "@enclave-e3/config": "^0.1.11",
+    "@enclave-e3/config": "^0.1.13",
     "@nomicfoundation/hardhat-ethers": "4",
     "@nomicfoundation/hardhat-ethers-chai-matchers": "^3.0.0",
     "@nomicfoundation/hardhat-ignition": "^3.0.0",
@@ -149,6 +159,7 @@
     "coverage": "pnpm test --coverage",
     "deploy": "hardhat run scripts/run.ts",
     "deploy:mocks": "export DEPLOY_MOCKS=true && pnpm clean:deployments && pnpm run deploy",
+    "deploy:verifiers": "hardhat run scripts/deployVerifiers.ts",
     "upgrade:enclave": "hardhat run scripts/upgrade/enclave.ts",
     "upgrade:bondingRegistry": "hardhat run scripts/upgrade/bondingRegistry.ts",
     "upgrade:ciphernodeRegistryOwnable": "hardhat run scripts/upgrade/ciphernodeRegistryOwnable.ts",
@@ -166,7 +177,10 @@
     "test": "hardhat test mocha",
     "test:report-gas": "REPORT_GAS=true hardhat test mocha",
     "test:enclave": "pnpm run test test/Enclave.spec.ts",
-    "test:ciphernodeRegistry": "pnpm run test test/CiphernodeRegistry/CiphernodeRegistryOwnable.spec.ts",
+    "test:ciphernodeRegistry": "pnpm run test test/Registry/CiphernodeRegistryOwnable.spec.ts",
+    "test:bondingRegistry": "pnpm run test test/Registry/BondingRegistry.spec.ts",
+    "test:integration": "pnpm run test test/E3Lifecycle/E3Integration.spec.ts",
+    "test:slashing": "pnpm run test test/Slashing/SlashingManager.spec.ts",
     "prerelease": "pnpm clean && pnpm compile && pnpm typechain",
     "release": "pnpm publish",
     "verify:contracts": "hardhat run scripts/runVerification.ts",