@aztec/l1-artifacts 0.0.1-commit.684755437 → 0.0.1-commit.6b113946b
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/solidity-files-cache.json +1 -1
- package/l1-contracts/generated/HonkVerifier.sol +45 -45
- 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/{8ea847fb96c98d29.json → fb7d1cbd694e4717.json} +1 -1
- package/l1-contracts/out/shouting.t.sol/ScreamAndShoutTest.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\":200},\"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\":200},\"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\":\"0xbab8ed23a8ee89b002e0844836eea32d056503343d7bdfbeec0c41ef61f06241\",\"license\":\"Apache-2.0\",\"urls\":[\"bzz-raw://f4def1d87ef409722fa69434208bdc4039e2740d6a500c70baaac3b9860a2d5f\",\"dweb:/ipfs/QmWgtRAkknbbYLs1FM5fU2uizjDnh95BdXjr7aCrmZkQiV\"]}},\"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":200},"metadata":{"bytecodeHash":"ipfs"},"compilationTarget":{"generated/HonkVerifier.sol":"BaseHonkVerifier"},"evmVersion":"prague","libraries":{}},"sources":{"generated/HonkVerifier.sol":{"keccak256":"0xbab8ed23a8ee89b002e0844836eea32d056503343d7bdfbeec0c41ef61f06241","urls":["bzz-raw://f4def1d87ef409722fa69434208bdc4039e2740d6a500c70baaac3b9860a2d5f","dweb:/ipfs/QmWgtRAkknbbYLs1FM5fU2uizjDnh95BdXjr7aCrmZkQiV"],"license":"Apache-2.0"}},"version":1},"id":0}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"abi":[],"bytecode":{"object":"
|
|
1
|
+
{"abi":[],"bytecode":{"object":"0x60556032600b8282823980515f1a607314602657634e487b7160e01b5f525f60045260245ffd5b305f52607381538281f3fe730000000000000000000000000000000000000000301460806040525f5ffdfea26469706673582212206448798e0e78f68ab991960a38c8af770abdb648b90e4176c9c12526cefedd8964736f6c634300081e0033","sourceMap":"61454:2380:0:-:0;;;;;;;;;;;;;;;-1:-1:-1;;;61454:2380:0;;;;;;;;;;;;;;;;;","linkReferences":{}},"deployedBytecode":{"object":"0x730000000000000000000000000000000000000000301460806040525f5ffdfea26469706673582212206448798e0e78f68ab991960a38c8af770abdb648b90e4176c9c12526cefedd8964736f6c634300081e0033","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\":200},\"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\":\"0xbab8ed23a8ee89b002e0844836eea32d056503343d7bdfbeec0c41ef61f06241\",\"license\":\"Apache-2.0\",\"urls\":[\"bzz-raw://f4def1d87ef409722fa69434208bdc4039e2740d6a500c70baaac3b9860a2d5f\",\"dweb:/ipfs/QmWgtRAkknbbYLs1FM5fU2uizjDnh95BdXjr7aCrmZkQiV\"]}},\"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":200},"metadata":{"bytecodeHash":"ipfs"},"compilationTarget":{"generated/HonkVerifier.sol":"CommitmentSchemeLib"},"evmVersion":"prague","libraries":{}},"sources":{"generated/HonkVerifier.sol":{"keccak256":"0xbab8ed23a8ee89b002e0844836eea32d056503343d7bdfbeec0c41ef61f06241","urls":["bzz-raw://f4def1d87ef409722fa69434208bdc4039e2740d6a500c70baaac3b9860a2d5f","dweb:/ipfs/QmWgtRAkknbbYLs1FM5fU2uizjDnh95BdXjr7aCrmZkQiV"],"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":"0x60556032600b8282823980515f1a607314602657634e487b7160e01b5f525f60045260245ffd5b305f52607381538281f3fe730000000000000000000000000000000000000000301460806040525f5ffdfea2646970667358221220aa6500b451cf7483e75ab37540c20fa3077c1d0506d26c7d643f78dda3b80e9d64736f6c634300081e0033","sourceMap":"7672:515:0:-:0;;;;;;;;;;;;;;;-1:-1:-1;;;7672:515:0;;;;;;;;;;;;;;;;;","linkReferences":{}},"deployedBytecode":{"object":"0x730000000000000000000000000000000000000000301460806040525f5ffdfea2646970667358221220aa6500b451cf7483e75ab37540c20fa3077c1d0506d26c7d643f78dda3b80e9d64736f6c634300081e0033","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\":200},\"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\":\"0xbab8ed23a8ee89b002e0844836eea32d056503343d7bdfbeec0c41ef61f06241\",\"license\":\"Apache-2.0\",\"urls\":[\"bzz-raw://f4def1d87ef409722fa69434208bdc4039e2740d6a500c70baaac3b9860a2d5f\",\"dweb:/ipfs/QmWgtRAkknbbYLs1FM5fU2uizjDnh95BdXjr7aCrmZkQiV\"]}},\"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":200},"metadata":{"bytecodeHash":"ipfs"},"compilationTarget":{"generated/HonkVerifier.sol":"Errors"},"evmVersion":"prague","libraries":{}},"sources":{"generated/HonkVerifier.sol":{"keccak256":"0xbab8ed23a8ee89b002e0844836eea32d056503343d7bdfbeec0c41ef61f06241","urls":["bzz-raw://f4def1d87ef409722fa69434208bdc4039e2740d6a500c70baaac3b9860a2d5f","dweb:/ipfs/QmWgtRAkknbbYLs1FM5fU2uizjDnh95BdXjr7aCrmZkQiV"],"license":"Apache-2.0"}},"version":1},"id":0}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"abi":[],"bytecode":{"object":"
|
|
1
|
+
{"abi":[],"bytecode":{"object":"0x60556032600b8282823980515f1a607314602657634e487b7160e01b5f525f60045260245ffd5b305f52607381538281f3fe730000000000000000000000000000000000000000301460806040525f5ffdfea2646970667358221220fb3e02aba664abc7fc5c98dca88160a9abc2bab405717dea46a4ff0596e3e49b64736f6c634300081e0033","sourceMap":"8929:3065:0:-:0;;;;;;;;;;;;;;;-1:-1:-1;;;8929:3065:0;;;;;;;;;;;;;;;;;","linkReferences":{}},"deployedBytecode":{"object":"0x730000000000000000000000000000000000000000301460806040525f5ffdfea2646970667358221220fb3e02aba664abc7fc5c98dca88160a9abc2bab405717dea46a4ff0596e3e49b64736f6c634300081e0033","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\":200},\"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\":\"0xbab8ed23a8ee89b002e0844836eea32d056503343d7bdfbeec0c41ef61f06241\",\"license\":\"Apache-2.0\",\"urls\":[\"bzz-raw://f4def1d87ef409722fa69434208bdc4039e2740d6a500c70baaac3b9860a2d5f\",\"dweb:/ipfs/QmWgtRAkknbbYLs1FM5fU2uizjDnh95BdXjr7aCrmZkQiV\"]}},\"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":200},"metadata":{"bytecodeHash":"ipfs"},"compilationTarget":{"generated/HonkVerifier.sol":"FrLib"},"evmVersion":"prague","libraries":{}},"sources":{"generated/HonkVerifier.sol":{"keccak256":"0xbab8ed23a8ee89b002e0844836eea32d056503343d7bdfbeec0c41ef61f06241","urls":["bzz-raw://f4def1d87ef409722fa69434208bdc4039e2740d6a500c70baaac3b9860a2d5f","dweb:/ipfs/QmWgtRAkknbbYLs1FM5fU2uizjDnh95BdXjr7aCrmZkQiV"],"license":"Apache-2.0"}},"version":1},"id":0}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"abi":[],"bytecode":{"object":"
|
|
1
|
+
{"abi":[],"bytecode":{"object":"0x60556032600b8282823980515f1a607314602657634e487b7160e01b5f525f60045260245ffd5b305f52607381538281f3fe730000000000000000000000000000000000000000301460806040525f5ffdfea2646970667358221220b436ccaf9d743014d83811ebd9f42b064a96d29a4e757f2727ecb024269a9dae64736f6c634300081e0033","sourceMap":"14176:3229:0:-:0;;;;;;;;;;;;;;;-1:-1:-1;;;14176:3229:0;;;;;;;;;;;;;;;;;","linkReferences":{}},"deployedBytecode":{"object":"0x730000000000000000000000000000000000000000301460806040525f5ffdfea2646970667358221220b436ccaf9d743014d83811ebd9f42b064a96d29a4e757f2727ecb024269a9dae64736f6c634300081e0033","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\":200},\"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\":\"0xbab8ed23a8ee89b002e0844836eea32d056503343d7bdfbeec0c41ef61f06241\",\"license\":\"Apache-2.0\",\"urls\":[\"bzz-raw://f4def1d87ef409722fa69434208bdc4039e2740d6a500c70baaac3b9860a2d5f\",\"dweb:/ipfs/QmWgtRAkknbbYLs1FM5fU2uizjDnh95BdXjr7aCrmZkQiV\"]}},\"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":200},"metadata":{"bytecodeHash":"ipfs"},"compilationTarget":{"generated/HonkVerifier.sol":"Honk"},"evmVersion":"prague","libraries":{}},"sources":{"generated/HonkVerifier.sol":{"keccak256":"0xbab8ed23a8ee89b002e0844836eea32d056503343d7bdfbeec0c41ef61f06241","urls":["bzz-raw://f4def1d87ef409722fa69434208bdc4039e2740d6a500c70baaac3b9860a2d5f","dweb:/ipfs/QmWgtRAkknbbYLs1FM5fU2uizjDnh95BdXjr7aCrmZkQiV"],"license":"Apache-2.0"}},"version":1},"id":0}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"abi":[],"bytecode":{"object":"
|
|
1
|
+
{"abi":[],"bytecode":{"object":"0x60556032600b8282823980515f1a607314602657634e487b7160e01b5f525f60045260245ffd5b305f52607381538281f3fe730000000000000000000000000000000000000000301460806040525f5ffdfea26469706673582212206c2e963dffedf831981dd3e6bd86b631b1ff1750ae8ab90c5cd7f202a83dc8f264736f6c634300081e0033","sourceMap":"293:7074:0:-:0;;;;;;;;;;;;;;;-1:-1:-1;;;293:7074:0;;;;;;;;;;;;;;;;;","linkReferences":{}},"deployedBytecode":{"object":"0x730000000000000000000000000000000000000000301460806040525f5ffdfea26469706673582212206c2e963dffedf831981dd3e6bd86b631b1ff1750ae8ab90c5cd7f202a83dc8f264736f6c634300081e0033","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\":200},\"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\":\"0xbab8ed23a8ee89b002e0844836eea32d056503343d7bdfbeec0c41ef61f06241\",\"license\":\"Apache-2.0\",\"urls\":[\"bzz-raw://f4def1d87ef409722fa69434208bdc4039e2740d6a500c70baaac3b9860a2d5f\",\"dweb:/ipfs/QmWgtRAkknbbYLs1FM5fU2uizjDnh95BdXjr7aCrmZkQiV\"]}},\"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":200},"metadata":{"bytecodeHash":"ipfs"},"compilationTarget":{"generated/HonkVerifier.sol":"HonkVerificationKey"},"evmVersion":"prague","libraries":{}},"sources":{"generated/HonkVerifier.sol":{"keccak256":"0xbab8ed23a8ee89b002e0844836eea32d056503343d7bdfbeec0c41ef61f06241","urls":["bzz-raw://f4def1d87ef409722fa69434208bdc4039e2740d6a500c70baaac3b9860a2d5f","dweb:/ipfs/QmWgtRAkknbbYLs1FM5fU2uizjDnh95BdXjr7aCrmZkQiV"],"license":"Apache-2.0"}},"version":1},"id":0}
|