Commit 8745132

authored

refactor(spl): use assume to replace cheatcode_set_* (#71)

This optimization improves 1. the proving performance of `test_process_get_account_data_size` by about 34% (1.5x faster), reducing the runtime from 3748 s to 2471 s; 2. the structure of the proof from multiple branches into one.

1 parent 037268b commit 8745132Copy full SHA for 8745132

5 files changed

+108

-123

lines changed

p-token/test-properties
- mir-semantics
program
- src
  - entrypoint-runtime-verification.rs
  - lib.rs
- test-properties
  - scripts
    - sync-spl-specs.py
  - templates
    - runtime_entrypoint.rs

5 files changed

+108

-123

lines changed

`‎p-token/test-properties/mir-semantics‎`

Submodule mir-semantics updated 52 files

Comments

(0)