@proto-kit/protocol 0.1.1-develop.336 → 0.1.1-develop.340
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/dist/model/network/NetworkState.d.ts +40 -0
- package/dist/model/network/NetworkState.d.ts.map +1 -1
- package/dist/model/network/NetworkState.js +10 -2
- package/dist/prover/block/BlockProvable.d.ts +6 -0
- package/dist/prover/block/BlockProvable.d.ts.map +1 -1
- package/package.json +2 -2
- package/src/model/network/NetworkState.ts +9 -1
|
@@ -27,34 +27,74 @@ declare const CurrentBlock_base: (new (value: {
|
|
|
27
27
|
};
|
|
28
28
|
export declare class CurrentBlock extends CurrentBlock_base {
|
|
29
29
|
}
|
|
30
|
+
declare const PreviousBlock_base: (new (value: {
|
|
31
|
+
rootHash: import("o1js/dist/node/lib/field").Field;
|
|
32
|
+
}) => {
|
|
33
|
+
rootHash: import("o1js/dist/node/lib/field").Field;
|
|
34
|
+
}) & {
|
|
35
|
+
_isStruct: true;
|
|
36
|
+
} & import("o1js/dist/node/snarky").ProvablePure<{
|
|
37
|
+
rootHash: import("o1js/dist/node/lib/field").Field;
|
|
38
|
+
}> & {
|
|
39
|
+
toInput: (x: {
|
|
40
|
+
rootHash: import("o1js/dist/node/lib/field").Field;
|
|
41
|
+
}) => {
|
|
42
|
+
fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
|
|
43
|
+
packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
|
|
44
|
+
};
|
|
45
|
+
toJSON: (x: {
|
|
46
|
+
rootHash: import("o1js/dist/node/lib/field").Field;
|
|
47
|
+
}) => {
|
|
48
|
+
rootHash: string;
|
|
49
|
+
};
|
|
50
|
+
fromJSON: (x: {
|
|
51
|
+
rootHash: string;
|
|
52
|
+
}) => {
|
|
53
|
+
rootHash: import("o1js/dist/node/lib/field").Field;
|
|
54
|
+
};
|
|
55
|
+
};
|
|
56
|
+
export declare class PreviousBlock extends PreviousBlock_base {
|
|
57
|
+
}
|
|
30
58
|
declare const NetworkState_base: (new (value: {
|
|
31
59
|
block: CurrentBlock;
|
|
60
|
+
previous: PreviousBlock;
|
|
32
61
|
}) => {
|
|
33
62
|
block: CurrentBlock;
|
|
63
|
+
previous: PreviousBlock;
|
|
34
64
|
}) & {
|
|
35
65
|
_isStruct: true;
|
|
36
66
|
} & import("o1js/dist/node/snarky").ProvablePure<{
|
|
37
67
|
block: CurrentBlock;
|
|
68
|
+
previous: PreviousBlock;
|
|
38
69
|
}> & {
|
|
39
70
|
toInput: (x: {
|
|
40
71
|
block: CurrentBlock;
|
|
72
|
+
previous: PreviousBlock;
|
|
41
73
|
}) => {
|
|
42
74
|
fields?: import("o1js/dist/node/lib/field").Field[] | undefined;
|
|
43
75
|
packed?: [import("o1js/dist/node/lib/field").Field, number][] | undefined;
|
|
44
76
|
};
|
|
45
77
|
toJSON: (x: {
|
|
46
78
|
block: CurrentBlock;
|
|
79
|
+
previous: PreviousBlock;
|
|
47
80
|
}) => {
|
|
48
81
|
block: {
|
|
49
82
|
height: string;
|
|
50
83
|
};
|
|
84
|
+
previous: {
|
|
85
|
+
rootHash: string;
|
|
86
|
+
};
|
|
51
87
|
};
|
|
52
88
|
fromJSON: (x: {
|
|
53
89
|
block: {
|
|
54
90
|
height: string;
|
|
55
91
|
};
|
|
92
|
+
previous: {
|
|
93
|
+
rootHash: string;
|
|
94
|
+
};
|
|
56
95
|
}) => {
|
|
57
96
|
block: CurrentBlock;
|
|
97
|
+
previous: PreviousBlock;
|
|
58
98
|
};
|
|
59
99
|
};
|
|
60
100
|
export declare class NetworkState extends NetworkState_base {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"NetworkState.d.ts","sourceRoot":"","sources":["../../../src/model/network/NetworkState.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAoB,MAAM,EAAE,MAAM,MAAM,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEvD,qBAAa,YAAa,SAAQ,iBAEhC;CAAG
|
|
1
|
+
{"version":3,"file":"NetworkState.d.ts","sourceRoot":"","sources":["../../../src/model/network/NetworkState.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAoB,MAAM,EAAE,MAAM,MAAM,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEvD,qBAAa,YAAa,SAAQ,iBAEhC;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEL,qBAAa,aAAc,SAAQ,kBAEjC;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEL,qBAAa,YAAa,SAAQ,iBAGhC;IACO,IAAI,IAAI,KAAK;CAMrB"}
|
|
@@ -1,12 +1,20 @@
|
|
|
1
|
-
import { Poseidon, Struct, UInt64 } from "o1js";
|
|
1
|
+
import { Field, Poseidon, Struct, UInt64 } from "o1js";
|
|
2
2
|
export class CurrentBlock extends Struct({
|
|
3
3
|
height: UInt64,
|
|
4
4
|
}) {
|
|
5
5
|
}
|
|
6
|
+
export class PreviousBlock extends Struct({
|
|
7
|
+
rootHash: Field,
|
|
8
|
+
}) {
|
|
9
|
+
}
|
|
6
10
|
export class NetworkState extends Struct({
|
|
7
11
|
block: CurrentBlock,
|
|
12
|
+
previous: PreviousBlock,
|
|
8
13
|
}) {
|
|
9
14
|
hash() {
|
|
10
|
-
return Poseidon.hash(
|
|
15
|
+
return Poseidon.hash([
|
|
16
|
+
...CurrentBlock.toFields(this.block),
|
|
17
|
+
...PreviousBlock.toFields(this.previous),
|
|
18
|
+
]);
|
|
11
19
|
}
|
|
12
20
|
}
|
|
@@ -119,6 +119,9 @@ declare const BlockProverExecutionData_base: (new (value: {
|
|
|
119
119
|
block: {
|
|
120
120
|
height: string;
|
|
121
121
|
};
|
|
122
|
+
previous: {
|
|
123
|
+
rootHash: string;
|
|
124
|
+
};
|
|
122
125
|
};
|
|
123
126
|
};
|
|
124
127
|
fromJSON: (x: {
|
|
@@ -133,6 +136,9 @@ declare const BlockProverExecutionData_base: (new (value: {
|
|
|
133
136
|
block: {
|
|
134
137
|
height: string;
|
|
135
138
|
};
|
|
139
|
+
previous: {
|
|
140
|
+
rootHash: string;
|
|
141
|
+
};
|
|
136
142
|
};
|
|
137
143
|
}) => {
|
|
138
144
|
transaction: ProtocolTransaction;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"BlockProvable.d.ts","sourceRoot":"","sources":["../../../src/prover/block/BlockProvable.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,KAAK,EAAU,MAAM,MAAM,CAAC;AAC5C,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAEvD,OAAO,EAAE,oBAAoB,EAAE,MAAM,4CAA4C,CAAC;AAClF,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EAAE,mBAAmB,EAAE,MAAM,6CAA6C,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEhE,qBAAa,sBAAuB,SAAQ,2BAI1C;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEL,qBAAa,uBAAwB,SAAQ,4BAG3C;CAAG;AAEL,MAAM,MAAM,gBAAgB,GAAG,KAAK,CAClC,sBAAsB,EACtB,uBAAuB,CACxB,CAAC
|
|
1
|
+
{"version":3,"file":"BlockProvable.d.ts","sourceRoot":"","sources":["../../../src/prover/block/BlockProvable.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,KAAK,EAAU,MAAM,MAAM,CAAC;AAC5C,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAEvD,OAAO,EAAE,oBAAoB,EAAE,MAAM,4CAA4C,CAAC;AAClF,OAAO,EAAE,kBAAkB,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EAAE,mBAAmB,EAAE,MAAM,6CAA6C,CAAC;AAClF,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEhE,qBAAa,sBAAuB,SAAQ,2BAI1C;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEL,qBAAa,uBAAwB,SAAQ,4BAG3C;CAAG;AAEL,MAAM,MAAM,gBAAgB,GAAG,KAAK,CAClC,sBAAsB,EACtB,uBAAuB,CACxB,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEF,qBAAa,wBAAyB,SAAQ,6BAI5C;CAAG;AAEL,MAAM,WAAW,aACf,SAAQ,kBAAkB,CAAC,sBAAsB,EAAE,uBAAuB,CAAC;IAC3E,gBAAgB,EAAE,CAChB,WAAW,EAAE,sBAAsB,EACnC,UAAU,EAAE,oBAAoB,EAChC,QAAQ,EAAE,KAAK,CAAC,IAAI,EAAE,kBAAkB,CAAC,EACzC,aAAa,EAAE,wBAAwB,KACpC,uBAAuB,CAAC;IAE7B,KAAK,EAAE,CACL,WAAW,EAAE,sBAAsB,EACnC,MAAM,EAAE,gBAAgB,EACxB,MAAM,EAAE,gBAAgB,KACrB,uBAAuB,CAAC;CAC9B"}
|
package/package.json
CHANGED
|
@@ -3,7 +3,7 @@
|
|
|
3
3
|
"license": "MIT",
|
|
4
4
|
"private": false,
|
|
5
5
|
"type": "module",
|
|
6
|
-
"version": "0.1.1-develop.
|
|
6
|
+
"version": "0.1.1-develop.340+730512d",
|
|
7
7
|
"scripts": {
|
|
8
8
|
"build": "tsc -p tsconfig.json",
|
|
9
9
|
"dev": "tsc -p tsconfig.json --watch",
|
|
@@ -31,5 +31,5 @@
|
|
|
31
31
|
"@jest/globals": "^29.5.0",
|
|
32
32
|
"@types/lodash": "^4.14.194"
|
|
33
33
|
},
|
|
34
|
-
"gitHead": "
|
|
34
|
+
"gitHead": "730512da45bf47d359a259ea24b357a17f610548"
|
|
35
35
|
}
|
|
@@ -4,10 +4,18 @@ export class CurrentBlock extends Struct({
|
|
|
4
4
|
height: UInt64,
|
|
5
5
|
}) {}
|
|
6
6
|
|
|
7
|
+
export class PreviousBlock extends Struct({
|
|
8
|
+
rootHash: Field,
|
|
9
|
+
}) {}
|
|
10
|
+
|
|
7
11
|
export class NetworkState extends Struct({
|
|
8
12
|
block: CurrentBlock,
|
|
13
|
+
previous: PreviousBlock,
|
|
9
14
|
}) {
|
|
10
15
|
public hash(): Field {
|
|
11
|
-
return Poseidon.hash(
|
|
16
|
+
return Poseidon.hash([
|
|
17
|
+
...CurrentBlock.toFields(this.block),
|
|
18
|
+
...PreviousBlock.toFields(this.previous),
|
|
19
|
+
]);
|
|
12
20
|
}
|
|
13
21
|
}
|