Skip to content
This repository was archived by the owner on Apr 18, 2025. It is now read-only.

Add 4844 soundness tests #1210

Merged
roynalnaruto merged 15 commits into from
Apr 13, 2024
Merged

Add 4844 soundness tests #1210

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
263b223
Add assign_rows and assign_internal_checks methods
Apr 3, 2024
883fbac
Remove unused arguments
Apr 3, 2024
d91553b
fix rebase
Apr 4, 2024
c2d1d97
Add overwrite tests for BlobDataConfig exports
Apr 5, 2024
34935bc
Add chunk_idx soundness test and additional constraints
Apr 6, 2024
ff711c3
Constraint is_boundary and is_padding to be boolean on all active rows
Apr 11, 2024
571d04d
Add additional overwrite tests
Apr 11, 2024
1b26de8
Fix chunk_idx test
Apr 11, 2024
9bce0c3
Remove digest rlc row from overwrite tests
Apr 11, 2024
8de2876
Merge branch 'develop' into feat/soundness_rebase
z2trillion Apr 12, 2024
fca3e1c
fix rebase
Apr 12, 2024
cfcb033
fix copy paste error
Apr 13, 2024
ce8e2e3
constrain preimage_rlc in metadata section
Apr 13, 2024
6ff23ac
fix overwrite digest rlc test
Apr 13, 2024
9d7d121
remove un-needed product
Apr 13, 2024
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
Loading