Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

feat: bloomfilter & batched mt updates experiments #962

Draft
wants to merge 30 commits into
base: main
Choose a base branch
from
Draft

feat: bloomfilter & batched mt updates experiments #962

wants to merge 30 commits into from

Conversation

ananas-block
Copy link
Contributor

@ananas-block ananas-block commented Jul 5, 2024 •
edited
Loading

Changes:

  • add experimental bloomfilter crate a very space efficient and cu efficient way to prove non-inclusion
  • add Batch Struct
  • add queue account which can hold multiple batch structs (functional tested)
  • add merkle tree account (untested)

@ananas-block ananas-block force-pushed the jorrit/experiment-bloomfilter branch from a4aa530 to ea694b8 Compare July 5, 2024 15:49
@ananas-block ananas-block changed the title feat: add bloomfilter feat: bloomfilter & batched mt updates experiments Jul 7, 2024
@ananas-block ananas-block marked this pull request as draft July 7, 2024 19:16
@ananas-block ananas-block force-pushed the jorrit/experiment-bloomfilter branch 2 times, most recently from 590ea72 to 7ca246b Compare September 17, 2024 11:27
@ananas-block
fix: add light prover client batch update and append tests
83262d2
@ananas-block
added bloomfilter
8bb6ae0 
batch e2e test failing because filter change doesn't work yet
@ananas-block
debugging
3312001
@ananas-block
batched Merkle tree e2e test works with output queue
bc317d1
@ananas-block
fix: e2e test work with input and output queues
d143b94
@ananas-block
chore: rename wipe bloomfilter -> wipe_batch
ddc4840
@ananas-block
refactored input queue into mt account
19cf068
@ananas-block
stash
ca68efe
@ananas-block
test: rnd account init works
54e43a8
@ananas-block
chore: replace is_inserted with state
a671d81
@ananas-block
chore: moved offset to bounded vec, added bounded vec init and deseri…
7c96e6d 
…alize
@ananas-block
fixed bounded vec imports
305d0e3
@ananas-block
refactor: partial batch zkp updates, flexible sized root history arra…
7aa53c7 
…y with seq
@ananas-block
implemented batch prove and verification in rust tests untested
96330ff
@ananas-block
stash: batched updates work with simulate transactions test
012831f
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@vadorovsky vadorovsky Awaiting requested review from vadorovsky vadorovsky is a code owner

@sergeytimoshin sergeytimoshin Awaiting requested review from sergeytimoshin sergeytimoshin will be requested when the pull request is marked ready for review sergeytimoshin is a code owner

At least 1 approving review is required to merge this pull request.

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@ananas-block