@aztec/sequencer-client 0.7.0 → 0.7.2
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/Dockerfile +21 -0
- package/package.json +10 -10
- package/src/block_builder/solo_block_builder.test.ts +4 -4
- package/src/block_builder/solo_block_builder.ts +80 -24
- package/src/publisher/viem-tx-sender.ts +4 -1
- package/src/sequencer/sequencer.ts +15 -4
- package/src/simulator/public_executor.ts +2 -16
- package/src/simulator/rollup.ts +7 -4
- package/.tsbuildinfo +0 -1
- package/dest/block_builder/index.d.ts +0 -19
- package/dest/block_builder/index.d.ts.map +0 -1
- package/dest/block_builder/index.js +0 -2
- package/dest/block_builder/solo_block_builder.d.ts +0 -77
- package/dest/block_builder/solo_block_builder.d.ts.map +0 -1
- package/dest/block_builder/solo_block_builder.js +0 -454
- package/dest/block_builder/solo_block_builder.test.d.ts +0 -3
- package/dest/block_builder/solo_block_builder.test.d.ts.map +0 -1
- package/dest/block_builder/solo_block_builder.test.js +0 -277
- package/dest/block_builder/types.d.ts +0 -12
- package/dest/block_builder/types.d.ts.map +0 -1
- package/dest/block_builder/types.js +0 -2
- package/dest/client/index.d.ts +0 -2
- package/dest/client/index.d.ts.map +0 -1
- package/dest/client/index.js +0 -2
- package/dest/client/sequencer-client.d.ts +0 -32
- package/dest/client/sequencer-client.d.ts.map +0 -1
- package/dest/client/sequencer-client.js +0 -47
- package/dest/config.d.ts +0 -12
- package/dest/config.d.ts.map +0 -1
- package/dest/config.js +0 -28
- package/dest/global_variable_builder/config.d.ts +0 -19
- package/dest/global_variable_builder/config.d.ts.map +0 -1
- package/dest/global_variable_builder/config.js +0 -2
- package/dest/global_variable_builder/global_builder.d.ts +0 -58
- package/dest/global_variable_builder/global_builder.d.ts.map +0 -1
- package/dest/global_variable_builder/global_builder.js +0 -36
- package/dest/global_variable_builder/index.d.ts +0 -12
- package/dest/global_variable_builder/index.d.ts.map +0 -1
- package/dest/global_variable_builder/index.js +0 -12
- package/dest/global_variable_builder/viem-reader.d.ts +0 -16
- package/dest/global_variable_builder/viem-reader.d.ts.map +0 -1
- package/dest/global_variable_builder/viem-reader.js +0 -37
- package/dest/index.d.ts +0 -12
- package/dest/index.d.ts.map +0 -1
- package/dest/index.js +0 -14
- package/dest/mocks/verification_keys.d.ts +0 -28
- package/dest/mocks/verification_keys.d.ts.map +0 -1
- package/dest/mocks/verification_keys.js +0 -14
- package/dest/prover/empty.d.ts +0 -41
- package/dest/prover/empty.d.ts.map +0 -1
- package/dest/prover/empty.js +0 -57
- package/dest/prover/index.d.ts +0 -40
- package/dest/prover/index.d.ts.map +0 -1
- package/dest/prover/index.js +0 -2
- package/dest/publisher/config.d.ts +0 -32
- package/dest/publisher/config.d.ts.map +0 -1
- package/dest/publisher/config.js +0 -2
- package/dest/publisher/index.d.ts +0 -10
- package/dest/publisher/index.d.ts.map +0 -1
- package/dest/publisher/index.js +0 -11
- package/dest/publisher/l1-publisher.d.ts +0 -105
- package/dest/publisher/l1-publisher.d.ts.map +0 -1
- package/dest/publisher/l1-publisher.js +0 -156
- package/dest/publisher/l1-publisher.test.d.ts +0 -2
- package/dest/publisher/l1-publisher.test.d.ts.map +0 -1
- package/dest/publisher/l1-publisher.test.js +0 -58
- package/dest/publisher/viem-tx-sender.d.ts +0 -42
- package/dest/publisher/viem-tx-sender.d.ts.map +0 -1
- package/dest/publisher/viem-tx-sender.js +0 -118
- package/dest/receiver.d.ts +0 -13
- package/dest/receiver.d.ts.map +0 -1
- package/dest/receiver.js +0 -2
- package/dest/sequencer/config.d.ts +0 -26
- package/dest/sequencer/config.d.ts.map +0 -1
- package/dest/sequencer/config.js +0 -2
- package/dest/sequencer/index.d.ts +0 -4
- package/dest/sequencer/index.d.ts.map +0 -1
- package/dest/sequencer/index.js +0 -4
- package/dest/sequencer/processed_tx.d.ts +0 -51
- package/dest/sequencer/processed_tx.d.ts.map +0 -1
- package/dest/sequencer/processed_tx.js +0 -40
- package/dest/sequencer/public_processor.d.ts +0 -75
- package/dest/sequencer/public_processor.d.ts.map +0 -1
- package/dest/sequencer/public_processor.js +0 -269
- package/dest/sequencer/public_processor.test.d.ts +0 -2
- package/dest/sequencer/public_processor.test.d.ts.map +0 -1
- package/dest/sequencer/public_processor.test.js +0 -164
- package/dest/sequencer/sequencer.d.ts +0 -133
- package/dest/sequencer/sequencer.d.ts.map +0 -1
- package/dest/sequencer/sequencer.js +0 -297
- package/dest/sequencer/sequencer.test.d.ts +0 -2
- package/dest/sequencer/sequencer.test.d.ts.map +0 -1
- package/dest/sequencer/sequencer.test.js +0 -99
- package/dest/sequencer/utils.d.ts +0 -7
- package/dest/sequencer/utils.d.ts.map +0 -1
- package/dest/sequencer/utils.js +0 -12
- package/dest/simulator/index.d.ts +0 -43
- package/dest/simulator/index.d.ts.map +0 -1
- package/dest/simulator/index.js +0 -2
- package/dest/simulator/public_executor.d.ts +0 -22
- package/dest/simulator/public_executor.d.ts.map +0 -1
- package/dest/simulator/public_executor.js +0 -99
- package/dest/simulator/public_kernel.d.ts +0 -20
- package/dest/simulator/public_kernel.d.ts.map +0 -1
- package/dest/simulator/public_kernel.js +0 -27
- package/dest/simulator/rollup.d.ts +0 -34
- package/dest/simulator/rollup.d.ts.map +0 -1
- package/dest/simulator/rollup.js +0 -50
- package/dest/utils.d.ts +0 -12
- package/dest/utils.d.ts.map +0 -1
- package/dest/utils.js +0 -16
package/dest/simulator/index.js
DELETED
|
@@ -1,2 +0,0 @@
|
|
|
1
|
-
export { getPublicExecutor } from './public_executor.js';
|
|
2
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvc2ltdWxhdG9yL2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQVVBLE9BQU8sRUFBRSxpQkFBaUIsRUFBRSxNQUFNLHNCQUFzQixDQUFDIn0=
|
|
@@ -1,22 +0,0 @@
|
|
|
1
|
-
import { CommitmentDataOracleInputs, CommitmentsDB, MessageLoadOracleInputs, PublicExecutor } from '@aztec/acir-simulator';
|
|
2
|
-
import { AztecAddress, Fr, HistoricBlockData } from '@aztec/circuits.js';
|
|
3
|
-
import { ContractDataSource, L1ToL2MessageSource } from '@aztec/types';
|
|
4
|
-
import { MerkleTreeOperations } from '@aztec/world-state';
|
|
5
|
-
/**
|
|
6
|
-
* Returns a new PublicExecutor simulator backed by the supplied merkle tree db and contract data source.
|
|
7
|
-
* @param merkleTree - A merkle tree database.
|
|
8
|
-
* @param contractDataSource - A contract data source.
|
|
9
|
-
* @returns A new instance of a PublicExecutor.
|
|
10
|
-
*/
|
|
11
|
-
export declare function getPublicExecutor(merkleTree: MerkleTreeOperations, contractDataSource: ContractDataSource, l1toL2MessageSource: L1ToL2MessageSource, blockData: HistoricBlockData): PublicExecutor;
|
|
12
|
-
/**
|
|
13
|
-
* Implements WorldState db using a world state database.
|
|
14
|
-
*/
|
|
15
|
-
export declare class WorldStateDB implements CommitmentsDB {
|
|
16
|
-
private db;
|
|
17
|
-
private l1ToL2MessageSource;
|
|
18
|
-
constructor(db: MerkleTreeOperations, l1ToL2MessageSource: L1ToL2MessageSource);
|
|
19
|
-
getL1ToL2Message(messageKey: Fr): Promise<MessageLoadOracleInputs>;
|
|
20
|
-
getCommitmentOracle(address: AztecAddress, innerCommitment: Fr): Promise<CommitmentDataOracleInputs>;
|
|
21
|
-
}
|
|
22
|
-
//# sourceMappingURL=public_executor.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"public_executor.d.ts","sourceRoot":"","sources":["../../src/simulator/public_executor.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,0BAA0B,EAC1B,aAAa,EACb,uBAAuB,EAEvB,cAAc,EAEf,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,YAAY,EAA4B,EAAE,EAAoB,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AAErH,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAgB,MAAM,cAAc,CAAC;AACrF,OAAO,EAAE,oBAAoB,EAAkC,MAAM,oBAAoB,CAAC;AAE1F;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAC/B,UAAU,EAAE,oBAAoB,EAChC,kBAAkB,EAAE,kBAAkB,EACtC,mBAAmB,EAAE,mBAAmB,EACxC,SAAS,EAAE,iBAAiB,kBAQ7B;AAoDD;;GAEG;AACH,qBAAa,YAAa,YAAW,aAAa;IACpC,OAAO,CAAC,EAAE;IAAwB,OAAO,CAAC,mBAAmB;gBAArD,EAAE,EAAE,oBAAoB,EAAU,mBAAmB,EAAE,mBAAmB;IAEjF,gBAAgB,CAAC,UAAU,EAAE,EAAE,GAAG,OAAO,CAAC,uBAAuB,CAAC;IAalE,mBAAmB,CAAC,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,EAAE,GAAG,OAAO,CAAC,0BAA0B,CAAC;CAelH"}
|
|
@@ -1,99 +0,0 @@
|
|
|
1
|
-
import { PublicExecutor, } from '@aztec/acir-simulator';
|
|
2
|
-
import { CircuitsWasm, Fr } from '@aztec/circuits.js';
|
|
3
|
-
import { siloCommitment } from '@aztec/circuits.js/abis';
|
|
4
|
-
import { MerkleTreeId } from '@aztec/types';
|
|
5
|
-
import { computePublicDataTreeLeafIndex } from '@aztec/world-state';
|
|
6
|
-
/**
|
|
7
|
-
* Returns a new PublicExecutor simulator backed by the supplied merkle tree db and contract data source.
|
|
8
|
-
* @param merkleTree - A merkle tree database.
|
|
9
|
-
* @param contractDataSource - A contract data source.
|
|
10
|
-
* @returns A new instance of a PublicExecutor.
|
|
11
|
-
*/
|
|
12
|
-
export function getPublicExecutor(merkleTree, contractDataSource, l1toL2MessageSource, blockData) {
|
|
13
|
-
return new PublicExecutor(new WorldStatePublicDB(merkleTree), new ContractsDataSourcePublicDB(contractDataSource), new WorldStateDB(merkleTree, l1toL2MessageSource), blockData);
|
|
14
|
-
}
|
|
15
|
-
/**
|
|
16
|
-
* Implements the PublicContractsDB using a ContractDataSource.
|
|
17
|
-
*/
|
|
18
|
-
class ContractsDataSourcePublicDB {
|
|
19
|
-
constructor(db) {
|
|
20
|
-
this.db = db;
|
|
21
|
-
}
|
|
22
|
-
async getBytecode(address, selector) {
|
|
23
|
-
return (await this.db.getPublicFunction(address, selector))?.bytecode;
|
|
24
|
-
}
|
|
25
|
-
async getIsInternal(address, selector) {
|
|
26
|
-
return (await this.db.getPublicFunction(address, selector))?.isInternal;
|
|
27
|
-
}
|
|
28
|
-
async getPortalContractAddress(address) {
|
|
29
|
-
return (await this.db.getContractData(address))?.portalContractAddress;
|
|
30
|
-
}
|
|
31
|
-
}
|
|
32
|
-
/**
|
|
33
|
-
* Implements the PublicStateDB using a world-state database.
|
|
34
|
-
*/
|
|
35
|
-
class WorldStatePublicDB {
|
|
36
|
-
constructor(db) {
|
|
37
|
-
this.db = db;
|
|
38
|
-
this.writeCache = new Map();
|
|
39
|
-
}
|
|
40
|
-
/**
|
|
41
|
-
* Reads a value from public storage, returning zero if none.
|
|
42
|
-
* @param contract - Owner of the storage.
|
|
43
|
-
* @param slot - Slot to read in the contract storage.
|
|
44
|
-
* @returns The current value in the storage slot.
|
|
45
|
-
*/
|
|
46
|
-
async storageRead(contract, slot) {
|
|
47
|
-
const index = computePublicDataTreeLeafIndex(contract, slot, await CircuitsWasm.get());
|
|
48
|
-
const cached = this.writeCache.get(index);
|
|
49
|
-
if (cached !== undefined)
|
|
50
|
-
return cached;
|
|
51
|
-
const value = await this.db.getLeafValue(MerkleTreeId.PUBLIC_DATA_TREE, index);
|
|
52
|
-
return value ? Fr.fromBuffer(value) : Fr.ZERO;
|
|
53
|
-
}
|
|
54
|
-
/**
|
|
55
|
-
* Records a write to public storage.
|
|
56
|
-
* @param contract - Owner of the storage.
|
|
57
|
-
* @param slot - Slot to read in the contract storage.
|
|
58
|
-
* @param newValue - The new value to store.
|
|
59
|
-
*/
|
|
60
|
-
async storageWrite(contract, slot, newValue) {
|
|
61
|
-
const index = computePublicDataTreeLeafIndex(contract, slot, await CircuitsWasm.get());
|
|
62
|
-
this.writeCache.set(index, newValue);
|
|
63
|
-
}
|
|
64
|
-
}
|
|
65
|
-
/**
|
|
66
|
-
* Implements WorldState db using a world state database.
|
|
67
|
-
*/
|
|
68
|
-
export class WorldStateDB {
|
|
69
|
-
constructor(db, l1ToL2MessageSource) {
|
|
70
|
-
this.db = db;
|
|
71
|
-
this.l1ToL2MessageSource = l1ToL2MessageSource;
|
|
72
|
-
}
|
|
73
|
-
async getL1ToL2Message(messageKey) {
|
|
74
|
-
// todo: #697 - make this one lookup.
|
|
75
|
-
const message = await this.l1ToL2MessageSource.getConfirmedL1ToL2Message(messageKey);
|
|
76
|
-
const index = (await this.db.findLeafIndex(MerkleTreeId.L1_TO_L2_MESSAGES_TREE, messageKey.toBuffer()));
|
|
77
|
-
const siblingPath = await this.db.getSiblingPath(MerkleTreeId.L1_TO_L2_MESSAGES_TREE, index);
|
|
78
|
-
return {
|
|
79
|
-
message: message.toFieldArray(),
|
|
80
|
-
siblingPath: siblingPath.toFieldArray(),
|
|
81
|
-
index,
|
|
82
|
-
};
|
|
83
|
-
}
|
|
84
|
-
async getCommitmentOracle(address, innerCommitment) {
|
|
85
|
-
const siloedCommitment = siloCommitment(await CircuitsWasm.get(), address, innerCommitment);
|
|
86
|
-
// TODO(https://github.com/AztecProtocol/aztec-packages/issues/1386): shoild be
|
|
87
|
-
// unique commitment that exists in tree (should be siloed and then made unique via
|
|
88
|
-
// nonce). Once public kernel or base rollup circuit injects nonces, this can be updated
|
|
89
|
-
// to use uniqueSiloedCommitment.
|
|
90
|
-
const index = (await this.db.findLeafIndex(MerkleTreeId.PRIVATE_DATA_TREE, siloedCommitment.toBuffer()));
|
|
91
|
-
const siblingPath = await this.db.getSiblingPath(MerkleTreeId.PRIVATE_DATA_TREE, index);
|
|
92
|
-
return {
|
|
93
|
-
commitment: siloedCommitment,
|
|
94
|
-
siblingPath: siblingPath.toFieldArray(),
|
|
95
|
-
index,
|
|
96
|
-
};
|
|
97
|
-
}
|
|
98
|
-
}
|
|
99
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHVibGljX2V4ZWN1dG9yLmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3NpbXVsYXRvci9wdWJsaWNfZXhlY3V0b3IudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUtMLGNBQWMsR0FFZixNQUFNLHVCQUF1QixDQUFDO0FBQy9CLE9BQU8sRUFBZ0IsWUFBWSxFQUFjLEVBQUUsRUFBdUMsTUFBTSxvQkFBb0IsQ0FBQztBQUNySCxPQUFPLEVBQUUsY0FBYyxFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDekQsT0FBTyxFQUEyQyxZQUFZLEVBQUUsTUFBTSxjQUFjLENBQUM7QUFDckYsT0FBTyxFQUF3Qiw4QkFBOEIsRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBRTFGOzs7OztHQUtHO0FBQ0gsTUFBTSxVQUFVLGlCQUFpQixDQUMvQixVQUFnQyxFQUNoQyxrQkFBc0MsRUFDdEMsbUJBQXdDLEVBQ3hDLFNBQTRCO0lBRTVCLE9BQU8sSUFBSSxjQUFjLENBQ3ZCLElBQUksa0JBQWtCLENBQUMsVUFBVSxDQUFDLEVBQ2xDLElBQUksMkJBQTJCLENBQUMsa0JBQWtCLENBQUMsRUFDbkQsSUFBSSxZQUFZLENBQUMsVUFBVSxFQUFFLG1CQUFtQixDQUFDLEVBQ2pELFNBQVMsQ0FDVixDQUFDO0FBQ0osQ0FBQztBQUVEOztHQUVHO0FBQ0gsTUFBTSwyQkFBMkI7SUFDL0IsWUFBb0IsRUFBc0I7UUFBdEIsT0FBRSxHQUFGLEVBQUUsQ0FBb0I7SUFBRyxDQUFDO0lBQzlDLEtBQUssQ0FBQyxXQUFXLENBQUMsT0FBcUIsRUFBRSxRQUEwQjtRQUNqRSxPQUFPLENBQUMsTUFBTSxJQUFJLENBQUMsRUFBRSxDQUFDLGlCQUFpQixDQUFDLE9BQU8sRUFBRSxRQUFRLENBQUMsQ0FBQyxFQUFFLFFBQVEsQ0FBQztJQUN4RSxDQUFDO0lBQ0QsS0FBSyxDQUFDLGFBQWEsQ0FBQyxPQUFxQixFQUFFLFFBQTBCO1FBQ25FLE9BQU8sQ0FBQyxNQUFNLElBQUksQ0FBQyxFQUFFLENBQUMsaUJBQWlCLENBQUMsT0FBTyxFQUFFLFFBQVEsQ0FBQyxDQUFDLEVBQUUsVUFBVSxDQUFDO0lBQzFFLENBQUM7SUFDRCxLQUFLLENBQUMsd0JBQXdCLENBQUMsT0FBcUI7UUFDbEQsT0FBTyxDQUFDLE1BQU0sSUFBSSxDQUFDLEVBQUUsQ0FBQyxlQUFlLENBQUMsT0FBTyxDQUFDLENBQUMsRUFBRSxxQkFBcUIsQ0FBQztJQUN6RSxDQUFDO0NBQ0Y7QUFFRDs7R0FFRztBQUNILE1BQU0sa0JBQWtCO0lBR3RCLFlBQW9CLEVBQXdCO1FBQXhCLE9BQUUsR0FBRixFQUFFLENBQXNCO1FBRnBDLGVBQVUsR0FBb0IsSUFBSSxHQUFHLEVBQUUsQ0FBQztJQUVELENBQUM7SUFFaEQ7Ozs7O09BS0c7SUFDSSxLQUFLLENBQUMsV0FBVyxDQUFDLFFBQXNCLEVBQUUsSUFBUTtRQUN2RCxNQUFNLEtBQUssR0FBRyw4QkFBOEIsQ0FBQyxRQUFRLEVBQUUsSUFBSSxFQUFFLE1BQU0sWUFBWSxDQUFDLEdBQUcsRUFBRSxDQUFDLENBQUM7UUFDdkYsTUFBTSxNQUFNLEdBQUcsSUFBSSxDQUFDLFVBQVUsQ0FBQyxHQUFHLENBQUMsS0FBSyxDQUFDLENBQUM7UUFDMUMsSUFBSSxNQUFNLEtBQUssU0FBUztZQUFFLE9BQU8sTUFBTSxDQUFDO1FBQ3hDLE1BQU0sS0FBSyxHQUFHLE1BQU0sSUFBSSxDQUFDLEVBQUUsQ0FBQyxZQUFZLENBQUMsWUFBWSxDQUFDLGdCQUFnQixFQUFFLEtBQUssQ0FBQyxDQUFDO1FBQy9FLE9BQU8sS0FBSyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUMsVUFBVSxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUMsSUFBSSxDQUFDO0lBQ2hELENBQUM7SUFFRDs7Ozs7T0FLRztJQUNJLEtBQUssQ0FBQyxZQUFZLENBQUMsUUFBc0IsRUFBRSxJQUFRLEVBQUUsUUFBWTtRQUN0RSxNQUFNLEtBQUssR0FBRyw4QkFBOEIsQ0FBQyxRQUFRLEVBQUUsSUFBSSxFQUFFLE1BQU0sWUFBWSxDQUFDLEdBQUcsRUFBRSxDQUFDLENBQUM7UUFDdkYsSUFBSSxDQUFDLFVBQVUsQ0FBQyxHQUFHLENBQUMsS0FBSyxFQUFFLFFBQVEsQ0FBQyxDQUFDO0lBQ3ZDLENBQUM7Q0FDRjtBQUVEOztHQUVHO0FBQ0gsTUFBTSxPQUFPLFlBQVk7SUFDdkIsWUFBb0IsRUFBd0IsRUFBVSxtQkFBd0M7UUFBMUUsT0FBRSxHQUFGLEVBQUUsQ0FBc0I7UUFBVSx3QkFBbUIsR0FBbkIsbUJBQW1CLENBQXFCO0lBQUcsQ0FBQztJQUUzRixLQUFLLENBQUMsZ0JBQWdCLENBQUMsVUFBYztRQUMxQyxxQ0FBcUM7UUFDckMsTUFBTSxPQUFPLEdBQUcsTUFBTSxJQUFJLENBQUMsbUJBQW1CLENBQUMseUJBQXlCLENBQUMsVUFBVSxDQUFDLENBQUM7UUFDckYsTUFBTSxLQUFLLEdBQUcsQ0FBQyxNQUFNLElBQUksQ0FBQyxFQUFFLENBQUMsYUFBYSxDQUFDLFlBQVksQ0FBQyxzQkFBc0IsRUFBRSxVQUFVLENBQUMsUUFBUSxFQUFFLENBQUMsQ0FBRSxDQUFDO1FBQ3pHLE1BQU0sV0FBVyxHQUFHLE1BQU0sSUFBSSxDQUFDLEVBQUUsQ0FBQyxjQUFjLENBQUMsWUFBWSxDQUFDLHNCQUFzQixFQUFFLEtBQUssQ0FBQyxDQUFDO1FBRTdGLE9BQU87WUFDTCxPQUFPLEVBQUUsT0FBTyxDQUFDLFlBQVksRUFBRTtZQUMvQixXQUFXLEVBQUUsV0FBVyxDQUFDLFlBQVksRUFBRTtZQUN2QyxLQUFLO1NBQ04sQ0FBQztJQUNKLENBQUM7SUFFTSxLQUFLLENBQUMsbUJBQW1CLENBQUMsT0FBcUIsRUFBRSxlQUFtQjtRQUN6RSxNQUFNLGdCQUFnQixHQUFHLGNBQWMsQ0FBQyxNQUFNLFlBQVksQ0FBQyxHQUFHLEVBQUUsRUFBRSxPQUFPLEVBQUUsZUFBZSxDQUFDLENBQUM7UUFDNUYsK0VBQStFO1FBQy9FLG1GQUFtRjtRQUNuRix5RkFBeUY7UUFDekYsaUNBQWlDO1FBQ2pDLE1BQU0sS0FBSyxHQUFHLENBQUMsTUFBTSxJQUFJLENBQUMsRUFBRSxDQUFDLGFBQWEsQ0FBQyxZQUFZLENBQUMsaUJBQWlCLEVBQUUsZ0JBQWdCLENBQUMsUUFBUSxFQUFFLENBQUMsQ0FBRSxDQUFDO1FBQzFHLE1BQU0sV0FBVyxHQUFHLE1BQU0sSUFBSSxDQUFDLEVBQUUsQ0FBQyxjQUFjLENBQUMsWUFBWSxDQUFDLGlCQUFpQixFQUFFLEtBQUssQ0FBQyxDQUFDO1FBRXhGLE9BQU87WUFDTCxVQUFVLEVBQUUsZ0JBQWdCO1lBQzVCLFdBQVcsRUFBRSxXQUFXLENBQUMsWUFBWSxFQUFFO1lBQ3ZDLEtBQUs7U0FDTixDQUFDO0lBQ0osQ0FBQztDQUNGIn0=
|
|
@@ -1,20 +0,0 @@
|
|
|
1
|
-
import { PublicKernelInputs, PublicKernelPublicInputs } from '@aztec/circuits.js';
|
|
2
|
-
import { PublicKernelCircuitSimulator } from './index.js';
|
|
3
|
-
/**
|
|
4
|
-
* Implements the PublicKernelCircuitSimulator by calling the wasm implementations of the circuits.
|
|
5
|
-
*/
|
|
6
|
-
export declare class WasmPublicKernelCircuitSimulator implements PublicKernelCircuitSimulator {
|
|
7
|
-
/**
|
|
8
|
-
* Simulates the public kernel circuit (with a previous private kernel circuit run) from its inputs.
|
|
9
|
-
* @param input - Inputs to the circuit.
|
|
10
|
-
* @returns The public inputs as outputs of the simulation.
|
|
11
|
-
*/
|
|
12
|
-
publicKernelCircuitPrivateInput(input: PublicKernelInputs): Promise<PublicKernelPublicInputs>;
|
|
13
|
-
/**
|
|
14
|
-
* Simulates the public kernel circuit (with no previous public kernel circuit run) from its inputs.
|
|
15
|
-
* @param input - Inputs to the circuit.
|
|
16
|
-
* @returns The public inputs as outputs of the simulation.
|
|
17
|
-
*/
|
|
18
|
-
publicKernelCircuitNonFirstIteration(input: PublicKernelInputs): Promise<PublicKernelPublicInputs>;
|
|
19
|
-
}
|
|
20
|
-
//# sourceMappingURL=public_kernel.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"public_kernel.d.ts","sourceRoot":"","sources":["../../src/simulator/public_kernel.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,wBAAwB,EAA+B,MAAM,oBAAoB,CAAC;AAE/G,OAAO,EAAE,4BAA4B,EAAE,MAAM,YAAY,CAAC;AAE1D;;GAEG;AACH,qBAAa,gCAAiC,YAAW,4BAA4B;IACnF;;;;OAIG;IACI,+BAA+B,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC,wBAAwB,CAAC;IAKpG;;;;OAIG;IACH,oCAAoC,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC,wBAAwB,CAAC;CAInG"}
|
|
@@ -1,27 +0,0 @@
|
|
|
1
|
-
import { simulatePublicKernelCircuit } from '@aztec/circuits.js';
|
|
2
|
-
/**
|
|
3
|
-
* Implements the PublicKernelCircuitSimulator by calling the wasm implementations of the circuits.
|
|
4
|
-
*/
|
|
5
|
-
export class WasmPublicKernelCircuitSimulator {
|
|
6
|
-
/**
|
|
7
|
-
* Simulates the public kernel circuit (with a previous private kernel circuit run) from its inputs.
|
|
8
|
-
* @param input - Inputs to the circuit.
|
|
9
|
-
* @returns The public inputs as outputs of the simulation.
|
|
10
|
-
*/
|
|
11
|
-
publicKernelCircuitPrivateInput(input) {
|
|
12
|
-
if (!input.previousKernel.publicInputs.isPrivate)
|
|
13
|
-
throw new Error(`Expected private kernel previous inputs`);
|
|
14
|
-
return simulatePublicKernelCircuit(input);
|
|
15
|
-
}
|
|
16
|
-
/**
|
|
17
|
-
* Simulates the public kernel circuit (with no previous public kernel circuit run) from its inputs.
|
|
18
|
-
* @param input - Inputs to the circuit.
|
|
19
|
-
* @returns The public inputs as outputs of the simulation.
|
|
20
|
-
*/
|
|
21
|
-
publicKernelCircuitNonFirstIteration(input) {
|
|
22
|
-
if (input.previousKernel.publicInputs.isPrivate)
|
|
23
|
-
throw new Error(`Expected public kernel previous inputs`);
|
|
24
|
-
return simulatePublicKernelCircuit(input);
|
|
25
|
-
}
|
|
26
|
-
}
|
|
27
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHVibGljX2tlcm5lbC5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9zaW11bGF0b3IvcHVibGljX2tlcm5lbC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQWdELDJCQUEyQixFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFJL0c7O0dBRUc7QUFDSCxNQUFNLE9BQU8sZ0NBQWdDO0lBQzNDOzs7O09BSUc7SUFDSSwrQkFBK0IsQ0FBQyxLQUF5QjtRQUM5RCxJQUFJLENBQUMsS0FBSyxDQUFDLGNBQWMsQ0FBQyxZQUFZLENBQUMsU0FBUztZQUFFLE1BQU0sSUFBSSxLQUFLLENBQUMseUNBQXlDLENBQUMsQ0FBQztRQUM3RyxPQUFPLDJCQUEyQixDQUFDLEtBQUssQ0FBQyxDQUFDO0lBQzVDLENBQUM7SUFFRDs7OztPQUlHO0lBQ0gsb0NBQW9DLENBQUMsS0FBeUI7UUFDNUQsSUFBSSxLQUFLLENBQUMsY0FBYyxDQUFDLFlBQVksQ0FBQyxTQUFTO1lBQUUsTUFBTSxJQUFJLEtBQUssQ0FBQyx3Q0FBd0MsQ0FBQyxDQUFDO1FBQzNHLE9BQU8sMkJBQTJCLENBQUMsS0FBSyxDQUFDLENBQUM7SUFDNUMsQ0FBQztDQUNGIn0=
|
|
@@ -1,34 +0,0 @@
|
|
|
1
|
-
import { BaseOrMergeRollupPublicInputs, BaseRollupInputs, CircuitsWasm, MergeRollupInputs, RootRollupInputs, RootRollupPublicInputs } from '@aztec/circuits.js';
|
|
2
|
-
import { RollupSimulator } from './index.js';
|
|
3
|
-
/**
|
|
4
|
-
* Implements the rollup circuit simulator using the wasm circuits implementation.
|
|
5
|
-
*/
|
|
6
|
-
export declare class WasmRollupCircuitSimulator implements RollupSimulator {
|
|
7
|
-
private rollupWasmWrapper;
|
|
8
|
-
private wasm;
|
|
9
|
-
constructor(wasm: CircuitsWasm);
|
|
10
|
-
/**
|
|
11
|
-
* Creates a new instance using the default CircuitsWasm module.
|
|
12
|
-
* @returns A new instance.
|
|
13
|
-
*/
|
|
14
|
-
static new(): Promise<WasmRollupCircuitSimulator>;
|
|
15
|
-
/**
|
|
16
|
-
* Simulates the base rollup circuit from its inputs.
|
|
17
|
-
* @param input - Inputs to the circuit.
|
|
18
|
-
* @returns The public inputs as outputs of the simulation.
|
|
19
|
-
*/
|
|
20
|
-
baseRollupCircuit(input: BaseRollupInputs): Promise<BaseOrMergeRollupPublicInputs>;
|
|
21
|
-
/**
|
|
22
|
-
* Simulates the merge rollup circuit from its inputs.
|
|
23
|
-
* @param input - Inputs to the circuit.
|
|
24
|
-
* @returns The public inputs as outputs of the simulation.
|
|
25
|
-
*/
|
|
26
|
-
mergeRollupCircuit(input: MergeRollupInputs): Promise<BaseOrMergeRollupPublicInputs>;
|
|
27
|
-
/**
|
|
28
|
-
* Simulates the root rollup circuit from its inputs.
|
|
29
|
-
* @param input - Inputs to the circuit.
|
|
30
|
-
* @returns The public inputs as outputs of the simulation.
|
|
31
|
-
*/
|
|
32
|
-
rootRollupCircuit(input: RootRollupInputs): Promise<RootRollupPublicInputs>;
|
|
33
|
-
}
|
|
34
|
-
//# sourceMappingURL=rollup.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"rollup.d.ts","sourceRoot":"","sources":["../../src/simulator/rollup.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,6BAA6B,EAC7B,gBAAgB,EAEhB,YAAY,EACZ,iBAAiB,EAEjB,gBAAgB,EAChB,sBAAsB,EAGvB,MAAM,oBAAoB,CAAC;AAE5B,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAE7C;;GAEG;AACH,qBAAa,0BAA2B,YAAW,eAAe;IAChE,OAAO,CAAC,iBAAiB,CAAoB;IAC7C,OAAO,CAAC,IAAI,CAAe;gBAEf,IAAI,EAAE,YAAY;IAK9B;;;OAGG;WACiB,GAAG;IAIvB;;;;OAIG;IACH,iBAAiB,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO,CAAC,6BAA6B,CAAC;IAGlF;;;;OAIG;IACH,kBAAkB,CAAC,KAAK,EAAE,iBAAiB,GAAG,OAAO,CAAC,6BAA6B,CAAC;IASpF;;;;OAIG;IACH,iBAAiB,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO,CAAC,sBAAsB,CAAC;CAQ5E"}
|
package/dest/simulator/rollup.js
DELETED
|
@@ -1,50 +0,0 @@
|
|
|
1
|
-
import { CircuitError, CircuitsWasm, RollupWasmWrapper, mergeRollupSim, rootRollupSim, } from '@aztec/circuits.js';
|
|
2
|
-
/**
|
|
3
|
-
* Implements the rollup circuit simulator using the wasm circuits implementation.
|
|
4
|
-
*/
|
|
5
|
-
export class WasmRollupCircuitSimulator {
|
|
6
|
-
constructor(wasm) {
|
|
7
|
-
this.rollupWasmWrapper = new RollupWasmWrapper(wasm);
|
|
8
|
-
this.wasm = wasm;
|
|
9
|
-
}
|
|
10
|
-
/**
|
|
11
|
-
* Creates a new instance using the default CircuitsWasm module.
|
|
12
|
-
* @returns A new instance.
|
|
13
|
-
*/
|
|
14
|
-
static async new() {
|
|
15
|
-
return new this(await CircuitsWasm.get());
|
|
16
|
-
}
|
|
17
|
-
/**
|
|
18
|
-
* Simulates the base rollup circuit from its inputs.
|
|
19
|
-
* @param input - Inputs to the circuit.
|
|
20
|
-
* @returns The public inputs as outputs of the simulation.
|
|
21
|
-
*/
|
|
22
|
-
baseRollupCircuit(input) {
|
|
23
|
-
return Promise.resolve(this.rollupWasmWrapper.simulateBaseRollup(input));
|
|
24
|
-
}
|
|
25
|
-
/**
|
|
26
|
-
* Simulates the merge rollup circuit from its inputs.
|
|
27
|
-
* @param input - Inputs to the circuit.
|
|
28
|
-
* @returns The public inputs as outputs of the simulation.
|
|
29
|
-
*/
|
|
30
|
-
mergeRollupCircuit(input) {
|
|
31
|
-
const result = mergeRollupSim(this.wasm, input);
|
|
32
|
-
if (result instanceof CircuitError) {
|
|
33
|
-
throw new CircuitError(result.code, result.message);
|
|
34
|
-
}
|
|
35
|
-
return Promise.resolve(result);
|
|
36
|
-
}
|
|
37
|
-
/**
|
|
38
|
-
* Simulates the root rollup circuit from its inputs.
|
|
39
|
-
* @param input - Inputs to the circuit.
|
|
40
|
-
* @returns The public inputs as outputs of the simulation.
|
|
41
|
-
*/
|
|
42
|
-
rootRollupCircuit(input) {
|
|
43
|
-
const result = rootRollupSim(this.wasm, input);
|
|
44
|
-
if (result instanceof CircuitError) {
|
|
45
|
-
throw new CircuitError(result.code, result.message);
|
|
46
|
-
}
|
|
47
|
-
return Promise.resolve(result);
|
|
48
|
-
}
|
|
49
|
-
}
|
|
50
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicm9sbHVwLmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3NpbXVsYXRvci9yb2xsdXAudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUdMLFlBQVksRUFDWixZQUFZLEVBRVosaUJBQWlCLEVBR2pCLGNBQWMsRUFDZCxhQUFhLEdBQ2QsTUFBTSxvQkFBb0IsQ0FBQztBQUk1Qjs7R0FFRztBQUNILE1BQU0sT0FBTywwQkFBMEI7SUFJckMsWUFBWSxJQUFrQjtRQUM1QixJQUFJLENBQUMsaUJBQWlCLEdBQUcsSUFBSSxpQkFBaUIsQ0FBQyxJQUFJLENBQUMsQ0FBQztRQUNyRCxJQUFJLENBQUMsSUFBSSxHQUFHLElBQUksQ0FBQztJQUNuQixDQUFDO0lBRUQ7OztPQUdHO0lBQ0ksTUFBTSxDQUFDLEtBQUssQ0FBQyxHQUFHO1FBQ3JCLE9BQU8sSUFBSSxJQUFJLENBQUMsTUFBTSxZQUFZLENBQUMsR0FBRyxFQUFFLENBQUMsQ0FBQztJQUM1QyxDQUFDO0lBRUQ7Ozs7T0FJRztJQUNILGlCQUFpQixDQUFDLEtBQXVCO1FBQ3ZDLE9BQU8sT0FBTyxDQUFDLE9BQU8sQ0FBQyxJQUFJLENBQUMsaUJBQWlCLENBQUMsa0JBQWtCLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQztJQUMzRSxDQUFDO0lBQ0Q7Ozs7T0FJRztJQUNILGtCQUFrQixDQUFDLEtBQXdCO1FBQ3pDLE1BQU0sTUFBTSxHQUFHLGNBQWMsQ0FBQyxJQUFJLENBQUMsSUFBSSxFQUFFLEtBQUssQ0FBQyxDQUFDO1FBQ2hELElBQUksTUFBTSxZQUFZLFlBQVksRUFBRTtZQUNsQyxNQUFNLElBQUksWUFBWSxDQUFDLE1BQU0sQ0FBQyxJQUFJLEVBQUUsTUFBTSxDQUFDLE9BQU8sQ0FBQyxDQUFDO1NBQ3JEO1FBRUQsT0FBTyxPQUFPLENBQUMsT0FBTyxDQUFDLE1BQU0sQ0FBQyxDQUFDO0lBQ2pDLENBQUM7SUFFRDs7OztPQUlHO0lBQ0gsaUJBQWlCLENBQUMsS0FBdUI7UUFDdkMsTUFBTSxNQUFNLEdBQUcsYUFBYSxDQUFDLElBQUksQ0FBQyxJQUFJLEVBQUUsS0FBSyxDQUFDLENBQUM7UUFDL0MsSUFBSSxNQUFNLFlBQVksWUFBWSxFQUFFO1lBQ2xDLE1BQU0sSUFBSSxZQUFZLENBQUMsTUFBTSxDQUFDLElBQUksRUFBRSxNQUFNLENBQUMsT0FBTyxDQUFDLENBQUM7U0FDckQ7UUFFRCxPQUFPLE9BQU8sQ0FBQyxPQUFPLENBQUMsTUFBTSxDQUFDLENBQUM7SUFDakMsQ0FBQztDQUNGIn0=
|
package/dest/utils.d.ts
DELETED
|
@@ -1,12 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Returns a promise that resolves after ms milliseconds, returning retval.
|
|
3
|
-
* @param ms - How many milliseconds to sleep.
|
|
4
|
-
* @param retval - The return value of the promise.
|
|
5
|
-
*/
|
|
6
|
-
export declare function sleep<T>(ms: number, retval: T): Promise<T>;
|
|
7
|
-
/**
|
|
8
|
-
* Returns the lowest power of two that is greater of equal to the input.
|
|
9
|
-
* @param num - The input.
|
|
10
|
-
*/
|
|
11
|
-
export declare function ceilPowerOfTwo(num: number): number;
|
|
12
|
-
//# sourceMappingURL=utils.d.ts.map
|
package/dest/utils.d.ts.map
DELETED
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../src/utils.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,wBAAgB,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAE1D;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAElD"}
|
package/dest/utils.js
DELETED
|
@@ -1,16 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Returns a promise that resolves after ms milliseconds, returning retval.
|
|
3
|
-
* @param ms - How many milliseconds to sleep.
|
|
4
|
-
* @param retval - The return value of the promise.
|
|
5
|
-
*/
|
|
6
|
-
export function sleep(ms, retval) {
|
|
7
|
-
return new Promise(resolve => setTimeout(() => resolve(retval), ms));
|
|
8
|
-
}
|
|
9
|
-
/**
|
|
10
|
-
* Returns the lowest power of two that is greater of equal to the input.
|
|
11
|
-
* @param num - The input.
|
|
12
|
-
*/
|
|
13
|
-
export function ceilPowerOfTwo(num) {
|
|
14
|
-
return 2 ** Math.ceil(Math.log2(num));
|
|
15
|
-
}
|
|
16
|
-
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidXRpbHMuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvdXRpbHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUE7Ozs7R0FJRztBQUNILE1BQU0sVUFBVSxLQUFLLENBQUksRUFBVSxFQUFFLE1BQVM7SUFDNUMsT0FBTyxJQUFJLE9BQU8sQ0FBQyxPQUFPLENBQUMsRUFBRSxDQUFDLFVBQVUsQ0FBQyxHQUFHLEVBQUUsQ0FBQyxPQUFPLENBQUMsTUFBTSxDQUFDLEVBQUUsRUFBRSxDQUFDLENBQUMsQ0FBQztBQUN2RSxDQUFDO0FBRUQ7OztHQUdHO0FBQ0gsTUFBTSxVQUFVLGNBQWMsQ0FBQyxHQUFXO0lBQ3hDLE9BQU8sQ0FBQyxJQUFJLElBQUksQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDO0FBQ3hDLENBQUMifQ==
|