@aztec/l1-artifacts 0.0.1-commit.3f296a7d2 → 0.0.1-commit.42ee6df9b
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dest/HonkVerifierBytecode.d.ts +2 -2
- package/dest/HonkVerifierBytecode.d.ts.map +1 -1
- package/dest/HonkVerifierBytecode.js +1 -1
- package/l1-contracts/cache/DeployAztecL1Contracts.s.sol/31337/run-1775470251600.json +100 -0
- package/l1-contracts/cache/DeployAztecL1Contracts.s.sol/31337/run-latest.json +100 -0
- package/l1-contracts/cache/DeployRollupForUpgrade.s.sol/31337/run-1775470253081.json +19 -0
- package/l1-contracts/cache/DeployRollupForUpgrade.s.sol/31337/run-latest.json +19 -0
- package/l1-contracts/cache/solidity-files-cache.json +1 -1
- package/l1-contracts/generated/HonkVerifier.sol +41 -41
- package/l1-contracts/out/DeployAztecL1Contracts.s.sol/DeployAztecL1Contracts.json +1 -1
- package/l1-contracts/out/DeployAztecL1Contracts.t.sol/DeployAztecL1ContractsTest.json +1 -1
- package/l1-contracts/out/DeployRollupForUpgrade.s.sol/DeployRollupForUpgrade.json +1 -1
- package/l1-contracts/out/DeployRollupForUpgrade.t.sol/DeployRollupForUpgradeTest.json +1 -1
- package/l1-contracts/out/DeployRollupLib.sol/DeployRollupLib.json +1 -1
- package/l1-contracts/out/HonkVerifier.sol/BaseHonkVerifier.json +1 -1
- package/l1-contracts/out/HonkVerifier.sol/CommitmentSchemeLib.json +1 -1
- package/l1-contracts/out/HonkVerifier.sol/Errors.json +1 -1
- package/l1-contracts/out/HonkVerifier.sol/FrLib.json +1 -1
- package/l1-contracts/out/HonkVerifier.sol/Honk.json +1 -1
- package/l1-contracts/out/HonkVerifier.sol/HonkVerificationKey.json +1 -1
- package/l1-contracts/out/HonkVerifier.sol/HonkVerifier.json +1 -1
- package/l1-contracts/out/HonkVerifier.sol/IVerifier.json +1 -1
- package/l1-contracts/out/HonkVerifier.sol/RelationsLib.json +1 -1
- package/l1-contracts/out/HonkVerifier.sol/TranscriptLib.json +1 -1
- package/l1-contracts/out/build-info/{220de66511cbb79e.json → d2dee0af1a6aa96b.json} +1 -1
- package/l1-contracts/out/build-info/{f6afa18785375412.json → ddc86ac99814d2e3.json} +1 -1
- package/l1-contracts/out/shouting.t.sol/ScreamAndShoutTest.json +1 -1
- package/l1-contracts/package.json +1 -1
- package/package.json +1 -1
|
@@ -1 +1 @@
|
|
|
1
|
-
{"abi":[{"type":"function","name":"verify","inputs":[{"name":"proof","type":"bytes","internalType":"bytes"},{"name":"publicInputs","type":"bytes32[]","internalType":"bytes32[]"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"view"},{"type":"error","name":"InvertOfZero","inputs":[]},{"type":"error","name":"PointAtInfinity","inputs":[]},{"type":"error","name":"ProofLengthWrongWithLogN","inputs":[{"name":"logN","type":"uint256","internalType":"uint256"},{"name":"actualLength","type":"uint256","internalType":"uint256"},{"name":"expectedLength","type":"uint256","internalType":"uint256"}]},{"type":"error","name":"PublicInputsLengthWrong","inputs":[]},{"type":"error","name":"ShpleminiFailed","inputs":[]},{"type":"error","name":"SumcheckFailed","inputs":[]},{"type":"error","name":"ValueGeFieldOrder","inputs":[]},{"type":"error","name":"ValueGeGroupOrder","inputs":[]},{"type":"error","name":"ValueGeLimbMax","inputs":[]}],"bytecode":{"object":"0x","sourceMap":"","linkReferences":{}},"deployedBytecode":{"object":"0x","sourceMap":"","linkReferences":{}},"methodIdentifiers":{"verify(bytes,bytes32[])":"ea50d0e4"},"rawMetadata":"{\"compiler\":{\"version\":\"0.8.30+commit.73712a01\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"inputs\":[],\"name\":\"InvertOfZero\",\"type\":\"error\"},{\"inputs\":[],\"name\":\"PointAtInfinity\",\"type\":\"error\"},{\"inputs\":[{\"internalType\":\"uint256\",\"name\":\"logN\",\"type\":\"uint256\"},{\"internalType\":\"uint256\",\"name\":\"actualLength\",\"type\":\"uint256\"},{\"internalType\":\"uint256\",\"name\":\"expectedLength\",\"type\":\"uint256\"}],\"name\":\"ProofLengthWrongWithLogN\",\"type\":\"error\"},{\"inputs\":[],\"name\":\"PublicInputsLengthWrong\",\"type\":\"error\"},{\"inputs\":[],\"name\":\"ShpleminiFailed\",\"type\":\"error\"},{\"inputs\":[],\"name\":\"SumcheckFailed\",\"type\":\"error\"},{\"inputs\":[],\"name\":\"ValueGeFieldOrder\",\"type\":\"error\"},{\"inputs\":[],\"name\":\"ValueGeGroupOrder\",\"type\":\"error\"},{\"inputs\":[],\"name\":\"ValueGeLimbMax\",\"type\":\"error\"},{\"inputs\":[{\"internalType\":\"bytes\",\"name\":\"proof\",\"type\":\"bytes\"},{\"internalType\":\"bytes32[]\",\"name\":\"publicInputs\",\"type\":\"bytes32[]\"}],\"name\":\"verify\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"view\",\"type\":\"function\"}],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"generated/HonkVerifier.sol\":\"BaseHonkVerifier\"},\"evmVersion\":\"prague\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":100},\"remappings\":[\":@aztec-blob-lib/=src/mock/libraries/\",\":@aztec/=src/\",\":@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/\",\":@oz/=lib/openzeppelin-contracts/contracts/\",\":@test/=test/\",\":@zkpassport-test/=lib/circuits/src/solidity/test/\",\":@zkpassport/=lib/circuits/src/solidity/src/\",\":circuits/=lib/circuits/src/\",\":erc4626-tests/=lib/openzeppelin-contracts/lib/erc4626-tests/\",\":forge-std/=lib/forge-std/src/\",\":halmos-cheatcodes/=lib/openzeppelin-contracts/lib/halmos-cheatcodes/src/\",\":openzeppelin-contracts/=lib/openzeppelin-contracts/\"]},\"sources\":{\"generated/HonkVerifier.sol\":{\"keccak256\":\"
|
|
1
|
+
{"abi":[{"type":"function","name":"verify","inputs":[{"name":"proof","type":"bytes","internalType":"bytes"},{"name":"publicInputs","type":"bytes32[]","internalType":"bytes32[]"}],"outputs":[{"name":"","type":"bool","internalType":"bool"}],"stateMutability":"view"},{"type":"error","name":"InvertOfZero","inputs":[]},{"type":"error","name":"PointAtInfinity","inputs":[]},{"type":"error","name":"ProofLengthWrongWithLogN","inputs":[{"name":"logN","type":"uint256","internalType":"uint256"},{"name":"actualLength","type":"uint256","internalType":"uint256"},{"name":"expectedLength","type":"uint256","internalType":"uint256"}]},{"type":"error","name":"PublicInputsLengthWrong","inputs":[]},{"type":"error","name":"ShpleminiFailed","inputs":[]},{"type":"error","name":"SumcheckFailed","inputs":[]},{"type":"error","name":"ValueGeFieldOrder","inputs":[]},{"type":"error","name":"ValueGeGroupOrder","inputs":[]},{"type":"error","name":"ValueGeLimbMax","inputs":[]}],"bytecode":{"object":"0x","sourceMap":"","linkReferences":{}},"deployedBytecode":{"object":"0x","sourceMap":"","linkReferences":{}},"methodIdentifiers":{"verify(bytes,bytes32[])":"ea50d0e4"},"rawMetadata":"{\"compiler\":{\"version\":\"0.8.30+commit.73712a01\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"inputs\":[],\"name\":\"InvertOfZero\",\"type\":\"error\"},{\"inputs\":[],\"name\":\"PointAtInfinity\",\"type\":\"error\"},{\"inputs\":[{\"internalType\":\"uint256\",\"name\":\"logN\",\"type\":\"uint256\"},{\"internalType\":\"uint256\",\"name\":\"actualLength\",\"type\":\"uint256\"},{\"internalType\":\"uint256\",\"name\":\"expectedLength\",\"type\":\"uint256\"}],\"name\":\"ProofLengthWrongWithLogN\",\"type\":\"error\"},{\"inputs\":[],\"name\":\"PublicInputsLengthWrong\",\"type\":\"error\"},{\"inputs\":[],\"name\":\"ShpleminiFailed\",\"type\":\"error\"},{\"inputs\":[],\"name\":\"SumcheckFailed\",\"type\":\"error\"},{\"inputs\":[],\"name\":\"ValueGeFieldOrder\",\"type\":\"error\"},{\"inputs\":[],\"name\":\"ValueGeGroupOrder\",\"type\":\"error\"},{\"inputs\":[],\"name\":\"ValueGeLimbMax\",\"type\":\"error\"},{\"inputs\":[{\"internalType\":\"bytes\",\"name\":\"proof\",\"type\":\"bytes\"},{\"internalType\":\"bytes32[]\",\"name\":\"publicInputs\",\"type\":\"bytes32[]\"}],\"name\":\"verify\",\"outputs\":[{\"internalType\":\"bool\",\"name\":\"\",\"type\":\"bool\"}],\"stateMutability\":\"view\",\"type\":\"function\"}],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"generated/HonkVerifier.sol\":\"BaseHonkVerifier\"},\"evmVersion\":\"prague\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":100},\"remappings\":[\":@aztec-blob-lib/=src/mock/libraries/\",\":@aztec/=src/\",\":@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/\",\":@oz/=lib/openzeppelin-contracts/contracts/\",\":@test/=test/\",\":@zkpassport-test/=lib/circuits/src/solidity/test/\",\":@zkpassport/=lib/circuits/src/solidity/src/\",\":circuits/=lib/circuits/src/\",\":erc4626-tests/=lib/openzeppelin-contracts/lib/erc4626-tests/\",\":forge-std/=lib/forge-std/src/\",\":halmos-cheatcodes/=lib/openzeppelin-contracts/lib/halmos-cheatcodes/src/\",\":openzeppelin-contracts/=lib/openzeppelin-contracts/\"]},\"sources\":{\"generated/HonkVerifier.sol\":{\"keccak256\":\"0x257e8a42b166ad649d25bf269c98cbbd65f67cb9c7b11fbddfd6a7b0f52751a4\",\"license\":\"Apache-2.0\",\"urls\":[\"bzz-raw://86d94b89f4174eaa84f3eea6e3c61687d37dd5ad4e8351984ee0356db27039c1\",\"dweb:/ipfs/QmTPcFN4wdK1gfJjuSTeH2Ewb6MRVMr5NiffrC6deWPopM\"]}},\"version\":1}","metadata":{"compiler":{"version":"0.8.30+commit.73712a01"},"language":"Solidity","output":{"abi":[{"inputs":[],"type":"error","name":"InvertOfZero"},{"inputs":[],"type":"error","name":"PointAtInfinity"},{"inputs":[{"internalType":"uint256","name":"logN","type":"uint256"},{"internalType":"uint256","name":"actualLength","type":"uint256"},{"internalType":"uint256","name":"expectedLength","type":"uint256"}],"type":"error","name":"ProofLengthWrongWithLogN"},{"inputs":[],"type":"error","name":"PublicInputsLengthWrong"},{"inputs":[],"type":"error","name":"ShpleminiFailed"},{"inputs":[],"type":"error","name":"SumcheckFailed"},{"inputs":[],"type":"error","name":"ValueGeFieldOrder"},{"inputs":[],"type":"error","name":"ValueGeGroupOrder"},{"inputs":[],"type":"error","name":"ValueGeLimbMax"},{"inputs":[{"internalType":"bytes","name":"proof","type":"bytes"},{"internalType":"bytes32[]","name":"publicInputs","type":"bytes32[]"}],"stateMutability":"view","type":"function","name":"verify","outputs":[{"internalType":"bool","name":"","type":"bool"}]}],"devdoc":{"kind":"dev","methods":{},"version":1},"userdoc":{"kind":"user","methods":{},"version":1}},"settings":{"remappings":["@aztec-blob-lib/=src/mock/libraries/","@aztec/=src/","@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/","@oz/=lib/openzeppelin-contracts/contracts/","@test/=test/","@zkpassport-test/=lib/circuits/src/solidity/test/","@zkpassport/=lib/circuits/src/solidity/src/","circuits/=lib/circuits/src/","erc4626-tests/=lib/openzeppelin-contracts/lib/erc4626-tests/","forge-std/=lib/forge-std/src/","halmos-cheatcodes/=lib/openzeppelin-contracts/lib/halmos-cheatcodes/src/","openzeppelin-contracts/=lib/openzeppelin-contracts/"],"optimizer":{"enabled":true,"runs":100},"metadata":{"bytecodeHash":"ipfs"},"compilationTarget":{"generated/HonkVerifier.sol":"BaseHonkVerifier"},"evmVersion":"prague","libraries":{}},"sources":{"generated/HonkVerifier.sol":{"keccak256":"0x257e8a42b166ad649d25bf269c98cbbd65f67cb9c7b11fbddfd6a7b0f52751a4","urls":["bzz-raw://86d94b89f4174eaa84f3eea6e3c61687d37dd5ad4e8351984ee0356db27039c1","dweb:/ipfs/QmTPcFN4wdK1gfJjuSTeH2Ewb6MRVMr5NiffrC6deWPopM"],"license":"Apache-2.0"}},"version":1},"id":0}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"abi":[],"bytecode":{"object":"
|
|
1
|
+
{"abi":[],"bytecode":{"object":"0x60556032600b8282823980515f1a607314602657634e487b7160e01b5f525f60045260245ffd5b305f52607381538281f3fe730000000000000000000000000000000000000000301460806040525f5ffdfea2646970667358221220cf07914f38a8f27192f9341a2e4894d4153fcc43970a4c9770ba9298f13cc11264736f6c634300081e0033","sourceMap":"61454:2380:0:-:0;;;;;;;;;;;;;;;-1:-1:-1;;;61454:2380:0;;;;;;;;;;;;;;;;;","linkReferences":{}},"deployedBytecode":{"object":"0x730000000000000000000000000000000000000000301460806040525f5ffdfea2646970667358221220cf07914f38a8f27192f9341a2e4894d4153fcc43970a4c9770ba9298f13cc11264736f6c634300081e0033","sourceMap":"61454:2380:0:-:0;;;;;;;;","linkReferences":{}},"methodIdentifiers":{},"rawMetadata":"{\"compiler\":{\"version\":\"0.8.30+commit.73712a01\"},\"language\":\"Solidity\",\"output\":{\"abi\":[],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"generated/HonkVerifier.sol\":\"CommitmentSchemeLib\"},\"evmVersion\":\"prague\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":100},\"remappings\":[\":@aztec-blob-lib/=src/mock/libraries/\",\":@aztec/=src/\",\":@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/\",\":@oz/=lib/openzeppelin-contracts/contracts/\",\":@test/=test/\",\":@zkpassport-test/=lib/circuits/src/solidity/test/\",\":@zkpassport/=lib/circuits/src/solidity/src/\",\":circuits/=lib/circuits/src/\",\":erc4626-tests/=lib/openzeppelin-contracts/lib/erc4626-tests/\",\":forge-std/=lib/forge-std/src/\",\":halmos-cheatcodes/=lib/openzeppelin-contracts/lib/halmos-cheatcodes/src/\",\":openzeppelin-contracts/=lib/openzeppelin-contracts/\"]},\"sources\":{\"generated/HonkVerifier.sol\":{\"keccak256\":\"0x257e8a42b166ad649d25bf269c98cbbd65f67cb9c7b11fbddfd6a7b0f52751a4\",\"license\":\"Apache-2.0\",\"urls\":[\"bzz-raw://86d94b89f4174eaa84f3eea6e3c61687d37dd5ad4e8351984ee0356db27039c1\",\"dweb:/ipfs/QmTPcFN4wdK1gfJjuSTeH2Ewb6MRVMr5NiffrC6deWPopM\"]}},\"version\":1}","metadata":{"compiler":{"version":"0.8.30+commit.73712a01"},"language":"Solidity","output":{"abi":[],"devdoc":{"kind":"dev","methods":{},"version":1},"userdoc":{"kind":"user","methods":{},"version":1}},"settings":{"remappings":["@aztec-blob-lib/=src/mock/libraries/","@aztec/=src/","@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/","@oz/=lib/openzeppelin-contracts/contracts/","@test/=test/","@zkpassport-test/=lib/circuits/src/solidity/test/","@zkpassport/=lib/circuits/src/solidity/src/","circuits/=lib/circuits/src/","erc4626-tests/=lib/openzeppelin-contracts/lib/erc4626-tests/","forge-std/=lib/forge-std/src/","halmos-cheatcodes/=lib/openzeppelin-contracts/lib/halmos-cheatcodes/src/","openzeppelin-contracts/=lib/openzeppelin-contracts/"],"optimizer":{"enabled":true,"runs":100},"metadata":{"bytecodeHash":"ipfs"},"compilationTarget":{"generated/HonkVerifier.sol":"CommitmentSchemeLib"},"evmVersion":"prague","libraries":{}},"sources":{"generated/HonkVerifier.sol":{"keccak256":"0x257e8a42b166ad649d25bf269c98cbbd65f67cb9c7b11fbddfd6a7b0f52751a4","urls":["bzz-raw://86d94b89f4174eaa84f3eea6e3c61687d37dd5ad4e8351984ee0356db27039c1","dweb:/ipfs/QmTPcFN4wdK1gfJjuSTeH2Ewb6MRVMr5NiffrC6deWPopM"],"license":"Apache-2.0"}},"version":1},"id":0}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"abi":[{"type":"error","name":"ConsistencyCheckFailed","inputs":[]},{"type":"error","name":"GeminiChallengeInSubgroup","inputs":[]},{"type":"error","name":"InvertOfZero","inputs":[]},{"type":"error","name":"ModExpFailed","inputs":[]},{"type":"error","name":"NotPowerOfTwo","inputs":[]},{"type":"error","name":"PointAtInfinity","inputs":[]},{"type":"error","name":"ProofLengthWrong","inputs":[]},{"type":"error","name":"ProofLengthWrongWithLogN","inputs":[{"name":"logN","type":"uint256","internalType":"uint256"},{"name":"actualLength","type":"uint256","internalType":"uint256"},{"name":"expectedLength","type":"uint256","internalType":"uint256"}]},{"type":"error","name":"PublicInputsLengthWrong","inputs":[]},{"type":"error","name":"ShpleminiFailed","inputs":[]},{"type":"error","name":"SumcheckFailed","inputs":[]},{"type":"error","name":"ValueGeFieldOrder","inputs":[]},{"type":"error","name":"ValueGeGroupOrder","inputs":[]},{"type":"error","name":"ValueGeLimbMax","inputs":[]}],"bytecode":{"object":"
|
|
1
|
+
{"abi":[{"type":"error","name":"ConsistencyCheckFailed","inputs":[]},{"type":"error","name":"GeminiChallengeInSubgroup","inputs":[]},{"type":"error","name":"InvertOfZero","inputs":[]},{"type":"error","name":"ModExpFailed","inputs":[]},{"type":"error","name":"NotPowerOfTwo","inputs":[]},{"type":"error","name":"PointAtInfinity","inputs":[]},{"type":"error","name":"ProofLengthWrong","inputs":[]},{"type":"error","name":"ProofLengthWrongWithLogN","inputs":[{"name":"logN","type":"uint256","internalType":"uint256"},{"name":"actualLength","type":"uint256","internalType":"uint256"},{"name":"expectedLength","type":"uint256","internalType":"uint256"}]},{"type":"error","name":"PublicInputsLengthWrong","inputs":[]},{"type":"error","name":"ShpleminiFailed","inputs":[]},{"type":"error","name":"SumcheckFailed","inputs":[]},{"type":"error","name":"ValueGeFieldOrder","inputs":[]},{"type":"error","name":"ValueGeGroupOrder","inputs":[]},{"type":"error","name":"ValueGeLimbMax","inputs":[]}],"bytecode":{"object":"0x60556032600b8282823980515f1a607314602657634e487b7160e01b5f525f60045260245ffd5b305f52607381538281f3fe730000000000000000000000000000000000000000301460806040525f5ffdfea26469706673582212200c159b9522c496835e492dde201faa7e6351bc5e84d17db3af60842121fd73d764736f6c634300081e0033","sourceMap":"7672:515:0:-:0;;;;;;;;;;;;;;;-1:-1:-1;;;7672:515:0;;;;;;;;;;;;;;;;;","linkReferences":{}},"deployedBytecode":{"object":"0x730000000000000000000000000000000000000000301460806040525f5ffdfea26469706673582212200c159b9522c496835e492dde201faa7e6351bc5e84d17db3af60842121fd73d764736f6c634300081e0033","sourceMap":"7672:515:0:-:0;;;;;;;;","linkReferences":{}},"methodIdentifiers":{},"rawMetadata":"{\"compiler\":{\"version\":\"0.8.30+commit.73712a01\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"inputs\":[],\"name\":\"ConsistencyCheckFailed\",\"type\":\"error\"},{\"inputs\":[],\"name\":\"GeminiChallengeInSubgroup\",\"type\":\"error\"},{\"inputs\":[],\"name\":\"InvertOfZero\",\"type\":\"error\"},{\"inputs\":[],\"name\":\"ModExpFailed\",\"type\":\"error\"},{\"inputs\":[],\"name\":\"NotPowerOfTwo\",\"type\":\"error\"},{\"inputs\":[],\"name\":\"PointAtInfinity\",\"type\":\"error\"},{\"inputs\":[],\"name\":\"ProofLengthWrong\",\"type\":\"error\"},{\"inputs\":[{\"internalType\":\"uint256\",\"name\":\"logN\",\"type\":\"uint256\"},{\"internalType\":\"uint256\",\"name\":\"actualLength\",\"type\":\"uint256\"},{\"internalType\":\"uint256\",\"name\":\"expectedLength\",\"type\":\"uint256\"}],\"name\":\"ProofLengthWrongWithLogN\",\"type\":\"error\"},{\"inputs\":[],\"name\":\"PublicInputsLengthWrong\",\"type\":\"error\"},{\"inputs\":[],\"name\":\"ShpleminiFailed\",\"type\":\"error\"},{\"inputs\":[],\"name\":\"SumcheckFailed\",\"type\":\"error\"},{\"inputs\":[],\"name\":\"ValueGeFieldOrder\",\"type\":\"error\"},{\"inputs\":[],\"name\":\"ValueGeGroupOrder\",\"type\":\"error\"},{\"inputs\":[],\"name\":\"ValueGeLimbMax\",\"type\":\"error\"}],\"devdoc\":{\"details\":\"You can run `forge inspect Errors errors` to get the selectors for the optimised verifier\",\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"notice\":\"Library of error codes\",\"version\":1}},\"settings\":{\"compilationTarget\":{\"generated/HonkVerifier.sol\":\"Errors\"},\"evmVersion\":\"prague\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":100},\"remappings\":[\":@aztec-blob-lib/=src/mock/libraries/\",\":@aztec/=src/\",\":@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/\",\":@oz/=lib/openzeppelin-contracts/contracts/\",\":@test/=test/\",\":@zkpassport-test/=lib/circuits/src/solidity/test/\",\":@zkpassport/=lib/circuits/src/solidity/src/\",\":circuits/=lib/circuits/src/\",\":erc4626-tests/=lib/openzeppelin-contracts/lib/erc4626-tests/\",\":forge-std/=lib/forge-std/src/\",\":halmos-cheatcodes/=lib/openzeppelin-contracts/lib/halmos-cheatcodes/src/\",\":openzeppelin-contracts/=lib/openzeppelin-contracts/\"]},\"sources\":{\"generated/HonkVerifier.sol\":{\"keccak256\":\"0x257e8a42b166ad649d25bf269c98cbbd65f67cb9c7b11fbddfd6a7b0f52751a4\",\"license\":\"Apache-2.0\",\"urls\":[\"bzz-raw://86d94b89f4174eaa84f3eea6e3c61687d37dd5ad4e8351984ee0356db27039c1\",\"dweb:/ipfs/QmTPcFN4wdK1gfJjuSTeH2Ewb6MRVMr5NiffrC6deWPopM\"]}},\"version\":1}","metadata":{"compiler":{"version":"0.8.30+commit.73712a01"},"language":"Solidity","output":{"abi":[{"inputs":[],"type":"error","name":"ConsistencyCheckFailed"},{"inputs":[],"type":"error","name":"GeminiChallengeInSubgroup"},{"inputs":[],"type":"error","name":"InvertOfZero"},{"inputs":[],"type":"error","name":"ModExpFailed"},{"inputs":[],"type":"error","name":"NotPowerOfTwo"},{"inputs":[],"type":"error","name":"PointAtInfinity"},{"inputs":[],"type":"error","name":"ProofLengthWrong"},{"inputs":[{"internalType":"uint256","name":"logN","type":"uint256"},{"internalType":"uint256","name":"actualLength","type":"uint256"},{"internalType":"uint256","name":"expectedLength","type":"uint256"}],"type":"error","name":"ProofLengthWrongWithLogN"},{"inputs":[],"type":"error","name":"PublicInputsLengthWrong"},{"inputs":[],"type":"error","name":"ShpleminiFailed"},{"inputs":[],"type":"error","name":"SumcheckFailed"},{"inputs":[],"type":"error","name":"ValueGeFieldOrder"},{"inputs":[],"type":"error","name":"ValueGeGroupOrder"},{"inputs":[],"type":"error","name":"ValueGeLimbMax"}],"devdoc":{"kind":"dev","methods":{},"version":1},"userdoc":{"kind":"user","methods":{},"version":1}},"settings":{"remappings":["@aztec-blob-lib/=src/mock/libraries/","@aztec/=src/","@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/","@oz/=lib/openzeppelin-contracts/contracts/","@test/=test/","@zkpassport-test/=lib/circuits/src/solidity/test/","@zkpassport/=lib/circuits/src/solidity/src/","circuits/=lib/circuits/src/","erc4626-tests/=lib/openzeppelin-contracts/lib/erc4626-tests/","forge-std/=lib/forge-std/src/","halmos-cheatcodes/=lib/openzeppelin-contracts/lib/halmos-cheatcodes/src/","openzeppelin-contracts/=lib/openzeppelin-contracts/"],"optimizer":{"enabled":true,"runs":100},"metadata":{"bytecodeHash":"ipfs"},"compilationTarget":{"generated/HonkVerifier.sol":"Errors"},"evmVersion":"prague","libraries":{}},"sources":{"generated/HonkVerifier.sol":{"keccak256":"0x257e8a42b166ad649d25bf269c98cbbd65f67cb9c7b11fbddfd6a7b0f52751a4","urls":["bzz-raw://86d94b89f4174eaa84f3eea6e3c61687d37dd5ad4e8351984ee0356db27039c1","dweb:/ipfs/QmTPcFN4wdK1gfJjuSTeH2Ewb6MRVMr5NiffrC6deWPopM"],"license":"Apache-2.0"}},"version":1},"id":0}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"abi":[],"bytecode":{"object":"
|
|
1
|
+
{"abi":[],"bytecode":{"object":"0x60556032600b8282823980515f1a607314602657634e487b7160e01b5f525f60045260245ffd5b305f52607381538281f3fe730000000000000000000000000000000000000000301460806040525f5ffdfea26469706673582212200c252c0677149894b36c58a75c2785657e4a204214fc263ec6555dc158d9db5f64736f6c634300081e0033","sourceMap":"8929:3065:0:-:0;;;;;;;;;;;;;;;-1:-1:-1;;;8929:3065:0;;;;;;;;;;;;;;;;;","linkReferences":{}},"deployedBytecode":{"object":"0x730000000000000000000000000000000000000000301460806040525f5ffdfea26469706673582212200c252c0677149894b36c58a75c2785657e4a204214fc263ec6555dc158d9db5f64736f6c634300081e0033","sourceMap":"8929:3065:0:-:0;;;;;;;;","linkReferences":{}},"methodIdentifiers":{},"rawMetadata":"{\"compiler\":{\"version\":\"0.8.30+commit.73712a01\"},\"language\":\"Solidity\",\"output\":{\"abi\":[],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"generated/HonkVerifier.sol\":\"FrLib\"},\"evmVersion\":\"prague\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":100},\"remappings\":[\":@aztec-blob-lib/=src/mock/libraries/\",\":@aztec/=src/\",\":@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/\",\":@oz/=lib/openzeppelin-contracts/contracts/\",\":@test/=test/\",\":@zkpassport-test/=lib/circuits/src/solidity/test/\",\":@zkpassport/=lib/circuits/src/solidity/src/\",\":circuits/=lib/circuits/src/\",\":erc4626-tests/=lib/openzeppelin-contracts/lib/erc4626-tests/\",\":forge-std/=lib/forge-std/src/\",\":halmos-cheatcodes/=lib/openzeppelin-contracts/lib/halmos-cheatcodes/src/\",\":openzeppelin-contracts/=lib/openzeppelin-contracts/\"]},\"sources\":{\"generated/HonkVerifier.sol\":{\"keccak256\":\"0x257e8a42b166ad649d25bf269c98cbbd65f67cb9c7b11fbddfd6a7b0f52751a4\",\"license\":\"Apache-2.0\",\"urls\":[\"bzz-raw://86d94b89f4174eaa84f3eea6e3c61687d37dd5ad4e8351984ee0356db27039c1\",\"dweb:/ipfs/QmTPcFN4wdK1gfJjuSTeH2Ewb6MRVMr5NiffrC6deWPopM\"]}},\"version\":1}","metadata":{"compiler":{"version":"0.8.30+commit.73712a01"},"language":"Solidity","output":{"abi":[],"devdoc":{"kind":"dev","methods":{},"version":1},"userdoc":{"kind":"user","methods":{},"version":1}},"settings":{"remappings":["@aztec-blob-lib/=src/mock/libraries/","@aztec/=src/","@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/","@oz/=lib/openzeppelin-contracts/contracts/","@test/=test/","@zkpassport-test/=lib/circuits/src/solidity/test/","@zkpassport/=lib/circuits/src/solidity/src/","circuits/=lib/circuits/src/","erc4626-tests/=lib/openzeppelin-contracts/lib/erc4626-tests/","forge-std/=lib/forge-std/src/","halmos-cheatcodes/=lib/openzeppelin-contracts/lib/halmos-cheatcodes/src/","openzeppelin-contracts/=lib/openzeppelin-contracts/"],"optimizer":{"enabled":true,"runs":100},"metadata":{"bytecodeHash":"ipfs"},"compilationTarget":{"generated/HonkVerifier.sol":"FrLib"},"evmVersion":"prague","libraries":{}},"sources":{"generated/HonkVerifier.sol":{"keccak256":"0x257e8a42b166ad649d25bf269c98cbbd65f67cb9c7b11fbddfd6a7b0f52751a4","urls":["bzz-raw://86d94b89f4174eaa84f3eea6e3c61687d37dd5ad4e8351984ee0356db27039c1","dweb:/ipfs/QmTPcFN4wdK1gfJjuSTeH2Ewb6MRVMr5NiffrC6deWPopM"],"license":"Apache-2.0"}},"version":1},"id":0}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"abi":[],"bytecode":{"object":"
|
|
1
|
+
{"abi":[],"bytecode":{"object":"0x60556032600b8282823980515f1a607314602657634e487b7160e01b5f525f60045260245ffd5b305f52607381538281f3fe730000000000000000000000000000000000000000301460806040525f5ffdfea2646970667358221220543b54f0ea96c05b7e5b64efa8b2b2aa92f5a82eb7b9d04558382f67f1784f5764736f6c634300081e0033","sourceMap":"14176:3229:0:-:0;;;;;;;;;;;;;;;-1:-1:-1;;;14176:3229:0;;;;;;;;;;;;;;;;;","linkReferences":{}},"deployedBytecode":{"object":"0x730000000000000000000000000000000000000000301460806040525f5ffdfea2646970667358221220543b54f0ea96c05b7e5b64efa8b2b2aa92f5a82eb7b9d04558382f67f1784f5764736f6c634300081e0033","sourceMap":"14176:3229:0:-:0;;;;;;;;","linkReferences":{}},"methodIdentifiers":{},"rawMetadata":"{\"compiler\":{\"version\":\"0.8.30+commit.73712a01\"},\"language\":\"Solidity\",\"output\":{\"abi\":[],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"generated/HonkVerifier.sol\":\"Honk\"},\"evmVersion\":\"prague\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":100},\"remappings\":[\":@aztec-blob-lib/=src/mock/libraries/\",\":@aztec/=src/\",\":@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/\",\":@oz/=lib/openzeppelin-contracts/contracts/\",\":@test/=test/\",\":@zkpassport-test/=lib/circuits/src/solidity/test/\",\":@zkpassport/=lib/circuits/src/solidity/src/\",\":circuits/=lib/circuits/src/\",\":erc4626-tests/=lib/openzeppelin-contracts/lib/erc4626-tests/\",\":forge-std/=lib/forge-std/src/\",\":halmos-cheatcodes/=lib/openzeppelin-contracts/lib/halmos-cheatcodes/src/\",\":openzeppelin-contracts/=lib/openzeppelin-contracts/\"]},\"sources\":{\"generated/HonkVerifier.sol\":{\"keccak256\":\"0x257e8a42b166ad649d25bf269c98cbbd65f67cb9c7b11fbddfd6a7b0f52751a4\",\"license\":\"Apache-2.0\",\"urls\":[\"bzz-raw://86d94b89f4174eaa84f3eea6e3c61687d37dd5ad4e8351984ee0356db27039c1\",\"dweb:/ipfs/QmTPcFN4wdK1gfJjuSTeH2Ewb6MRVMr5NiffrC6deWPopM\"]}},\"version\":1}","metadata":{"compiler":{"version":"0.8.30+commit.73712a01"},"language":"Solidity","output":{"abi":[],"devdoc":{"kind":"dev","methods":{},"version":1},"userdoc":{"kind":"user","methods":{},"version":1}},"settings":{"remappings":["@aztec-blob-lib/=src/mock/libraries/","@aztec/=src/","@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/","@oz/=lib/openzeppelin-contracts/contracts/","@test/=test/","@zkpassport-test/=lib/circuits/src/solidity/test/","@zkpassport/=lib/circuits/src/solidity/src/","circuits/=lib/circuits/src/","erc4626-tests/=lib/openzeppelin-contracts/lib/erc4626-tests/","forge-std/=lib/forge-std/src/","halmos-cheatcodes/=lib/openzeppelin-contracts/lib/halmos-cheatcodes/src/","openzeppelin-contracts/=lib/openzeppelin-contracts/"],"optimizer":{"enabled":true,"runs":100},"metadata":{"bytecodeHash":"ipfs"},"compilationTarget":{"generated/HonkVerifier.sol":"Honk"},"evmVersion":"prague","libraries":{}},"sources":{"generated/HonkVerifier.sol":{"keccak256":"0x257e8a42b166ad649d25bf269c98cbbd65f67cb9c7b11fbddfd6a7b0f52751a4","urls":["bzz-raw://86d94b89f4174eaa84f3eea6e3c61687d37dd5ad4e8351984ee0356db27039c1","dweb:/ipfs/QmTPcFN4wdK1gfJjuSTeH2Ewb6MRVMr5NiffrC6deWPopM"],"license":"Apache-2.0"}},"version":1},"id":0}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"abi":[],"bytecode":{"object":"
|
|
1
|
+
{"abi":[],"bytecode":{"object":"0x60556032600b8282823980515f1a607314602657634e487b7160e01b5f525f60045260245ffd5b305f52607381538281f3fe730000000000000000000000000000000000000000301460806040525f5ffdfea26469706673582212209014f137a28289e9f4ea83572768c495c1bf888d320e79f1315833b6298203cc64736f6c634300081e0033","sourceMap":"293:7074:0:-:0;;;;;;;;;;;;;;;-1:-1:-1;;;293:7074:0;;;;;;;;;;;;;;;;;","linkReferences":{}},"deployedBytecode":{"object":"0x730000000000000000000000000000000000000000301460806040525f5ffdfea26469706673582212209014f137a28289e9f4ea83572768c495c1bf888d320e79f1315833b6298203cc64736f6c634300081e0033","sourceMap":"293:7074:0:-:0;;;;;;;;","linkReferences":{}},"methodIdentifiers":{},"rawMetadata":"{\"compiler\":{\"version\":\"0.8.30+commit.73712a01\"},\"language\":\"Solidity\",\"output\":{\"abi\":[],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"generated/HonkVerifier.sol\":\"HonkVerificationKey\"},\"evmVersion\":\"prague\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":100},\"remappings\":[\":@aztec-blob-lib/=src/mock/libraries/\",\":@aztec/=src/\",\":@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/\",\":@oz/=lib/openzeppelin-contracts/contracts/\",\":@test/=test/\",\":@zkpassport-test/=lib/circuits/src/solidity/test/\",\":@zkpassport/=lib/circuits/src/solidity/src/\",\":circuits/=lib/circuits/src/\",\":erc4626-tests/=lib/openzeppelin-contracts/lib/erc4626-tests/\",\":forge-std/=lib/forge-std/src/\",\":halmos-cheatcodes/=lib/openzeppelin-contracts/lib/halmos-cheatcodes/src/\",\":openzeppelin-contracts/=lib/openzeppelin-contracts/\"]},\"sources\":{\"generated/HonkVerifier.sol\":{\"keccak256\":\"0x257e8a42b166ad649d25bf269c98cbbd65f67cb9c7b11fbddfd6a7b0f52751a4\",\"license\":\"Apache-2.0\",\"urls\":[\"bzz-raw://86d94b89f4174eaa84f3eea6e3c61687d37dd5ad4e8351984ee0356db27039c1\",\"dweb:/ipfs/QmTPcFN4wdK1gfJjuSTeH2Ewb6MRVMr5NiffrC6deWPopM\"]}},\"version\":1}","metadata":{"compiler":{"version":"0.8.30+commit.73712a01"},"language":"Solidity","output":{"abi":[],"devdoc":{"kind":"dev","methods":{},"version":1},"userdoc":{"kind":"user","methods":{},"version":1}},"settings":{"remappings":["@aztec-blob-lib/=src/mock/libraries/","@aztec/=src/","@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/","@oz/=lib/openzeppelin-contracts/contracts/","@test/=test/","@zkpassport-test/=lib/circuits/src/solidity/test/","@zkpassport/=lib/circuits/src/solidity/src/","circuits/=lib/circuits/src/","erc4626-tests/=lib/openzeppelin-contracts/lib/erc4626-tests/","forge-std/=lib/forge-std/src/","halmos-cheatcodes/=lib/openzeppelin-contracts/lib/halmos-cheatcodes/src/","openzeppelin-contracts/=lib/openzeppelin-contracts/"],"optimizer":{"enabled":true,"runs":100},"metadata":{"bytecodeHash":"ipfs"},"compilationTarget":{"generated/HonkVerifier.sol":"HonkVerificationKey"},"evmVersion":"prague","libraries":{}},"sources":{"generated/HonkVerifier.sol":{"keccak256":"0x257e8a42b166ad649d25bf269c98cbbd65f67cb9c7b11fbddfd6a7b0f52751a4","urls":["bzz-raw://86d94b89f4174eaa84f3eea6e3c61687d37dd5ad4e8351984ee0356db27039c1","dweb:/ipfs/QmTPcFN4wdK1gfJjuSTeH2Ewb6MRVMr5NiffrC6deWPopM"],"license":"Apache-2.0"}},"version":1},"id":0}
|