-
Notifications
You must be signed in to change notification settings - Fork 0
/
objects.py
34 lines (26 loc) · 862 Bytes
/
objects.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
import marshmallow_dataclass
from starkware.starkware_utils.validated_dataclass import ValidatedMarshmallowDataclass
from starkware.starkware_utils.validated_dataclass import (
ValidatedMarshmallowDataclass,
)
@marshmallow_dataclass.dataclass(frozen=True)
class NodeClaim(ValidatedMarshmallowDataclass):
a_start: int
b_start: int
n: int
@marshmallow_dataclass.dataclass(frozen=True)
class NodeResult(ValidatedMarshmallowDataclass):
a_start: int
b_start: int
n: int
a_end: int
b_end: int
@marshmallow_dataclass.dataclass(frozen=True)
class AggregatorClaim(ValidatedMarshmallowDataclass):
node_left: NodeResult
node_right: NodeResult
@marshmallow_dataclass.dataclass(frozen=True)
class AggregatorResult(ValidatedMarshmallowDataclass):
node_left_hash: int
node_right_hash: int
node_result: NodeResult