Skip to content

Add challenges for data reads #27

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

Merged
jonasmartin merged 35 commits into from
Sep 16, 2025
Merged

Add challenges for data reads #27

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
35 commits
Select commit Hold shift + click to select a range
a82a959
Add challenges for uninitialized and initialized non modified data reads
crivasr Jul 2, 2025
9b31463
update docker
jonasmartin Jul 4, 2025
5258ab4
Fix section retrieval and memory read
crivasr Jul 24, 2025
0a3e558
Fix initial value challenges logic
crivasr Jul 24, 2025
7e16660
Rename and fix get_selected_vars function
crivasr Jul 24, 2025
39ea295
Add read value challenge script
crivasr Jul 24, 2025
3bcd47a
make is_lower_than work with 64bit numbers
crivasr Jul 24, 2025
fced1e9
Separate NAryLogs
crivasr Jul 24, 2025
cb0412d
Fix fail_write step
crivasr Jul 24, 2025
99c5126
Add read value challenge
crivasr Jul 24, 2025
6484cea
Add read challenge tests
crivasr Jul 24, 2025
7a9d6cc
make find_section_idx public
crivasr Jul 24, 2025
aec6566
move variables out of nary log
crivasr Jul 24, 2025
fc561c3
merge main changes
crivasr Jul 24, 2025
558574c
cargo fmt
crivasr Jul 24, 2025
cd66611
Add verifier_choose_challenge_for_read_challenge to main commands
crivasr Jul 31, 2025
555e487
Fix verifier_check_execution
crivasr Jul 31, 2025
fd6292a
Make load traces compliant with RISC-V specification
crivasr Jul 31, 2025
2e52a40
Don't allow sections with addresses lower than 0x1000
crivasr Jul 31, 2025
ca13596
Add flag to disable saving non-checkpoint steps
crivasr Jul 31, 2025
d7302b0
Fixed verifier_check_execution info messages again
crivasr Aug 1, 2025
3679a01
Fix incorrect force_condition in some tests
crivasr Aug 1, 2025
b1bff7c
Don't allow sections next to the stack sections
crivasr Aug 4, 2025
e4167ff
fix first base step in nary search for read_value challenge
crivasr Aug 6, 2025
0e14a12
Optimize read value challenge
crivasr Aug 6, 2025
ef41e49
Revert "Make load traces compliant with RISC-V specification"
crivasr Aug 25, 2025
7569723
restore RomData Challenge
crivasr Sep 8, 2025
43b1cc3
change var_selector type to number
crivasr Sep 10, 2025
3305683
use optimized static shift
crivasr Sep 10, 2025
2704aba
refactor nary_log retrieval logic
crivasr Sep 10, 2025
7718fdf
remove unused fail-config
crivasr Sep 10, 2025
f6752fe
decrease chunk size
crivasr Sep 10, 2025
91034f1
tmp commit
crivasr Sep 15, 2025
1aee5d2
update docker submodule
crivasr Sep 15, 2025
79ae57c
update uninitialized ranges handling and add string convertion to NAr…
KevinWahle Sep 15, 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
2 changes: 1 addition & 1 deletion bitcoin-script-riscv/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ bitcoin-script-stack = { git = "https://github.com/FairgateLabs/rust-bitcoin-scr
"interactive",
], branch = "v2" }
bitcoin-script-functions = { git = "https://github.com/FairgateLabs/rust-bitcoin-script-functions" }
bitcoin = "=0.32.5"
bitcoin = "=0.32.6"
bitcoin-script = { git = "https://github.com/FairgateLabs/rust-bitcoin-script", branch = "bitvmx" }
riscv-decode = "0.2.1"
thiserror = "1.0.61"
Expand Down
Loading