Skip to content
Draft
Changes from 1 commit
Commits
Show all changes
39 commits
Select commit Hold shift + click to select a range
b9c5c37
increase app state size
Geometer1729 Jun 17, 2025
f2d3c64
update proof cache
Geometer1729 Jul 2, 2025
95a0b5f
update blockchain_snakr_vk.json
Geometer1729 Jul 2, 2025
6fa95e3
use const
Geometer1729 Jul 2, 2025
a869580
fix two 8s I missed
Geometer1729 Jul 3, 2025
294b152
Move code from comment to script and regenerate transaction hash
Geometer1729 Jul 3, 2025
d39f287
reformat
Geometer1729 Jul 3, 2025
17409aa
regenerate proof caches again
Geometer1729 Jul 3, 2025
2b352da
Fix more 8s
Geometer1729 Jul 3, 2025
4621eee
fix jsons
Geometer1729 Jul 3, 2025
7fd6c67
fix another json list
Geometer1729 Jul 7, 2025
6a89335
add changelog
Geometer1729 Jul 9, 2025
2c89a73
regenerate archive
Geometer1729 Jul 9, 2025
fc7d268
delete regeneration script provided by other PR
Geometer1729 Jul 11, 2025
1ffbec6
comment out hetzner-itn-1-1795.json tests and fix regtest-devnet tests
Geometer1729 Jul 11, 2025
8091761
Merge branch 'brian/increment-versions' into brian/app-state32
Geometer1729 Jul 21, 2025
d0f0e89
Merge branch 'brian/increment-versions' into brian/app-state32
Geometer1729 Jul 21, 2025
b4b38a7
Merge branch 'brian/increment-versions' into brian/app-state32
Geometer1729 Jul 24, 2025
8107e0f
Increase Events & Actions limit: 100->1024
glyh Jul 25, 2025
6ec4cc6
Account update > Body: split Events' -> Events' and Actions', let the
glyh Jul 25, 2025
b63201c
clarify TODO
Geometer1729 Jul 25, 2025
b09b6dd
Account Update: document why we're still setting bounds on per event/…
glyh Jul 30, 2025
4fcbfff
Merge remote-tracking branch 'origin/lyh/bump-events-actions-limit-10…
glyh Oct 30, 2025
c52c4d3
Zkapp Command: use new constraint for valid Zkapp Command. Remove
glyh Jun 11, 2025
25cd6c2
Unconfigurable Constants: remove outdated comment info on zkapp comma…
glyh Jun 18, 2025
3996a54
Merge branch 'lyh/breaking/raise-zkapp-update-limit' into lyh/mesa-te…
glyh Nov 4, 2025
e96bc28
Merge branch 'lyh/compat-into-dev-nov4-2025' into lyh/mesa-testing
glyh Nov 4, 2025
0064b4e
Merge remote-tracking branch 'origin/develop' into lyh/mesa-testing
glyh Nov 4, 2025
c5d5bb1
Update protocol version to 4.0.0 for Mesa
cjjdespres Nov 4, 2025
da5f006
Decrease compiled-config slot time to 90s
cjjdespres Nov 4, 2025
2bebe6d
Decrease compiled config coinbase from 720 to 360
cjjdespres Nov 4, 2025
1dc5369
Merge remote-tracking branch 'origin/develop' into lyh/app-state-size…
glyh Nov 5, 2025
e7bfcab
Merge remote-tracking branch 'origin/cjjdespres/bump-protocol-version…
glyh Nov 5, 2025
781c759
print_block_chian_snark_vk test: update hardcoded VK json as we've bu…
glyh Nov 5, 2025
59cac40
Merge branch 'lyh/app-state-size32-dev' into lyh/mesa-testing. Additi…
glyh Nov 6, 2025
6091588
Merge remote-tracking branch 'origin/cjjdespres/default-slot-time-90s…
glyh Nov 6, 2025
239439e
Mina_base > Permissions: bump txnVersion in unit test "json"
glyh Nov 6, 2025
7fba2a6
block reward test: read coinbase from constraint constant instead of …
glyh Nov 6, 2025
b4d0e0f
Run `scripts/regenerate-proof-cache.sh` to patch failing
glyh Nov 6, 2025
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Account Update: document why we're still setting bounds on per event/…
…action level
  • Loading branch information
glyh committed Jul 30, 2025
commit b09b6dde400ffb7676e68bec14b09ff882445c78
5 changes: 5 additions & 0 deletions src/lib/mina_base/account_update.ml
Original file line number Diff line number Diff line change
Expand Up @@ -1087,6 +1087,11 @@ module Body = struct
let hash_fold_array f init x = Array.fold ~init ~f x

module Events' = struct
(* NOTE: in the "Increase events&actions Limit MIP", we claimed that the
limit is unbounded, the reason we're still using [Bounded_types.ArrayN],
lies in that the serialization of this type is a bit different from a
normal array. Setting the array size limit to [max_event_elements] remove
the limit on event level in practice. Same goes for types in[Actions']. *)
module Bounded = Mina_stdlib.Bounded_types.ArrayN (struct
let max_array_len = Node_config.max_event_elements
end)
Expand Down