Skip to content

test: create basic property test #264

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

Jump to bottom
Draft
Hebilicious wants to merge 41 commits into
base: las/tests
Choose a base branch
from
Draft

test: create basic property test #264

Hebilicious wants to merge 41 commits into from

Conversation

@Hebilicious
Copy link
Contributor

@Hebilicious Hebilicious commented Mar 6, 2025 •
edited
Loading

resolves ZK-174

L-as added 30 commits January 14, 2025 13:58
@L-as
wip tests
cdaa19f
@L-as
Rename helper_token_id to helper_token_id_l1 in spec
ff57960
@L-as
Fix incorrect constant in zeko_transaction_snark
6fc5c5e
@L-as
Fix bug in indexed merkle tree, found in audit
a772830 
`root_new` was completely unconstrained when `check` was `false`.
@L-as
Make circuits compile
998bc6d 
Override wrap domain had to be used in various places,
and various circuits had to be reduced in size due to bugs in Pickles.
@L-as
Make Compile_simple.compile take N13, N14, N15 rather than N0, N1, N2
77eec53
@L-as
Compile all circuits in compilation test
082a263
@L-as
Pass through branch_name correctly in folder
07c28a7
@L-as
Fix bug in SnarkArray.t
14e6c49 
We forgot to keep the length information when going from list to array
@L-as
Expose make for ase
2e282ec
@L-as
change wording in time_promise
016adbf
@L-as
reformat
2c567dd
@L-as
tests
74e84f3
@L-as
Fix bug in DA signature check
7076904 
We weren't using Even_PC in Rule_commit
@L-as
Fix branch_name in Rule_pause
7f2eb50
@L-as
Fix bug in folder merge found in audit
140211f
@L-as
wip
82a76aa
@L-as
Force all configs to be dummy configs
f364f11
@L-as
wip
98ec706
@L-as
wip
6e3e92f
@L-as
tentatively fix zeko transaction snark proving
1dc6cc0
@L-as
Fix indexed merkle tree add_key_var when check = false
9929500
@L-as
small fixes
61ec001
@L-as
Work around bug in snarky
bc5908d
@L-as
Work on zkapp command test
00b44dd
@L-as
reformat
8944654
@L-as
Undo unneeded changes to mina txn snark
9206a80
@L-as
Create mostly working fake compile_simple
60389c7
@L-as
Rename names used in indexed_merkle_tree
a43cff6
@L-as
Further work on basic_prove_test
37705ba
@Hebilicious Hebilicious changed the base branch from compatible to las/tests March 6, 2025 22:41
@Hebilicious Hebilicious marked this pull request as draft March 6, 2025 23:31
@Hebilicious Hebilicious requested a review from L-as March 6, 2025 23:31
@linear
Copy link

linear bot commented Mar 11, 2025

ZK-174 Turn basic prove test into a property test

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@L-as L-as Awaiting requested review from L-as

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@Hebilicious @L-as