Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
39 commits
Select commit Hold shift + click to select a range
e801f04
make the changes suggested by the compiler to make the rust linter happy
kmerrill18 Dec 9, 2025
3a90075
code for printing r1cs constraints in human-readable format and user …
kmerrill18 Dec 9, 2025
9bda870
fix warnings as well as errors
kmerrill18 Dec 9, 2025
7bb4f90
fix more lifetime issues with all features on
kmerrill18 Dec 9, 2025
1974933
linter changes for rust 1.91.0
kmerrill18 Dec 9, 2025
e81f899
undo edits to .gitignore
kmerrill18 Dec 9, 2025
2428fcf
Merge branch 'master' into r1cs-printer
kmerrill18 Dec 10, 2025
b19328f
update r1cs workflow to include ZoKCurly
kmerrill18 Dec 10, 2025
2ec5a6e
fix doc typo
kmerrill18 Dec 10, 2025
b466f6e
add syntax and type checking command
kmerrill18 Dec 12, 2025
d0a9b24
add support for dorian
Jan 23, 2026
cd6ea4b
add support for dorian
Jan 26, 2026
866838c
Merge remote-tracking branch 'my-repo/master' into dorian
woopuiyung Jan 26, 2026
da90495
update readme
woopuiyung Jan 26, 2026
dca5c0e
Merge pull request #2 from sschefflab/r1cs-printer
kmerrill18 Jan 28, 2026
8227eb1
Merge branch 'circify:master' into master
kmerrill18 Jan 28, 2026
6a43d7c
add import for sample_challenge so code parses
kmerrill18 Feb 2, 2026
2b67a0b
add CLAUDE.md to .gitignore
kmerrill18 Feb 2, 2026
7e08a79
merge with master
woopuiyung Feb 2, 2026
5b9260c
remove unnecessary file
woopuiyung Feb 2, 2026
a19a080
Merge pull request #1 from sschefflab/dorian
kmerrill18 Feb 3, 2026
cfdc02c
add support for value_in_array with tuples
kmerrill18 Feb 5, 2026
a5a6e18
inputs for in_array_tuple example
kmerrill18 Feb 5, 2026
c580134
constraint count investigation
kmerrill18 Feb 6, 2026
b0a2d1b
Merge pull request #3 from sschefflab/value-in-array-tuple
kmerrill18 Feb 9, 2026
8339202
cargo fix circ
kmerrill18 Mar 4, 2026
2369489
cargo fix dorian
kmerrill18 Mar 4, 2026
618a8c6
claude fixes warnings
kmerrill18 Mar 4, 2026
4111347
update r1cs_inspect to work with bellman and dorian
kmerrill18 Mar 6, 2026
8e8e0aa
Merge remote-tracking branch 'origin/master' into fix-warnings
kmerrill18 Mar 6, 2026
cf66b0f
Merge pull request #4 from sschefflab/fix-warnings
woopuiyung Mar 18, 2026
64d64d3
add commit and prove support to Dorian; include toy example
woopuiyung Apr 8, 2026
00c11dd
optimizations to frontend and ir optimization to avoid repeating expe…
kmerrill18 May 4, 2026
1928960
.pin and .vin files for curve25519
kmerrill18 May 5, 2026
33ce587
fix the bug in examples/ZoKratesCurly/pf/chall/poly_mult.zok
woopuiyung May 8, 2026
650231d
specify external commit inputs by name instead of by number
kmerrill18 May 13, 2026
7c56909
Merge pull request #5 from sschefflab/commitnprove
kmerrill18 May 16, 2026
9acf4bf
Add to_proof_data helper and in-memory test
karandeol-26 Jun 11, 2026
b9c72e2
Clear default features in Cargo.toml
karandeol-26 Jun 12, 2026
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
5 changes: 4 additions & 1 deletion .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -3,8 +3,10 @@
/assignment.txt
/params
__pycache__
/P
/P*
/V
/SpartanPP
/*.pin
/pi
/x
/perf.data*
Expand All @@ -17,3 +19,4 @@ scripts/aby_tests/tests
/flamegraph*.svg
/.ccls-cache
/.vscode
CLAUDE.md
Loading
Loading