Skip to content
Draft
Changes from 1 commit
Commits
Show all changes
38 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
c158ea9
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
use const
  • Loading branch information
Geometer1729 committed Jul 2, 2025
commit 6fa95e37edf35487e480d3afa0978a5aee9a552e
6 changes: 3 additions & 3 deletions src/app/zkapps_examples/zkapps_examples.ml
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,7 @@ module Account_update_under_construction = struct
; receipt_chain_hash = Ignore
; delegate = Ignore
; state =
Zkapp_state.V.init ~f:(fun _ -> Zkapp_basic.Or_ignore.Ignore)
Zkapp_state.V.init ~f:(const Zkapp_basic.Or_ignore.Ignore)
; action_state = Ignore
; proved_state = Ignore
; is_new = Ignore
Expand Down Expand Up @@ -70,7 +70,7 @@ module Account_update_under_construction = struct
type t = { app_state : Field.t option Zkapp_state.V.t }

let create () =
{ app_state = Mina_base.Zkapp_state.V.init ~f:(fun _ -> None) }
{ app_state = Mina_base.Zkapp_state.V.init ~f:(const None) }

let to_zkapp_command_update ({ app_state } : t) :
Account_update.Update.Checked.t =
Expand All @@ -87,7 +87,7 @@ module Account_update_under_construction = struct
var_of_t
(Account_update.Update.typ ())
{ app_state =
Mina_base.Zkapp_state.V.init ~f:(fun _ ->
Mina_base.Zkapp_state.V.init ~f:(const
Zkapp_basic.Set_or_keep.Keep )
; delegate = Keep
; verification_key = Keep
Expand Down