@aztec/stdlib 3.0.0-nightly.20250908 → 3.0.0-nightly.20250910
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/block/proposal/attestations_and_signers.d.ts +48 -0
- package/dest/block/proposal/attestations_and_signers.d.ts.map +1 -0
- package/dest/block/proposal/attestations_and_signers.js +99 -0
- package/dest/block/proposal/index.d.ts +1 -0
- package/dest/block/proposal/index.d.ts.map +1 -1
- package/dest/block/proposal/index.js +1 -0
- package/dest/interfaces/block-builder.d.ts +5 -6
- package/dest/interfaces/block-builder.d.ts.map +1 -1
- package/dest/interfaces/proving-job.d.ts +24 -24
- package/dest/interfaces/proving-job.d.ts.map +1 -1
- package/dest/interfaces/proving-job.js +15 -15
- package/dest/interfaces/server_circuit_prover.d.ts +4 -8
- package/dest/interfaces/server_circuit_prover.d.ts.map +1 -1
- package/dest/interfaces/validator.d.ts +3 -0
- package/dest/interfaces/validator.d.ts.map +1 -1
- package/dest/kernel/private_kernel_prover_output.d.ts +1 -1
- package/dest/kernel/private_kernel_prover_output.d.ts.map +1 -1
- package/dest/kernel/private_to_public_kernel_circuit_public_inputs.d.ts +2 -0
- package/dest/kernel/private_to_public_kernel_circuit_public_inputs.d.ts.map +1 -1
- package/dest/kernel/private_to_public_kernel_circuit_public_inputs.js +7 -0
- package/dest/noir/index.d.ts +9 -0
- package/dest/noir/index.d.ts.map +1 -1
- package/dest/p2p/signature_utils.d.ts +2 -1
- package/dest/p2p/signature_utils.d.ts.map +1 -1
- package/dest/p2p/signature_utils.js +1 -0
- package/dest/proofs/client_ivc_proof.d.ts +5 -8
- package/dest/proofs/client_ivc_proof.d.ts.map +1 -1
- package/dest/proofs/client_ivc_proof.js +27 -20
- package/dest/proofs/index.d.ts +1 -0
- package/dest/proofs/index.d.ts.map +1 -1
- package/dest/proofs/index.js +1 -0
- package/dest/proofs/proof_data.d.ts +20 -0
- package/dest/proofs/proof_data.d.ts.map +1 -0
- package/dest/proofs/proof_data.js +22 -0
- package/dest/proofs/proving_request_type.d.ts +12 -13
- package/dest/proofs/proving_request_type.d.ts.map +1 -1
- package/dest/proofs/proving_request_type.js +12 -12
- package/dest/rollup/index.d.ts +1 -3
- package/dest/rollup/index.d.ts.map +1 -1
- package/dest/rollup/index.js +1 -3
- package/dest/rollup/private_base_rollup_inputs.d.ts +5 -5
- package/dest/rollup/private_base_rollup_inputs.d.ts.map +1 -1
- package/dest/rollup/private_base_rollup_inputs.js +7 -9
- package/dest/rollup/public_base_rollup_inputs.d.ts +5 -5
- package/dest/rollup/public_base_rollup_inputs.d.ts.map +1 -1
- package/dest/rollup/public_base_rollup_inputs.js +7 -9
- package/dest/rollup/public_tube_private_inputs.d.ts +19 -0
- package/dest/rollup/public_tube_private_inputs.d.ts.map +1 -0
- package/dest/rollup/public_tube_private_inputs.js +38 -0
- package/dest/stats/stats.d.ts +1 -1
- package/dest/stats/stats.d.ts.map +1 -1
- package/dest/tests/factories.d.ts +4 -1
- package/dest/tests/factories.d.ts.map +1 -1
- package/dest/tests/factories.js +9 -15
- package/dest/tests/mocks.d.ts +2 -0
- package/dest/tests/mocks.d.ts.map +1 -1
- package/dest/tests/mocks.js +5 -1
- package/dest/tx/tx.d.ts +0 -2
- package/dest/tx/tx.d.ts.map +1 -1
- package/dest/tx/tx.js +2 -3
- package/package.json +8 -8
- package/src/block/proposal/attestations_and_signers.ts +121 -0
- package/src/block/proposal/index.ts +1 -0
- package/src/interfaces/block-builder.ts +9 -6
- package/src/interfaces/proving-job.ts +19 -14
- package/src/interfaces/server_circuit_prover.ts +13 -13
- package/src/interfaces/validator.ts +7 -0
- package/src/kernel/private_kernel_prover_output.ts +1 -1
- package/src/kernel/private_to_public_kernel_circuit_public_inputs.ts +9 -0
- package/src/noir/index.ts +9 -0
- package/src/p2p/signature_utils.ts +1 -0
- package/src/proofs/client_ivc_proof.ts +26 -20
- package/src/proofs/index.ts +1 -0
- package/src/proofs/proof_data.ts +39 -0
- package/src/proofs/proving_request_type.ts +1 -3
- package/src/rollup/index.ts +1 -3
- package/src/rollup/private_base_rollup_inputs.ts +8 -8
- package/src/rollup/public_base_rollup_inputs.ts +5 -8
- package/src/rollup/public_tube_private_inputs.ts +46 -0
- package/src/stats/stats.ts +2 -2
- package/src/tests/factories.ts +20 -23
- package/src/tests/mocks.ts +13 -1
- package/src/tx/tx.ts +2 -3
- package/dest/rollup/private_tube_data.d.ts +0 -15
- package/dest/rollup/private_tube_data.d.ts.map +0 -1
- package/dest/rollup/private_tube_data.js +0 -25
- package/dest/rollup/public_tube_data.d.ts +0 -15
- package/dest/rollup/public_tube_data.d.ts.map +0 -1
- package/dest/rollup/public_tube_data.js +0 -25
- package/dest/rollup/tube_inputs.d.ts +0 -43
- package/dest/rollup/tube_inputs.d.ts.map +0 -1
- package/dest/rollup/tube_inputs.js +0 -63
- package/src/rollup/private_tube_data.ts +0 -35
- package/src/rollup/public_tube_data.ts +0 -35
- package/src/rollup/tube_inputs.ts +0 -77
package/dest/noir/index.d.ts
CHANGED
|
@@ -74,6 +74,15 @@ export interface NoirCompiledCircuit {
|
|
|
74
74
|
abi: NoirFunctionAbi;
|
|
75
75
|
/** The bytecode of the circuit in base64. */
|
|
76
76
|
bytecode: string;
|
|
77
|
+
/** The verification key of the circuit. */
|
|
78
|
+
verificationKey: {
|
|
79
|
+
/** hex-encoded binary */
|
|
80
|
+
bytes: string;
|
|
81
|
+
/** list of hex-encoded fields */
|
|
82
|
+
fields: string[];
|
|
83
|
+
/** The hex-encoded hash. */
|
|
84
|
+
hash: string;
|
|
85
|
+
};
|
|
77
86
|
/** The debug information, compressed and base64 encoded. */
|
|
78
87
|
debug_symbols: string;
|
|
79
88
|
/** The map of file ID to the source code and path of the file. */
|
package/dest/noir/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/noir/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,YAAY,EACZ,sBAAsB,EACtB,YAAY,EACZ,OAAO,EACP,QAAQ,EACR,YAAY,EACZ,SAAS,EACV,MAAM,eAAe,CAAC;AAEvB,eAAO,MAAM,uBAAuB,YAAY,CAAC;AACjD,eAAO,MAAM,sBAAsB,WAAW,CAAC;AAC/C,eAAO,MAAM,uBAAuB,YAAY,CAAC;AACjD,eAAO,MAAM,wBAAwB,aAAa,CAAC;AACnD,eAAO,MAAM,2BAA2B,gBAAgB,CAAC;AACzD,eAAO,MAAM,oBAAoB,SAAS,CAAC;AAE3C,uCAAuC;AACvC,MAAM,WAAW,eAAe;IAC9B,sCAAsC;IACtC,UAAU,EAAE,YAAY,EAAE,CAAC;IAC3B,uCAAuC;IACvC,WAAW,EAAE;QACX;;WAEG;QACH,QAAQ,EAAE,OAAO,CAAC;QAClB;;WAEG;QACH,UAAU,EAAE,sBAAsB,CAAC;KACpC,CAAC;IACF,8CAA8C;IAC9C,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC;CACpD;AAED;;GAEG;AACH,UAAU,iBAAiB;IACzB,gCAAgC;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,6CAA6C;IAC7C,gBAAgB,EAAE,OAAO,CAAC;IAC1B,6CAA6C;IAC7C,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,+BAA+B;IAC/B,GAAG,EAAE,eAAe,CAAC;IACrB,8CAA8C;IAC9C,QAAQ,EAAE,MAAM,CAAC;IACjB,uBAAuB;IACvB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,4BAA4B;IAC5B,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,4DAA4D;IAC5D,aAAa,EAAE,MAAM,CAAC;IACtB,8DAA8D;IAC9D,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC1C;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,gCAAgC;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,qCAAqC;IACrC,SAAS,EAAE,iBAAiB,EAAE,CAAC;IAC/B,iCAAiC;IACjC,OAAO,EAAE;QACP,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;QACnC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;KACrC,CAAC;IACF,kEAAkE;IAClE,QAAQ,EAAE,YAAY,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,+BAA+B;IAC/B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd;;OAEG;IACH,GAAG,EAAE,eAAe,CAAC;IACrB,6CAA6C;IAC7C,QAAQ,EAAE,MAAM,CAAC;IACjB,4DAA4D;IAC5D,aAAa,EAAE,MAAM,CAAC;IACtB,kEAAkE;IAClE,QAAQ,EAAE,YAAY,CAAC;CACxB;AAED,MAAM,WAAW,2BAA4B,SAAQ,mBAAmB;IACtE,+BAA+B;IAC/B,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC;;OAEG;IACH,aAAa,EAAE,SAAS,EAAE,CAAC;IAC3B;;OAEG;IACH,QAAQ,EAAE,YAAY,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,WAAW,gCAAgC;IAC/C;;OAEG;IACH,QAAQ,EAAE,oBAAoB,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,+BAA+B;IAC9C;;OAEG;IACH,IAAI,EAAE,MAAM,CAAC;IACb;;OAEG;IACH,OAAO,EAAE,mBAAmB,CAAC;CAC9B;AAED;;GAEG;AACH,MAAM,MAAM,qBAAqB,GAAG,gCAAgC,GAAG,+BAA+B,CAAC;AAEvG;;GAEG;AACH,wBAAgB,kCAAkC,CAChD,QAAQ,EAAE,qBAAqB,GAC9B,QAAQ,IAAI,gCAAgC,CAE9C;AAED;;GAEG;AACH,wBAAgB,iCAAiC,CAC/C,QAAQ,EAAE,qBAAqB,GAC9B,QAAQ,IAAI,+BAA+B,CAE7C"}
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/noir/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,YAAY,EACZ,sBAAsB,EACtB,YAAY,EACZ,OAAO,EACP,QAAQ,EACR,YAAY,EACZ,SAAS,EACV,MAAM,eAAe,CAAC;AAEvB,eAAO,MAAM,uBAAuB,YAAY,CAAC;AACjD,eAAO,MAAM,sBAAsB,WAAW,CAAC;AAC/C,eAAO,MAAM,uBAAuB,YAAY,CAAC;AACjD,eAAO,MAAM,wBAAwB,aAAa,CAAC;AACnD,eAAO,MAAM,2BAA2B,gBAAgB,CAAC;AACzD,eAAO,MAAM,oBAAoB,SAAS,CAAC;AAE3C,uCAAuC;AACvC,MAAM,WAAW,eAAe;IAC9B,sCAAsC;IACtC,UAAU,EAAE,YAAY,EAAE,CAAC;IAC3B,uCAAuC;IACvC,WAAW,EAAE;QACX;;WAEG;QACH,QAAQ,EAAE,OAAO,CAAC;QAClB;;WAEG;QACH,UAAU,EAAE,sBAAsB,CAAC;KACpC,CAAC;IACF,8CAA8C;IAC9C,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC;CACpD;AAED;;GAEG;AACH,UAAU,iBAAiB;IACzB,gCAAgC;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,6CAA6C;IAC7C,gBAAgB,EAAE,OAAO,CAAC;IAC1B,6CAA6C;IAC7C,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,+BAA+B;IAC/B,GAAG,EAAE,eAAe,CAAC;IACrB,8CAA8C;IAC9C,QAAQ,EAAE,MAAM,CAAC;IACjB,uBAAuB;IACvB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,4BAA4B;IAC5B,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,4DAA4D;IAC5D,aAAa,EAAE,MAAM,CAAC;IACtB,8DAA8D;IAC9D,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC1C;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,gCAAgC;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,qCAAqC;IACrC,SAAS,EAAE,iBAAiB,EAAE,CAAC;IAC/B,iCAAiC;IACjC,OAAO,EAAE;QACP,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;QACnC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;KACrC,CAAC;IACF,kEAAkE;IAClE,QAAQ,EAAE,YAAY,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,+BAA+B;IAC/B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd;;OAEG;IACH,GAAG,EAAE,eAAe,CAAC;IACrB,6CAA6C;IAC7C,QAAQ,EAAE,MAAM,CAAC;IACjB,2CAA2C;IAC3C,eAAe,EAAE;QACf,yBAAyB;QACzB,KAAK,EAAE,MAAM,CAAC;QACd,iCAAiC;QACjC,MAAM,EAAE,MAAM,EAAE,CAAC;QACjB,4BAA4B;QAC5B,IAAI,EAAE,MAAM,CAAC;KACd,CAAC;IACF,4DAA4D;IAC5D,aAAa,EAAE,MAAM,CAAC;IACtB,kEAAkE;IAClE,QAAQ,EAAE,YAAY,CAAC;CACxB;AAED,MAAM,WAAW,2BAA4B,SAAQ,mBAAmB;IACtE,+BAA+B;IAC/B,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC;;OAEG;IACH,aAAa,EAAE,SAAS,EAAE,CAAC;IAC3B;;OAEG;IACH,QAAQ,EAAE,YAAY,CAAC;CACxB;AAED;;GAEG;AACH,MAAM,WAAW,gCAAgC;IAC/C;;OAEG;IACH,QAAQ,EAAE,oBAAoB,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,+BAA+B;IAC9C;;OAEG;IACH,IAAI,EAAE,MAAM,CAAC;IACb;;OAEG;IACH,OAAO,EAAE,mBAAmB,CAAC;CAC9B;AAED;;GAEG;AACH,MAAM,MAAM,qBAAqB,GAAG,gCAAgC,GAAG,+BAA+B,CAAC;AAEvG;;GAEG;AACH,wBAAgB,kCAAkC,CAChD,QAAQ,EAAE,qBAAqB,GAC9B,QAAQ,IAAI,gCAAgC,CAE9C;AAED;;GAEG;AACH,wBAAgB,iCAAiC,CAC/C,QAAQ,EAAE,qBAAqB,GAC9B,QAAQ,IAAI,+BAA+B,CAE7C"}
|
|
@@ -1,7 +1,8 @@
|
|
|
1
1
|
import { Buffer32 } from '@aztec/foundation/buffer';
|
|
2
2
|
export declare enum SignatureDomainSeparator {
|
|
3
3
|
blockProposal = 0,
|
|
4
|
-
blockAttestation = 1
|
|
4
|
+
blockAttestation = 1,
|
|
5
|
+
attestationsAndSigners = 2
|
|
5
6
|
}
|
|
6
7
|
export interface Signable {
|
|
7
8
|
getPayloadToSign(domainSeparator: SignatureDomainSeparator): Buffer;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"signature_utils.d.ts","sourceRoot":"","sources":["../../src/p2p/signature_utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AAGpD,oBAAY,wBAAwB;IAClC,aAAa,IAAI;IACjB,gBAAgB,IAAI;
|
|
1
|
+
{"version":3,"file":"signature_utils.d.ts","sourceRoot":"","sources":["../../src/p2p/signature_utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AAGpD,oBAAY,wBAAwB;IAClC,aAAa,IAAI;IACjB,gBAAgB,IAAI;IACpB,sBAAsB,IAAI;CAC3B;AAED,MAAM,WAAW,QAAQ;IACvB,gBAAgB,CAAC,eAAe,EAAE,wBAAwB,GAAG,MAAM,CAAC;CACrE;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,CAAC,EAAE,QAAQ,EAAE,eAAe,EAAE,wBAAwB,GAAG,QAAQ,CAE1G;AAED;;;;GAIG;AACH,wBAAgB,yCAAyC,CACvD,CAAC,EAAE,QAAQ,EACX,eAAe,EAAE,wBAAwB,GACxC,QAAQ,CAGV"}
|
|
@@ -3,6 +3,7 @@ import { keccak256, makeEthSignDigest } from '@aztec/foundation/crypto';
|
|
|
3
3
|
export var SignatureDomainSeparator = /*#__PURE__*/ function(SignatureDomainSeparator) {
|
|
4
4
|
SignatureDomainSeparator[SignatureDomainSeparator["blockProposal"] = 0] = "blockProposal";
|
|
5
5
|
SignatureDomainSeparator[SignatureDomainSeparator["blockAttestation"] = 1] = "blockAttestation";
|
|
6
|
+
SignatureDomainSeparator[SignatureDomainSeparator["attestationsAndSigners"] = 2] = "attestationsAndSigners";
|
|
6
7
|
return SignatureDomainSeparator;
|
|
7
8
|
}({});
|
|
8
9
|
/**
|
|
@@ -1,18 +1,15 @@
|
|
|
1
|
+
import { Fr } from '@aztec/foundation/fields';
|
|
1
2
|
import { BufferReader } from '@aztec/foundation/serialize';
|
|
2
|
-
/**
|
|
3
|
-
* TODO(https://github.com/AztecProtocol/aztec-packages/issues/7370) refactor this to
|
|
4
|
-
* eventually we read all these VKs from the data tree instead of passing them
|
|
5
|
-
*/
|
|
6
3
|
export declare class ClientIvcProof {
|
|
7
|
-
|
|
8
|
-
constructor(
|
|
4
|
+
proof: Fr[];
|
|
5
|
+
constructor(proof: Fr[]);
|
|
9
6
|
isEmpty(): boolean;
|
|
10
7
|
static empty(): ClientIvcProof;
|
|
11
|
-
static
|
|
12
|
-
static random(): ClientIvcProof;
|
|
8
|
+
static random(proofSize?: number): ClientIvcProof;
|
|
13
9
|
static get schema(): import("zod").ZodType<ClientIvcProof, any, string>;
|
|
14
10
|
toJSON(): Buffer<ArrayBufferLike>;
|
|
15
11
|
static fromBuffer(buffer: Buffer | BufferReader): ClientIvcProof;
|
|
16
12
|
toBuffer(): Buffer<ArrayBufferLike>;
|
|
13
|
+
static fromBufferArray(fields: Uint8Array[]): ClientIvcProof;
|
|
17
14
|
}
|
|
18
15
|
//# sourceMappingURL=client_ivc_proof.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"client_ivc_proof.d.ts","sourceRoot":"","sources":["../../src/proofs/client_ivc_proof.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;
|
|
1
|
+
{"version":3,"file":"client_ivc_proof.d.ts","sourceRoot":"","sources":["../../src/proofs/client_ivc_proof.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,qBAAa,cAAc;IAIhB,KAAK,EAAE,EAAE,EAAE;gBAAX,KAAK,EAAE,EAAE,EAAE;IAGb,OAAO;IAId,MAAM,CAAC,KAAK;IAIZ,MAAM,CAAC,MAAM,CAAC,SAAS,SAAoB;IAW3C,MAAM,KAAK,MAAM,uDAEhB;IAED,MAAM;IAIN,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,cAAc;IAOzD,QAAQ;IAKf,MAAM,CAAC,eAAe,CAAC,MAAM,EAAE,UAAU,EAAE,GAAG,cAAc;CAI7D"}
|
|
@@ -1,29 +1,29 @@
|
|
|
1
|
+
import { CIVC_PROOF_LENGTH } from '@aztec/constants';
|
|
1
2
|
import { randomBytes } from '@aztec/foundation/crypto';
|
|
3
|
+
import { Fr } from '@aztec/foundation/fields';
|
|
2
4
|
import { bufferSchemaFor } from '@aztec/foundation/schemas';
|
|
3
5
|
import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
|
|
9
|
-
|
|
10
|
-
constructor(// produced by the sequencer when making the tube proof
|
|
11
|
-
// TODO(https://github.com/AztecProtocol/aztec-packages/issues/7370): Need to precompute private kernel tail VK so we can verify this immediately in the tx pool
|
|
12
|
-
// which parts of these are needed to quickly verify that we have a correct IVC proof
|
|
13
|
-
clientIvcProofBuffer){
|
|
14
|
-
this.clientIvcProofBuffer = clientIvcProofBuffer;
|
|
6
|
+
export class ClientIvcProof {
|
|
7
|
+
proof;
|
|
8
|
+
constructor(// The proof fields with public inputs.
|
|
9
|
+
// For recursive verification, the public inputs (at the front of the array) must be removed.
|
|
10
|
+
proof){
|
|
11
|
+
this.proof = proof;
|
|
15
12
|
}
|
|
16
13
|
isEmpty() {
|
|
17
|
-
return this.
|
|
14
|
+
return this.proof.length === 0;
|
|
18
15
|
}
|
|
19
16
|
static empty() {
|
|
20
|
-
return new ClientIvcProof(
|
|
17
|
+
return new ClientIvcProof([]);
|
|
21
18
|
}
|
|
22
|
-
static
|
|
23
|
-
|
|
24
|
-
|
|
25
|
-
|
|
26
|
-
|
|
19
|
+
static random(proofSize = CIVC_PROOF_LENGTH) {
|
|
20
|
+
// NB: Not using Fr.random here because it slows down some tests that require a large number of txs significantly.
|
|
21
|
+
const reducedFrSize = Fr.SIZE_IN_BYTES - 1;
|
|
22
|
+
const randomFields = randomBytes(proofSize * reducedFrSize);
|
|
23
|
+
const proof = Array.from({
|
|
24
|
+
length: proofSize
|
|
25
|
+
}, (_, i)=>new Fr(randomFields.subarray(i * reducedFrSize, (i + 1) * reducedFrSize)));
|
|
26
|
+
return new ClientIvcProof(proof);
|
|
27
27
|
}
|
|
28
28
|
static get schema() {
|
|
29
29
|
return bufferSchemaFor(ClientIvcProof);
|
|
@@ -33,9 +33,16 @@ const CLIENT_IVC_PROOF_LENGTH = 172052;
|
|
|
33
33
|
}
|
|
34
34
|
static fromBuffer(buffer) {
|
|
35
35
|
const reader = BufferReader.asReader(buffer);
|
|
36
|
-
|
|
36
|
+
const proofLength = reader.readNumber();
|
|
37
|
+
const proof = reader.readArray(proofLength, Fr);
|
|
38
|
+
return new ClientIvcProof(proof);
|
|
37
39
|
}
|
|
38
40
|
toBuffer() {
|
|
39
|
-
return serializeToBuffer(this.
|
|
41
|
+
return serializeToBuffer(this.proof.length, this.proof);
|
|
42
|
+
}
|
|
43
|
+
// Called when constructing a ClientIvcProof from proving results.
|
|
44
|
+
static fromBufferArray(fields) {
|
|
45
|
+
const proof = fields.map((field)=>Fr.fromBuffer(Buffer.from(field)));
|
|
46
|
+
return new ClientIvcProof(proof);
|
|
40
47
|
}
|
|
41
48
|
}
|
package/dest/proofs/index.d.ts
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/proofs/index.ts"],"names":[],"mappings":"AAAA,cAAc,sBAAsB,CAAC;AACrC,cAAc,uBAAuB,CAAC;AACtC,cAAc,YAAY,CAAC;AAC3B,cAAc,2BAA2B,CAAC"}
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/proofs/index.ts"],"names":[],"mappings":"AAAA,cAAc,sBAAsB,CAAC;AACrC,cAAc,uBAAuB,CAAC;AACtC,cAAc,YAAY,CAAC;AAC3B,cAAc,iBAAiB,CAAC;AAChC,cAAc,2BAA2B,CAAC"}
|
package/dest/proofs/index.js
CHANGED
|
@@ -0,0 +1,20 @@
|
|
|
1
|
+
import type { CIVC_PROOF_LENGTH, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH } from '@aztec/constants';
|
|
2
|
+
import { BufferReader, type Bufferable } from '@aztec/foundation/serialize';
|
|
3
|
+
import { RecursiveProof } from '../proofs/recursive_proof.js';
|
|
4
|
+
import { VkData } from '../vks/index.js';
|
|
5
|
+
/**
|
|
6
|
+
* Represents the data of a recursive proof.
|
|
7
|
+
*/
|
|
8
|
+
export declare class ProofData<T extends Bufferable, PROOF_LENGTH extends number> {
|
|
9
|
+
publicInputs: T;
|
|
10
|
+
proof: RecursiveProof<PROOF_LENGTH>;
|
|
11
|
+
vkData: VkData;
|
|
12
|
+
constructor(publicInputs: T, proof: RecursiveProof<PROOF_LENGTH>, vkData: VkData);
|
|
13
|
+
toBuffer(): Buffer;
|
|
14
|
+
static fromBuffer<T extends Bufferable, PROOF_LENGTH extends number>(buffer: Buffer | BufferReader, publicInputs: {
|
|
15
|
+
fromBuffer: (reader: BufferReader) => T;
|
|
16
|
+
}, proofLength?: PROOF_LENGTH): ProofData<T, PROOF_LENGTH>;
|
|
17
|
+
}
|
|
18
|
+
export type CivcProofData<T extends Bufferable> = ProofData<T, typeof CIVC_PROOF_LENGTH>;
|
|
19
|
+
export type RollupHonkProofData<T extends Bufferable> = ProofData<T, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
|
|
20
|
+
//# sourceMappingURL=proof_data.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"proof_data.d.ts","sourceRoot":"","sources":["../../src/proofs/proof_data.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,yCAAyC,EAAE,MAAM,kBAAkB,CAAC;AACrG,OAAO,EAAE,YAAY,EAAE,KAAK,UAAU,EAAqB,MAAM,6BAA6B,CAAC;AAE/F,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAEzC;;GAEG;AACH,qBAAa,SAAS,CAAC,CAAC,SAAS,UAAU,EAAE,YAAY,SAAS,MAAM;IAE7D,YAAY,EAAE,CAAC;IACf,KAAK,EAAE,cAAc,CAAC,YAAY,CAAC;IACnC,MAAM,EAAE,MAAM;gBAFd,YAAY,EAAE,CAAC,EACf,KAAK,EAAE,cAAc,CAAC,YAAY,CAAC,EACnC,MAAM,EAAE,MAAM;IAGhB,QAAQ,IAAI,MAAM;WAIX,UAAU,CAAC,CAAC,SAAS,UAAU,EAAE,YAAY,SAAS,MAAM,EACxE,MAAM,EAAE,MAAM,GAAG,YAAY,EAC7B,YAAY,EAAE;QACZ,UAAU,EAAE,CAAC,MAAM,EAAE,YAAY,KAAK,CAAC,CAAC;KACzC,EACD,WAAW,CAAC,EAAE,YAAY,GACzB,SAAS,CAAC,CAAC,EAAE,YAAY,CAAC;CAQ9B;AAED,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,UAAU,IAAI,SAAS,CAAC,CAAC,EAAE,OAAO,iBAAiB,CAAC,CAAC;AAEzF,MAAM,MAAM,mBAAmB,CAAC,CAAC,SAAS,UAAU,IAAI,SAAS,CAAC,CAAC,EAAE,OAAO,yCAAyC,CAAC,CAAC"}
|
|
@@ -0,0 +1,22 @@
|
|
|
1
|
+
import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
|
|
2
|
+
import { RecursiveProof } from '../proofs/recursive_proof.js';
|
|
3
|
+
import { VkData } from '../vks/index.js';
|
|
4
|
+
/**
|
|
5
|
+
* Represents the data of a recursive proof.
|
|
6
|
+
*/ export class ProofData {
|
|
7
|
+
publicInputs;
|
|
8
|
+
proof;
|
|
9
|
+
vkData;
|
|
10
|
+
constructor(publicInputs, proof, vkData){
|
|
11
|
+
this.publicInputs = publicInputs;
|
|
12
|
+
this.proof = proof;
|
|
13
|
+
this.vkData = vkData;
|
|
14
|
+
}
|
|
15
|
+
toBuffer() {
|
|
16
|
+
return serializeToBuffer(this.publicInputs, this.proof, this.vkData);
|
|
17
|
+
}
|
|
18
|
+
static fromBuffer(buffer, publicInputs, proofLength) {
|
|
19
|
+
const reader = BufferReader.asReader(buffer);
|
|
20
|
+
return new ProofData(reader.readObject(publicInputs), RecursiveProof.fromBuffer(reader, proofLength), reader.readObject(VkData));
|
|
21
|
+
}
|
|
22
|
+
}
|
|
@@ -1,17 +1,16 @@
|
|
|
1
1
|
export declare enum ProvingRequestType {
|
|
2
2
|
PUBLIC_VM = 0,
|
|
3
|
-
|
|
4
|
-
|
|
5
|
-
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
15
|
-
TUBE_PROOF = 12
|
|
3
|
+
PUBLIC_TUBE = 1,
|
|
4
|
+
PRIVATE_BASE_ROLLUP = 2,
|
|
5
|
+
PUBLIC_BASE_ROLLUP = 3,
|
|
6
|
+
MERGE_ROLLUP = 4,
|
|
7
|
+
EMPTY_BLOCK_ROOT_ROLLUP = 5,
|
|
8
|
+
PADDING_BLOCK_ROOT_ROLLUP = 6,
|
|
9
|
+
BLOCK_ROOT_ROLLUP = 7,
|
|
10
|
+
SINGLE_TX_BLOCK_ROOT_ROLLUP = 8,
|
|
11
|
+
BLOCK_MERGE_ROLLUP = 9,
|
|
12
|
+
ROOT_ROLLUP = 10,
|
|
13
|
+
BASE_PARITY = 11,
|
|
14
|
+
ROOT_PARITY = 12
|
|
16
15
|
}
|
|
17
16
|
//# sourceMappingURL=proving_request_type.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"proving_request_type.d.ts","sourceRoot":"","sources":["../../src/proofs/proving_request_type.ts"],"names":[],"mappings":"AAAA,oBAAY,kBAAkB;IAC5B,SAAS,IAAA;
|
|
1
|
+
{"version":3,"file":"proving_request_type.d.ts","sourceRoot":"","sources":["../../src/proofs/proving_request_type.ts"],"names":[],"mappings":"AAAA,oBAAY,kBAAkB;IAC5B,SAAS,IAAA;IACT,WAAW,IAAA;IACX,mBAAmB,IAAA;IACnB,kBAAkB,IAAA;IAClB,YAAY,IAAA;IACZ,uBAAuB,IAAA;IACvB,yBAAyB,IAAA;IACzB,iBAAiB,IAAA;IACjB,2BAA2B,IAAA;IAC3B,kBAAkB,IAAA;IAClB,WAAW,KAAA;IAEX,WAAW,KAAA;IACX,WAAW,KAAA;CACZ"}
|
|
@@ -1,16 +1,16 @@
|
|
|
1
1
|
export var ProvingRequestType = /*#__PURE__*/ function(ProvingRequestType) {
|
|
2
2
|
ProvingRequestType[ProvingRequestType["PUBLIC_VM"] = 0] = "PUBLIC_VM";
|
|
3
|
-
ProvingRequestType[ProvingRequestType["
|
|
4
|
-
ProvingRequestType[ProvingRequestType["
|
|
5
|
-
ProvingRequestType[ProvingRequestType["
|
|
6
|
-
ProvingRequestType[ProvingRequestType["
|
|
7
|
-
ProvingRequestType[ProvingRequestType["
|
|
8
|
-
ProvingRequestType[ProvingRequestType["
|
|
9
|
-
ProvingRequestType[ProvingRequestType["
|
|
10
|
-
ProvingRequestType[ProvingRequestType["
|
|
11
|
-
ProvingRequestType[ProvingRequestType["
|
|
12
|
-
ProvingRequestType[ProvingRequestType["
|
|
13
|
-
ProvingRequestType[ProvingRequestType["
|
|
14
|
-
|
|
3
|
+
ProvingRequestType[ProvingRequestType["PUBLIC_TUBE"] = 1] = "PUBLIC_TUBE";
|
|
4
|
+
ProvingRequestType[ProvingRequestType["PRIVATE_BASE_ROLLUP"] = 2] = "PRIVATE_BASE_ROLLUP";
|
|
5
|
+
ProvingRequestType[ProvingRequestType["PUBLIC_BASE_ROLLUP"] = 3] = "PUBLIC_BASE_ROLLUP";
|
|
6
|
+
ProvingRequestType[ProvingRequestType["MERGE_ROLLUP"] = 4] = "MERGE_ROLLUP";
|
|
7
|
+
ProvingRequestType[ProvingRequestType["EMPTY_BLOCK_ROOT_ROLLUP"] = 5] = "EMPTY_BLOCK_ROOT_ROLLUP";
|
|
8
|
+
ProvingRequestType[ProvingRequestType["PADDING_BLOCK_ROOT_ROLLUP"] = 6] = "PADDING_BLOCK_ROOT_ROLLUP";
|
|
9
|
+
ProvingRequestType[ProvingRequestType["BLOCK_ROOT_ROLLUP"] = 7] = "BLOCK_ROOT_ROLLUP";
|
|
10
|
+
ProvingRequestType[ProvingRequestType["SINGLE_TX_BLOCK_ROOT_ROLLUP"] = 8] = "SINGLE_TX_BLOCK_ROOT_ROLLUP";
|
|
11
|
+
ProvingRequestType[ProvingRequestType["BLOCK_MERGE_ROLLUP"] = 9] = "BLOCK_MERGE_ROLLUP";
|
|
12
|
+
ProvingRequestType[ProvingRequestType["ROOT_ROLLUP"] = 10] = "ROOT_ROLLUP";
|
|
13
|
+
ProvingRequestType[ProvingRequestType["BASE_PARITY"] = 11] = "BASE_PARITY";
|
|
14
|
+
ProvingRequestType[ProvingRequestType["ROOT_PARITY"] = 12] = "ROOT_PARITY";
|
|
15
15
|
return ProvingRequestType;
|
|
16
16
|
}({});
|
package/dest/rollup/index.d.ts
CHANGED
|
@@ -12,10 +12,8 @@ export * from './padding_block_root_rollup_inputs.js';
|
|
|
12
12
|
export * from './previous_rollup_block_data.js';
|
|
13
13
|
export * from './previous_rollup_data.js';
|
|
14
14
|
export * from './private_base_rollup_inputs.js';
|
|
15
|
-
export * from './private_tube_data.js';
|
|
16
15
|
export * from './public_base_rollup_inputs.js';
|
|
17
|
-
export * from './
|
|
16
|
+
export * from './public_tube_private_inputs.js';
|
|
18
17
|
export * from './root_rollup.js';
|
|
19
18
|
export * from './state_diff_hints.js';
|
|
20
|
-
export * from './tube_inputs.js';
|
|
21
19
|
//# sourceMappingURL=index.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/rollup/index.ts"],"names":[],"mappings":"AAAA,cAAc,qBAAqB,CAAC;AACpC,cAAc,yCAAyC,CAAC;AACxD,cAAc,wBAAwB,CAAC;AACvC,cAAc,0BAA0B,CAAC;AACzC,cAAc,yBAAyB,CAAC;AACxC,cAAc,8CAA8C,CAAC;AAC7D,cAAc,qCAAqC,CAAC;AACpD,cAAc,0BAA0B,CAAC;AACzC,cAAc,wBAAwB,CAAC;AACvC,cAAc,mBAAmB,CAAC;AAClC,cAAc,uCAAuC,CAAC;AACtD,cAAc,iCAAiC,CAAC;AAChD,cAAc,2BAA2B,CAAC;AAC1C,cAAc,iCAAiC,CAAC;AAChD,cAAc,
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/rollup/index.ts"],"names":[],"mappings":"AAAA,cAAc,qBAAqB,CAAC;AACpC,cAAc,yCAAyC,CAAC;AACxD,cAAc,wBAAwB,CAAC;AACvC,cAAc,0BAA0B,CAAC;AACzC,cAAc,yBAAyB,CAAC;AACxC,cAAc,8CAA8C,CAAC;AAC7D,cAAc,qCAAqC,CAAC;AACpD,cAAc,0BAA0B,CAAC;AACzC,cAAc,wBAAwB,CAAC;AACvC,cAAc,mBAAmB,CAAC;AAClC,cAAc,uCAAuC,CAAC;AACtD,cAAc,iCAAiC,CAAC;AAChD,cAAc,2BAA2B,CAAC;AAC1C,cAAc,iCAAiC,CAAC;AAChD,cAAc,gCAAgC,CAAC;AAC/C,cAAc,iCAAiC,CAAC;AAChD,cAAc,kBAAkB,CAAC;AACjC,cAAc,uBAAuB,CAAC"}
|
package/dest/rollup/index.js
CHANGED
|
@@ -12,9 +12,7 @@ export * from './padding_block_root_rollup_inputs.js';
|
|
|
12
12
|
export * from './previous_rollup_block_data.js';
|
|
13
13
|
export * from './previous_rollup_data.js';
|
|
14
14
|
export * from './private_base_rollup_inputs.js';
|
|
15
|
-
export * from './private_tube_data.js';
|
|
16
15
|
export * from './public_base_rollup_inputs.js';
|
|
17
|
-
export * from './
|
|
16
|
+
export * from './public_tube_private_inputs.js';
|
|
18
17
|
export * from './root_rollup.js';
|
|
19
18
|
export * from './state_diff_hints.js';
|
|
20
|
-
export * from './tube_inputs.js';
|
|
@@ -1,18 +1,18 @@
|
|
|
1
1
|
import { BufferReader } from '@aztec/foundation/serialize';
|
|
2
2
|
import type { FieldsOf } from '@aztec/foundation/types';
|
|
3
|
+
import { PrivateToRollupKernelCircuitPublicInputs } from '../kernel/private_to_rollup_kernel_circuit_public_inputs.js';
|
|
4
|
+
import { type CivcProofData } from '../proofs/proof_data.js';
|
|
3
5
|
import { PrivateBaseRollupHints } from './base_rollup_hints.js';
|
|
4
|
-
import { PrivateTubeData } from './private_tube_data.js';
|
|
5
6
|
export declare class PrivateBaseRollupInputs {
|
|
6
|
-
|
|
7
|
+
hidingKernelProofData: CivcProofData<PrivateToRollupKernelCircuitPublicInputs>;
|
|
7
8
|
hints: PrivateBaseRollupHints;
|
|
8
|
-
constructor(
|
|
9
|
+
constructor(hidingKernelProofData: CivcProofData<PrivateToRollupKernelCircuitPublicInputs>, hints: PrivateBaseRollupHints);
|
|
9
10
|
static from(fields: FieldsOf<PrivateBaseRollupInputs>): PrivateBaseRollupInputs;
|
|
10
|
-
static getFields(fields: FieldsOf<PrivateBaseRollupInputs>): readonly [
|
|
11
|
+
static getFields(fields: FieldsOf<PrivateBaseRollupInputs>): readonly [CivcProofData<PrivateToRollupKernelCircuitPublicInputs>, PrivateBaseRollupHints];
|
|
11
12
|
static fromBuffer(buffer: Buffer | BufferReader): PrivateBaseRollupInputs;
|
|
12
13
|
toBuffer(): Buffer<ArrayBufferLike>;
|
|
13
14
|
static fromString(str: string): PrivateBaseRollupInputs;
|
|
14
15
|
toString(): `0x${string}`;
|
|
15
|
-
static empty(): PrivateBaseRollupInputs;
|
|
16
16
|
/** Returns a buffer representation for JSON serialization. */
|
|
17
17
|
toJSON(): Buffer<ArrayBufferLike>;
|
|
18
18
|
/** Creates an instance from a hex string. */
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"private_base_rollup_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/private_base_rollup_inputs.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,
|
|
1
|
+
{"version":3,"file":"private_base_rollup_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/private_base_rollup_inputs.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,wCAAwC,EAAE,MAAM,6DAA6D,CAAC;AACvH,OAAO,EAAE,KAAK,aAAa,EAAa,MAAM,yBAAyB,CAAC;AACxE,OAAO,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAEhE,qBAAa,uBAAuB;IAEzB,qBAAqB,EAAE,aAAa,CAAC,wCAAwC,CAAC;IAC9E,KAAK,EAAE,sBAAsB;gBAD7B,qBAAqB,EAAE,aAAa,CAAC,wCAAwC,CAAC,EAC9E,KAAK,EAAE,sBAAsB;IAGtC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,uBAAuB,CAAC,GAAG,uBAAuB;IAI/E,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,uBAAuB,CAAC;IAI1D,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uBAAuB;IAQzE,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,QAAQ;IAIR,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,gEAEhB;CACF"}
|
|
@@ -1,13 +1,14 @@
|
|
|
1
1
|
import { bufferSchemaFor } from '@aztec/foundation/schemas';
|
|
2
2
|
import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
|
|
3
3
|
import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
|
|
4
|
+
import { PrivateToRollupKernelCircuitPublicInputs } from '../kernel/private_to_rollup_kernel_circuit_public_inputs.js';
|
|
5
|
+
import { ProofData } from '../proofs/proof_data.js';
|
|
4
6
|
import { PrivateBaseRollupHints } from './base_rollup_hints.js';
|
|
5
|
-
import { PrivateTubeData } from './private_tube_data.js';
|
|
6
7
|
export class PrivateBaseRollupInputs {
|
|
7
|
-
|
|
8
|
+
hidingKernelProofData;
|
|
8
9
|
hints;
|
|
9
|
-
constructor(
|
|
10
|
-
this.
|
|
10
|
+
constructor(hidingKernelProofData, hints){
|
|
11
|
+
this.hidingKernelProofData = hidingKernelProofData;
|
|
11
12
|
this.hints = hints;
|
|
12
13
|
}
|
|
13
14
|
static from(fields) {
|
|
@@ -15,13 +16,13 @@ export class PrivateBaseRollupInputs {
|
|
|
15
16
|
}
|
|
16
17
|
static getFields(fields) {
|
|
17
18
|
return [
|
|
18
|
-
fields.
|
|
19
|
+
fields.hidingKernelProofData,
|
|
19
20
|
fields.hints
|
|
20
21
|
];
|
|
21
22
|
}
|
|
22
23
|
static fromBuffer(buffer) {
|
|
23
24
|
const reader = BufferReader.asReader(buffer);
|
|
24
|
-
return new PrivateBaseRollupInputs(
|
|
25
|
+
return new PrivateBaseRollupInputs(ProofData.fromBuffer(reader, PrivateToRollupKernelCircuitPublicInputs), reader.readObject(PrivateBaseRollupHints));
|
|
25
26
|
}
|
|
26
27
|
toBuffer() {
|
|
27
28
|
return serializeToBuffer(...PrivateBaseRollupInputs.getFields(this));
|
|
@@ -32,9 +33,6 @@ export class PrivateBaseRollupInputs {
|
|
|
32
33
|
toString() {
|
|
33
34
|
return bufferToHex(this.toBuffer());
|
|
34
35
|
}
|
|
35
|
-
static empty() {
|
|
36
|
-
return new PrivateBaseRollupInputs(PrivateTubeData.empty(), PrivateBaseRollupHints.empty());
|
|
37
|
-
}
|
|
38
36
|
/** Returns a buffer representation for JSON serialization. */ toJSON() {
|
|
39
37
|
return this.toBuffer();
|
|
40
38
|
}
|
|
@@ -1,20 +1,20 @@
|
|
|
1
1
|
import { BufferReader } from '@aztec/foundation/serialize';
|
|
2
2
|
import type { FieldsOf } from '@aztec/foundation/types';
|
|
3
|
+
import { PrivateToPublicKernelCircuitPublicInputs } from '../kernel/private_to_public_kernel_circuit_public_inputs.js';
|
|
4
|
+
import { type RollupHonkProofData } from '../proofs/proof_data.js';
|
|
3
5
|
import { AvmProofData } from './avm_proof_data.js';
|
|
4
6
|
import { PublicBaseRollupHints } from './base_rollup_hints.js';
|
|
5
|
-
import { PublicTubeData } from './public_tube_data.js';
|
|
6
7
|
export declare class PublicBaseRollupInputs {
|
|
7
|
-
|
|
8
|
+
publicTubeProofData: RollupHonkProofData<PrivateToPublicKernelCircuitPublicInputs>;
|
|
8
9
|
avmProofData: AvmProofData;
|
|
9
10
|
hints: PublicBaseRollupHints;
|
|
10
|
-
constructor(
|
|
11
|
+
constructor(publicTubeProofData: RollupHonkProofData<PrivateToPublicKernelCircuitPublicInputs>, avmProofData: AvmProofData, hints: PublicBaseRollupHints);
|
|
11
12
|
static from(fields: FieldsOf<PublicBaseRollupInputs>): PublicBaseRollupInputs;
|
|
12
|
-
static getFields(fields: FieldsOf<PublicBaseRollupInputs>): readonly [
|
|
13
|
+
static getFields(fields: FieldsOf<PublicBaseRollupInputs>): readonly [RollupHonkProofData<PrivateToPublicKernelCircuitPublicInputs>, AvmProofData, PublicBaseRollupHints];
|
|
13
14
|
static fromBuffer(buffer: Buffer | BufferReader): PublicBaseRollupInputs;
|
|
14
15
|
toBuffer(): Buffer<ArrayBufferLike>;
|
|
15
16
|
static fromString(str: string): PublicBaseRollupInputs;
|
|
16
17
|
toString(): `0x${string}`;
|
|
17
|
-
static empty(): PublicBaseRollupInputs;
|
|
18
18
|
/** Returns a representation for JSON serialization. */
|
|
19
19
|
toJSON(): Buffer<ArrayBufferLike>;
|
|
20
20
|
/** Creates an instance from a string. */
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"public_base_rollup_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/public_base_rollup_inputs.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,
|
|
1
|
+
{"version":3,"file":"public_base_rollup_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/public_base_rollup_inputs.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,wCAAwC,EAAE,MAAM,6DAA6D,CAAC;AACvH,OAAO,EAAa,KAAK,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC9E,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAE/D,qBAAa,sBAAsB;IAExB,mBAAmB,EAAE,mBAAmB,CAAC,wCAAwC,CAAC;IAClF,YAAY,EAAE,YAAY;IAC1B,KAAK,EAAE,qBAAqB;gBAF5B,mBAAmB,EAAE,mBAAmB,CAAC,wCAAwC,CAAC,EAClF,YAAY,EAAE,YAAY,EAC1B,KAAK,EAAE,qBAAqB;IAGrC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC,GAAG,sBAAsB;IAI7E,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC;IAIzD,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,sBAAsB;IASxE,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,QAAQ;IAIR,uDAAuD;IACvD,MAAM;IAIN,yCAAyC;IACzC,MAAM,KAAK,MAAM,+DAEhB;CACF"}
|
|
@@ -1,15 +1,16 @@
|
|
|
1
1
|
import { bufferSchemaFor } from '@aztec/foundation/schemas';
|
|
2
2
|
import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
|
|
3
3
|
import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
|
|
4
|
+
import { PrivateToPublicKernelCircuitPublicInputs } from '../kernel/private_to_public_kernel_circuit_public_inputs.js';
|
|
5
|
+
import { ProofData } from '../proofs/proof_data.js';
|
|
4
6
|
import { AvmProofData } from './avm_proof_data.js';
|
|
5
7
|
import { PublicBaseRollupHints } from './base_rollup_hints.js';
|
|
6
|
-
import { PublicTubeData } from './public_tube_data.js';
|
|
7
8
|
export class PublicBaseRollupInputs {
|
|
8
|
-
|
|
9
|
+
publicTubeProofData;
|
|
9
10
|
avmProofData;
|
|
10
11
|
hints;
|
|
11
|
-
constructor(
|
|
12
|
-
this.
|
|
12
|
+
constructor(publicTubeProofData, avmProofData, hints){
|
|
13
|
+
this.publicTubeProofData = publicTubeProofData;
|
|
13
14
|
this.avmProofData = avmProofData;
|
|
14
15
|
this.hints = hints;
|
|
15
16
|
}
|
|
@@ -18,14 +19,14 @@ export class PublicBaseRollupInputs {
|
|
|
18
19
|
}
|
|
19
20
|
static getFields(fields) {
|
|
20
21
|
return [
|
|
21
|
-
fields.
|
|
22
|
+
fields.publicTubeProofData,
|
|
22
23
|
fields.avmProofData,
|
|
23
24
|
fields.hints
|
|
24
25
|
];
|
|
25
26
|
}
|
|
26
27
|
static fromBuffer(buffer) {
|
|
27
28
|
const reader = BufferReader.asReader(buffer);
|
|
28
|
-
return new PublicBaseRollupInputs(
|
|
29
|
+
return new PublicBaseRollupInputs(ProofData.fromBuffer(reader, PrivateToPublicKernelCircuitPublicInputs), reader.readObject(AvmProofData), reader.readObject(PublicBaseRollupHints));
|
|
29
30
|
}
|
|
30
31
|
toBuffer() {
|
|
31
32
|
return serializeToBuffer(...PublicBaseRollupInputs.getFields(this));
|
|
@@ -36,9 +37,6 @@ export class PublicBaseRollupInputs {
|
|
|
36
37
|
toString() {
|
|
37
38
|
return bufferToHex(this.toBuffer());
|
|
38
39
|
}
|
|
39
|
-
static empty() {
|
|
40
|
-
return new PublicBaseRollupInputs(PublicTubeData.empty(), AvmProofData.empty(), PublicBaseRollupHints.empty());
|
|
41
|
-
}
|
|
42
40
|
/** Returns a representation for JSON serialization. */ toJSON() {
|
|
43
41
|
return this.toBuffer();
|
|
44
42
|
}
|
|
@@ -0,0 +1,19 @@
|
|
|
1
|
+
import { BufferReader } from '@aztec/foundation/serialize';
|
|
2
|
+
import type { FieldsOf } from '@aztec/foundation/types';
|
|
3
|
+
import { PrivateToPublicKernelCircuitPublicInputs } from '../kernel/private_to_public_kernel_circuit_public_inputs.js';
|
|
4
|
+
import { type CivcProofData } from '../proofs/proof_data.js';
|
|
5
|
+
export declare class PublicTubePrivateInputs {
|
|
6
|
+
hidingKernelProofData: CivcProofData<PrivateToPublicKernelCircuitPublicInputs>;
|
|
7
|
+
constructor(hidingKernelProofData: CivcProofData<PrivateToPublicKernelCircuitPublicInputs>);
|
|
8
|
+
static from(fields: FieldsOf<PublicTubePrivateInputs>): PublicTubePrivateInputs;
|
|
9
|
+
static getFields(fields: FieldsOf<PublicTubePrivateInputs>): readonly [CivcProofData<PrivateToPublicKernelCircuitPublicInputs>];
|
|
10
|
+
static fromBuffer(buffer: Buffer | BufferReader): PublicTubePrivateInputs;
|
|
11
|
+
toBuffer(): Buffer<ArrayBufferLike>;
|
|
12
|
+
static fromString(str: string): PublicTubePrivateInputs;
|
|
13
|
+
toString(): `0x${string}`;
|
|
14
|
+
/** Returns a representation for JSON serialization. */
|
|
15
|
+
toJSON(): Buffer<ArrayBufferLike>;
|
|
16
|
+
/** Creates an instance from a string. */
|
|
17
|
+
static get schema(): import("zod").ZodType<PublicTubePrivateInputs, any, string>;
|
|
18
|
+
}
|
|
19
|
+
//# sourceMappingURL=public_tube_private_inputs.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"public_tube_private_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/public_tube_private_inputs.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,wCAAwC,EAAE,MAAM,6DAA6D,CAAC;AACvH,OAAO,EAAE,KAAK,aAAa,EAAa,MAAM,yBAAyB,CAAC;AAExE,qBAAa,uBAAuB;IACf,qBAAqB,EAAE,aAAa,CAAC,wCAAwC,CAAC;gBAA9E,qBAAqB,EAAE,aAAa,CAAC,wCAAwC,CAAC;IAEjG,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,uBAAuB,CAAC;IAIrD,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,uBAAuB,CAAC;IAI1D,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,QAAQ;IAIR,uDAAuD;IACvD,MAAM;IAIN,yCAAyC;IACzC,MAAM,KAAK,MAAM,gEAEhB;CACF"}
|
|
@@ -0,0 +1,38 @@
|
|
|
1
|
+
import { bufferSchemaFor } from '@aztec/foundation/schemas';
|
|
2
|
+
import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
|
|
3
|
+
import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
|
|
4
|
+
import { PrivateToPublicKernelCircuitPublicInputs } from '../kernel/private_to_public_kernel_circuit_public_inputs.js';
|
|
5
|
+
import { ProofData } from '../proofs/proof_data.js';
|
|
6
|
+
export class PublicTubePrivateInputs {
|
|
7
|
+
hidingKernelProofData;
|
|
8
|
+
constructor(hidingKernelProofData){
|
|
9
|
+
this.hidingKernelProofData = hidingKernelProofData;
|
|
10
|
+
}
|
|
11
|
+
static from(fields) {
|
|
12
|
+
return new PublicTubePrivateInputs(...PublicTubePrivateInputs.getFields(fields));
|
|
13
|
+
}
|
|
14
|
+
static getFields(fields) {
|
|
15
|
+
return [
|
|
16
|
+
fields.hidingKernelProofData
|
|
17
|
+
];
|
|
18
|
+
}
|
|
19
|
+
static fromBuffer(buffer) {
|
|
20
|
+
const reader = BufferReader.asReader(buffer);
|
|
21
|
+
return new PublicTubePrivateInputs(ProofData.fromBuffer(reader, PrivateToPublicKernelCircuitPublicInputs));
|
|
22
|
+
}
|
|
23
|
+
toBuffer() {
|
|
24
|
+
return serializeToBuffer(...PublicTubePrivateInputs.getFields(this));
|
|
25
|
+
}
|
|
26
|
+
static fromString(str) {
|
|
27
|
+
return PublicTubePrivateInputs.fromBuffer(hexToBuffer(str));
|
|
28
|
+
}
|
|
29
|
+
toString() {
|
|
30
|
+
return bufferToHex(this.toBuffer());
|
|
31
|
+
}
|
|
32
|
+
/** Returns a representation for JSON serialization. */ toJSON() {
|
|
33
|
+
return this.toBuffer();
|
|
34
|
+
}
|
|
35
|
+
/** Creates an instance from a string. */ static get schema() {
|
|
36
|
+
return bufferSchemaFor(PublicTubePrivateInputs);
|
|
37
|
+
}
|
|
38
|
+
}
|
package/dest/stats/stats.d.ts
CHANGED
|
@@ -69,7 +69,7 @@ export type NodeSyncedChainHistoryStats = {
|
|
|
69
69
|
dbSize: number;
|
|
70
70
|
};
|
|
71
71
|
export type ClientCircuitName = 'private-kernel-init' | 'private-kernel-inner' | 'private-kernel-reset' | 'private-kernel-tail' | 'private-kernel-tail-to-public' | 'hiding-kernel-to-rollup' | 'hiding-kernel-to-public' | 'app-circuit';
|
|
72
|
-
export type ServerCircuitName = 'base-parity' | 'root-parity' | 'private-base-rollup' | 'public-base-rollup' | 'merge-rollup' | 'block-root-rollup' | 'single-tx-block-root-rollup' | 'empty-block-root-rollup' | 'padding-block-root-rollup' | 'block-merge-rollup' | 'root-rollup' | 'avm-circuit'
|
|
72
|
+
export type ServerCircuitName = 'base-parity' | 'root-parity' | 'public-tube' | 'private-base-rollup' | 'public-base-rollup' | 'merge-rollup' | 'block-root-rollup' | 'single-tx-block-root-rollup' | 'empty-block-root-rollup' | 'padding-block-root-rollup' | 'block-merge-rollup' | 'root-rollup' | 'avm-circuit';
|
|
73
73
|
export type CircuitName = ClientCircuitName | ServerCircuitName;
|
|
74
74
|
/** Stats for circuit simulation. */
|
|
75
75
|
export type CircuitSimulationStats = {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"stats.d.ts","sourceRoot":"","sources":["../../src/stats/stats.ts"],"names":[],"mappings":"AAAA,qDAAqD;AACrD,MAAM,MAAM,gBAAgB,GAAG;IAC7B,6CAA6C;IAC7C,SAAS,EAAE,yBAAyB,CAAC;IACrC,uCAAuC;IACvC,SAAS,EAAE,MAAM,CAAC;IAClB,yCAAyC;IACzC,OAAO,EAAE,MAAM,CAAC;IAChB,yBAAyB;IACzB,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AAEF,yCAAyC;AACzC,MAAM,MAAM,YAAY,GAAG;IACzB,qCAAqC;IACrC,OAAO,EAAE,MAAM,CAAC;IAChB,8BAA8B;IAC9B,WAAW,EAAE,MAAM,CAAC;IACpB,6BAA6B;IAC7B,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,0CAA0C;AAC1C,MAAM,MAAM,cAAc,GAAG;IAC3B,6BAA6B;IAC7B,MAAM,EAAE,MAAM,CAAC;IACf,qCAAqC;IACrC,QAAQ,EAAE,MAAM,CAAC;IACjB,oCAAoC;IACpC,OAAO,EAAE,MAAM,CAAC;IAChB,yBAAyB;IACzB,eAAe,EAAE,MAAM,CAAC;IACxB,gCAAgC;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,qCAAqC;IACrC,YAAY,EAAE,MAAM,CAAC;IACrB,gCAAgC;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,+BAA+B;IAC/B,WAAW,EAAE,MAAM,CAAC;IACpB,gCAAgC;IAChC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,8DAA8D;IAC9D,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,iDAAiD;AACjD,MAAM,MAAM,mBAAmB,GAAG;IAChC,6CAA6C;IAC7C,SAAS,EAAE,wBAAwB,CAAC;CACrC,GAAG,cAAc,GAChB,YAAY,CAAC;AAEf,iDAAiD;AACjD,MAAM,MAAM,mBAAmB,GAAG;IAChC,6CAA6C;IAC7C,SAAS,EAAE,uBAAuB,CAAC;CACpC,GAAG,cAAc,CAAC;AAEnB,qDAAqD;AACrD,MAAM,MAAM,2BAA2B,GAAG;IACxC,yBAAyB;IACzB,SAAS,EAAE,2BAA2B,CAAC;IACvC,sCAAsC;IACtC,OAAO,EAAE,MAAM,CAAC;IAChB,mCAAmC;IACnC,WAAW,EAAE,MAAM,CAAC;IACpB,sBAAsB;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,0BAA0B;IAC1B,WAAW,EAAE,MAAM,CAAC;IACpB,kCAAkC;IAClC,UAAU,EAAE,MAAM,CAAC;IACnB,+BAA+B;IAC/B,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,iBAAiB,GACzB,qBAAqB,GACrB,sBAAsB,GACtB,sBAAsB,GACtB,qBAAqB,GACrB,+BAA+B,GAC/B,yBAAyB,GACzB,yBAAyB,GACzB,aAAa,CAAC;AAElB,MAAM,MAAM,iBAAiB,GACzB,aAAa,GACb,aAAa,GACb,qBAAqB,GACrB,oBAAoB,GACpB,cAAc,GACd,mBAAmB,GACnB,6BAA6B,GAC7B,yBAAyB,GACzB,2BAA2B,GAC3B,oBAAoB,GACpB,aAAa,GACb,aAAa,
|
|
1
|
+
{"version":3,"file":"stats.d.ts","sourceRoot":"","sources":["../../src/stats/stats.ts"],"names":[],"mappings":"AAAA,qDAAqD;AACrD,MAAM,MAAM,gBAAgB,GAAG;IAC7B,6CAA6C;IAC7C,SAAS,EAAE,yBAAyB,CAAC;IACrC,uCAAuC;IACvC,SAAS,EAAE,MAAM,CAAC;IAClB,yCAAyC;IACzC,OAAO,EAAE,MAAM,CAAC;IAChB,yBAAyB;IACzB,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AAEF,yCAAyC;AACzC,MAAM,MAAM,YAAY,GAAG;IACzB,qCAAqC;IACrC,OAAO,EAAE,MAAM,CAAC;IAChB,8BAA8B;IAC9B,WAAW,EAAE,MAAM,CAAC;IACpB,6BAA6B;IAC7B,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,0CAA0C;AAC1C,MAAM,MAAM,cAAc,GAAG;IAC3B,6BAA6B;IAC7B,MAAM,EAAE,MAAM,CAAC;IACf,qCAAqC;IACrC,QAAQ,EAAE,MAAM,CAAC;IACjB,oCAAoC;IACpC,OAAO,EAAE,MAAM,CAAC;IAChB,yBAAyB;IACzB,eAAe,EAAE,MAAM,CAAC;IACxB,gCAAgC;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,qCAAqC;IACrC,YAAY,EAAE,MAAM,CAAC;IACrB,gCAAgC;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,+BAA+B;IAC/B,WAAW,EAAE,MAAM,CAAC;IACpB,gCAAgC;IAChC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,8DAA8D;IAC9D,eAAe,CAAC,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,iDAAiD;AACjD,MAAM,MAAM,mBAAmB,GAAG;IAChC,6CAA6C;IAC7C,SAAS,EAAE,wBAAwB,CAAC;CACrC,GAAG,cAAc,GAChB,YAAY,CAAC;AAEf,iDAAiD;AACjD,MAAM,MAAM,mBAAmB,GAAG;IAChC,6CAA6C;IAC7C,SAAS,EAAE,uBAAuB,CAAC;CACpC,GAAG,cAAc,CAAC;AAEnB,qDAAqD;AACrD,MAAM,MAAM,2BAA2B,GAAG;IACxC,yBAAyB;IACzB,SAAS,EAAE,2BAA2B,CAAC;IACvC,sCAAsC;IACtC,OAAO,EAAE,MAAM,CAAC;IAChB,mCAAmC;IACnC,WAAW,EAAE,MAAM,CAAC;IACpB,sBAAsB;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,0BAA0B;IAC1B,WAAW,EAAE,MAAM,CAAC;IACpB,kCAAkC;IAClC,UAAU,EAAE,MAAM,CAAC;IACnB,+BAA+B;IAC/B,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,iBAAiB,GACzB,qBAAqB,GACrB,sBAAsB,GACtB,sBAAsB,GACtB,qBAAqB,GACrB,+BAA+B,GAC/B,yBAAyB,GACzB,yBAAyB,GACzB,aAAa,CAAC;AAElB,MAAM,MAAM,iBAAiB,GACzB,aAAa,GACb,aAAa,GACb,aAAa,GACb,qBAAqB,GACrB,oBAAoB,GACpB,cAAc,GACd,mBAAmB,GACnB,6BAA6B,GAC7B,yBAAyB,GACzB,2BAA2B,GAC3B,oBAAoB,GACpB,aAAa,GACb,aAAa,CAAC;AAElB,MAAM,MAAM,WAAW,GAAG,iBAAiB,GAAG,iBAAiB,CAAC;AAEhE,oCAAoC;AACpC,MAAM,MAAM,sBAAsB,GAAG;IACnC,yBAAyB;IACzB,SAAS,EAAE,oBAAoB,CAAC;IAChC,2BAA2B;IAC3B,WAAW,EAAE,WAAW,CAAC;IACzB,yDAAyD;IACzD,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,sBAAsB;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,uCAAuC;IACvC,SAAS,EAAE,MAAM,CAAC;IAClB,4DAA4D;IAC5D,UAAU,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAAG;IAChC,SAAS,EAAE,kBAAkB,CAAC;IAC9B,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE,MAAM,CAAC;CACnB,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,yBAAyB;IACzB,SAAS,EAAE,gBAAgB,CAAC;IAC5B,2BAA2B;IAC3B,cAAc,EAAE,MAAM,CAAC;IACvB,sBAAsB;IACtB,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF,oCAAoC;AACpC,MAAM,MAAM,6BAA6B,GAAG;IAC1C,yBAAyB;IACzB,SAAS,EAAE,4BAA4B,CAAC;IACxC,2BAA2B;IAC3B,WAAW,EAAE,WAAW,CAAC;IACzB,sDAAsD;IACtD,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,sBAAsB;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,uCAAuC;IACvC,SAAS,EAAE,MAAM,CAAC;IAClB,4DAA4D;IAC5D,UAAU,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,kCAAkC;AAClC,MAAM,MAAM,mBAAmB,GAAG;IAChC,yBAAyB;IACzB,SAAS,EAAE,iBAAiB,CAAC;IAC7B,2BAA2B;IAC3B,WAAW,EAAE,WAAW,CAAC;IACzB,kDAAkD;IAClD,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,sBAAsB;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,yCAAyC;IACzC,WAAW,EAAE,MAAM,CAAC;IACpB,uCAAuC;IACvC,SAAS,EAAE,MAAM,CAAC;IAClB,kCAAkC;IAClC,SAAS,EAAE,MAAM,CAAC;IAClB,kCAAkC;IAClC,eAAe,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,oCAAoC;AACpC,MAAM,MAAM,wBAAwB,GAAG;IACrC,yBAAyB;IACzB,SAAS,EAAE,sBAAsB,CAAC;IAClC,2BAA2B;IAC3B,WAAW,EAAE,WAAW,CAAC;IACzB,4CAA4C;IAC5C,SAAS,EAAE,YAAY,GAAG,YAAY,CAAC;IACvC,sBAAsB;IACtB,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF,kDAAkD;AAClD,MAAM,MAAM,iBAAiB,GAAG;IAC9B,+BAA+B;IAC/B,OAAO,EAAE,MAAM,CAAC;IAChB,yBAAyB;IACzB,SAAS,EAAE,gBAAgB,CAAC;IAC5B,4BAA4B;IAC5B,QAAQ,EAAE,MAAM,CAAC;IACjB,4CAA4C;IAC5C,qBAAqB,EAAE,MAAM,CAAC;IAC9B,+CAA+C;IAC/C,sBAAsB,EAAE,MAAM,CAAC;CAChC,GAAG,YAAY,CAAC;AAEjB,uEAAuE;AACvE,MAAM,MAAM,mBAAmB,GAAG;IAChC,yBAAyB;IACzB,SAAS,EAAE,kBAAkB,CAAC;IAC9B,4BAA4B;IAC5B,QAAQ,EAAE,MAAM,CAAC;IACjB,4BAA4B;IAC5B,sBAAsB,EAAE,MAAM,CAAC;IAC/B,2BAA2B;IAC3B,oBAAoB,EAAE,MAAM,CAAC;IAC7B,oCAAoC;IACpC,mBAAmB,EAAE,MAAM,CAAC;CAC7B,GAAG,YAAY,CAAC;AAEjB,sBAAsB;AACtB,MAAM,MAAM,OAAO,GAAG;IACpB,sBAAsB;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,2BAA2B;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,yBAAyB;IACzB,SAAS,EAAE,MAAM,CAAC;IAClB,4BAA4B;IAC5B,aAAa,EAAE,MAAM,CAAC;IACtB,2BAA2B;IAC3B,cAAc,EAAE,MAAM,CAAC;IACvB,6BAA6B;IAC7B,eAAe,EAAE,MAAM,CAAC;IACxB,uEAAuE;IACvE,mBAAmB,EAAE,MAAM,CAAC;IAC5B,wDAAwD;IACxD,oBAAoB,EAAE,MAAM,CAAC;IAC7B,mCAAmC;IACnC,gBAAgB,EAAE,WAAW,GAAG,KAAK,CAAC;CACvC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,yBAAyB;IACzB,SAAS,EAAE,gBAAgB,CAAC;IAC5B,sBAAsB;IACtB,QAAQ,EAAE,MAAM,CAAC;IACjB,sCAAsC;IACtC,SAAS,EAAE,MAAM,CAAC;IAClB,oBAAoB;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,qBAAqB;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,gBAAgB;IAChB,QAAQ,EAAE,aAAa,GAAG,SAAS,CAAC;IACpC,iCAAiC;IACjC,SAAS,EAAE,MAAM,CAAC;IAClB,2CAA2C;IAC3C,YAAY,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF,yCAAyC;AACzC,MAAM,MAAM,kBAAkB,GAAG;IAC/B,yBAAyB;IACzB,SAAS,EAAE,kBAAkB,CAAC;CAC/B,GAAG,OAAO,CAAC;AAEZ,yEAAyE;AACzE,MAAM,MAAM,KAAK,GACb,kBAAkB,GAClB,mBAAmB,GACnB,sBAAsB,GACtB,6BAA6B,GAC7B,mBAAmB,GACnB,mBAAmB,GACnB,mBAAmB,GACnB,iBAAiB,GACjB,mBAAmB,GACnB,2BAA2B,GAC3B,gBAAgB,GAChB,kBAAkB,GAClB,kBAAkB,CAAC;AAEvB,+CAA+C;AAC/C,MAAM,MAAM,cAAc,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC"}
|