Skip to content

Comments

Linked Merkle Tree#303

Merged
rpanic merged 131 commits intodevelopfrom
feature/linked-merkle-tree-2
May 21, 2025
Merged

Linked Merkle Tree#303
rpanic merged 131 commits intodevelopfrom
feature/linked-merkle-tree-2

Conversation

@rpanic
Copy link
Member

@rpanic rpanic commented Apr 4, 2025 •
edited
Loading

This PR implements #191

Current constraint count for applyTreeWrite: 2453

Possible followup PRs:

@ejMina226
Start implementation
febf242
@ejMina226
Define Leaf
7dcca53
@ejMina226
Start LinkedMerkleTree
11922ac
@ejMina226
Start LinkedMerkleTree
e78afb7
@ejMina226
Create LinkedMerkleTreeStore
36d07bc
@ejMina226
Update LinkedMerkleTreeStore
fba3f7c
@ejMina226
Update interface with types.
da6d00c
@ejMina226
Update interface and get implementation for in memory linked merkle tree
da3f1ab
@ejMina226
Update interface
ae09af0
@ejMina226
Working on LinkedMerkleTree
1c1ab2d
@ejMina226
Add in getClosestPath
13f61a1
@ejMina226
Update GetWitness
69dbaaa
@ejMina226
Added in code to set leaf
d8930c0
@ejMina226
Remove deleted reference
162ab7d
@ejMina226
Set up constructor
4527044
@ejMina226
Set up constructor and fix initialisation
ba198a9
@ejMina226
Add in private
671f563
@ejMina226
Update comment
7c7c791
@ejMina226
Update comment
bffd5d4
@ejMina226
Change confusing method name
743935d
@ejMina226
Adding setValue
1dfdcb4
@ejMina226
Changing setValue to insert and update
2423256
@ejMina226
Change getPathLessOrEqual to include equal
c1dc6ee
@ejMina226
Change types as path and nextPath are bigint and not number
1c3e27e
@ejMina226
Update state transition prover to use LinkedMerkleTree
af96307
@ejMina226
Add types
396c01f
@ejMina226
Remove unnecessary code
5f3f6a2
@ejMina226
Add in-circuit checks for reading
72011b4
@ejMina226
Add in-circuit checks for reading
cb39718
@ejMina226
Update code for insertion (WIP)
2258c69
ejMina226 and others added 21 commits December 4, 2024 08:52
@ejMina226
Change code in server.ts for merkleWitness
7671c79
@ejMina226
Settlement changes
1e7d420
@ejMina226
Remove unneeded code
4261288
@rpanic
Merge branch 'develop' into feature/linked-merkle-tree
81a7779 
# Conflicts:
#	packages/common/src/index.ts
#	packages/common/src/trees/RollupMerkleTree.ts
#	packages/persistance/src/RedisConnection.ts
#	packages/protocol/src/model/StateTransitionProvableBatch.ts
#	packages/protocol/src/prover/statetransition/StateTransitionProver.ts
#	packages/protocol/src/settlement/contracts/SettlementSmartContract.ts
#	packages/sequencer/src/protocol/production/BatchProducerModule.ts
#	packages/sequencer/src/protocol/production/TransactionTraceService.ts
#	packages/sequencer/src/protocol/production/sequencing/BlockProducerModule.ts
#	packages/sequencer/src/protocol/production/sequencing/TransactionExecutionService.ts
#	packages/sequencer/src/protocol/production/tasks/serializers/StateTransitionParametersSerializer.ts
#	packages/sequencer/src/settlement/SettlementModule.ts
#	packages/sequencer/test/settlement/Settlement.ts
@rpanic
Moved trees in separate packages
c6a1b86
@rpanic
Reimplemented LMT with new witness layout
3e831ae
@rpanic
Implemented circuit ops for new LMT impl
ba26129
@rpanic
Fixed typing issues for LMT
1c48fbe
@rpanic
Integrated LMT into circuits
597a6ae
@rpanic
Finished LMT implementation, removed lastOccupiedIndex from state
f5db805
@rpanic
Adapted protocol to changed LMT interface
d8a1df5
@rpanic
Built sequencer-side lmt stores
10219f9
@rpanic
Integrated LMT into block prod pipeline
1faf5de
@rpanic
Fixed a few bugs, block production working
9b220e7
@rpanic
Disabled no-else-return eslint rule
0a98636
@rpanic
Adapted sdk to new lmt types
2f3a29d
@rpanic
Adapted api to new lmt types
0356520
@rpanic
Implemented batching algorithm for CachedLinkedLeafStore preloading
2096830
@rpanic
Implemented PrismaLinkedLeafStore
0967680
@rpanic
Fixed bug where maximum index wasn't filtering mask
0d79d77
@rpanic
Fix linting
8a2e177
@rpanic rpanic marked this pull request as ready for review April 11, 2025 18:39
@rpanic rpanic mentioned this pull request Apr 11, 2025
Closed
@rpanic rpanic linked an issue Apr 11, 2025 that may be closed by this pull request
Add linked merkle tree as the primary state tree for the protocol #191
Closed
@rpanic rpanic changed the title Linked Merkle Tree 2 Linked Merkle Tree Apr 12, 2025
@rpanic rpanic merged commit 9b3714f into develop May 21, 2025
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Add linked merkle tree as the primary state tree for the protocol

2 participants

@rpanic @ejMina226