Commit Graph

Select branches

Hide Pull Requests

degree-2-constraints

main

unconstrained-assignments

var-grouping

witness-solver

#10

#12

#12

#13

#13

#4

#5

#8

Mono Color

• 1a5d6b6166 wip witness-solver vimwitch 2024-12-12 22:23:21 -08:00
• b7331b869c feat: witness solver on alt_bn128 circuit with optimization enabled vimwitch 2024-12-11 11:04:28 -08:00
• 4dd452a8f1 wip: trace structure var-grouping Chance 2024-01-08 20:17:19 -06:00
• 1d25362f65 wip Chance 2024-01-08 16:32:48 -06:00
• 8dc35ff5a3 feat: restructure r1cs trace main Chance 2023-12-07 12:58:15 -06:00
• 54e8e81b7b chore: update readme Chance 2023-12-07 11:14:16 -06:00
• c9a10aeaac feat: Num2Bits solver unconstrained-assignments bhargav 2023-10-29 14:11:58 -07:00
• c426911f1f chore: add bits r1cs for testing Chance 2023-10-17 20:37:16 -05:00
• 9a04356a65 Merge pull request #10 from vimwitch/r1cs-constraints Chance 2023-10-17 20:36:26 -05:00
• 1c26c7a9eb chore: re-enable r1cs failure test case Chance 2023-10-14 23:49:01 -05:00
• 3522c9747b refactor: auto-parse in R1CS constructor, cleanup r1csStark Chance 2023-10-14 23:40:11 -05:00
• e7b87cef34 feat: apply boundary constraints for public signals Chance 2023-10-14 23:15:01 -05:00
• bff4348681 feat: convert r1cs directly to stark constraints Chance 2023-10-14 22:32:55 -05:00
• fd831cbea6 feat: eq2 optimization degree-2-constraints bhargav 2023-10-14 15:38:53 -07:00
• 81e90b74dd Merge pull request #8 from vimwitch/1-constraint-reduce Chance 2023-10-12 11:43:05 -05:00
• 1f68a64054 wip: degree 2 constraints Chance 2023-10-12 11:41:51 -05:00
• 2e284bb543 refactor: add scratch registers to reduce degree of constraints Chance 2023-10-11 18:42:43 -05:00
• 1c88396311 refactor: files Chance 2023-10-11 17:03:25 -05:00
• 727a99db58 Merge pull request #5 from vimwitch/r1cs Chance 2023-10-11 16:52:16 -05:00
• 1275c31015 feat: r1cs parsing Chance 2023-10-11 16:49:22 -05:00
• df40ec897e refactor: switch to goldilocks curve Chance 2023-10-10 20:06:35 -05:00
• 96b7cb66fb refactor: witness calculator improvement Chance 2023-10-10 20:05:52 -05:00
• 90b496a2d7 feat: witness calculator Chance 2023-10-09 23:25:10 -05:00
• 4086457f06 feat: compile r1cs to asm Chance 2023-10-09 17:15:19 -05:00
• decbdc4a3b Merge pull request #4 from vimwitch/add-modinv Chance 2023-10-10 10:09:26 -05:00
• 57b4c65a8f add modinv Joy Wang 2023-10-07 21:46:29 -04:00
• e7ad61c6a0 refactor: use ; as comment token Chance 2023-09-07 09:25:22 -05:00
• 344c69f146 chore: operator tests Chance 2023-09-07 01:40:12 -05:00
• 8a23fee61c chore: build badge Chance 2023-09-07 00:08:56 -05:00
• 579c84bead chore: bump node orb version Chance 2023-09-07 00:05:20 -05:00
• 1bac2de325 fix: starkstark dep Chance 2023-09-07 00:03:15 -05:00
• 411904528c initial commit Chance 2023-09-06 23:58:33 -05:00