Commit Graph

Select branches

Hide Pull Requests

decomposition-soln

decomposition-spec

fix-range-check

gadget

mason/example_2

master

mockprover-table-err

#1

#10

#10

#11

#11

#12

#12

#13

#13

#2

#3

#4

#5

#6

#6

#7

#8

#8

#9

#9

Mono Color

• 6b86764876 update the column naming master Haichen Shen 2022-11-17 10:47:20 -08:00
• ca1bfc0c97 update the api use for fibonacci example 1 Haichen Shen 2022-11-17 10:35:28 -08:00
• 5ae92c13ef add fibonacci example with lookup Haichen Shen 2022-11-17 01:01:51 -08:00
• 1e0e6e6bf2 update the naming Haichen Shen 2022-11-16 23:21:46 -08:00
• f4fb76ccc8 mockprover_table_err: Uneven table example. mockprover-table-err therealyingtong 2022-06-28 13:30:10 -04:00
• 6169f49706 decompose_range_check: Example 3, shifted short lookup range check. decomposition-soln therealyingtong 2022-06-25 15:10:34 -04:00
• a74ec9fa7b decompose_range_check: Example 2, arbitrary N (tag lookup) therealyingtong 2022-06-25 15:02:47 -04:00
• 948cc8e2d9 decompose_range_check: Example 1 (multiples of K). therealyingtong 2022-06-25 14:57:47 -04:00
• 1b1e88b6b5 decompose_range_check: Move to submodule. therealyingtong 2022-06-25 14:54:26 -04:00
• d0dd58e610 Remove unnecessary gate; update comments. decomposition-spec ying tong 2022-06-23 10:47:43 -04:00
• 5129aa65d0 decompose_range_check: Fix typo and add more comments. therealyingtong 2022-06-22 13:04:03 -04:00
• 92c3454425 decompose_range_check: Spec and skeleton structure. therealyingtong 2022-06-22 10:55:26 -04:00
• 99e6ce76ff example3: Cleanup. fix-range-check therealyingtong 2022-06-25 14:42:59 -04:00
• a2e488f323 Fix broken example 3. therealyingtong 2022-06-21 18:41:57 -04:00
• 434c7c35c4 Merge pull request #7 from Janmajayamall/patch-2 ying tong 2022-06-23 10:44:55 -04:00
• 82f0fa5f9a Fixes lookup table in comment Janmajayamall 2022-06-23 17:58:19 +05:30
• 7248ebbec6 Merge pull request #5 from icemelon/patch-range-check ying tong 2022-06-22 04:51:32 -04:00
• 865484355d range_check: Fix range_check closure. therealyingtong 2022-06-22 04:42:14 -04:00
• 8662bb59bb Merge pull request #4 from icemelon/patch-range-check-ex-2 ying tong 2022-06-22 04:33:32 -04:00
• 6c0dc3042b range_check: Patch example_2. therealyingtong 2022-06-22 04:31:20 -04:00
• b85b595009 Merge pull request #3 from icemelon/range-check ying tong 2022-06-21 22:17:27 -04:00
• 48337d735a Add broken example 3. therealyingtong 2022-06-21 18:41:57 -04:00
• 9bd090ae15 Range-check example 2 (with lookup). therealyingtong 2022-06-21 11:57:17 -04:00
• 28637c2774 Add range-check example 1. therealyingtong 2022-06-21 10:19:02 -04:00
• 2b3ced2e84 Merge pull request #2 from icemelon/cleanup ying tong 2022-06-21 18:42:18 -04:00
• d46f8d4fb7 Clippy fixes therealyingtong 2022-06-21 17:12:18 -04:00
• 4b639778d1 cargo fmt therealyingtong 2022-06-21 16:46:36 -04:00
• bb46947142 Move fibonacci examples into fibonacci module. therealyingtong 2022-06-21 16:46:20 -04:00
• 0fed4af1fb Fixed plotting command (#1) AtHeartEngineer 2022-06-21 16:36:23 -04:00
• 0bab780576 add new examples Haichen Shen 2022-06-16 14:04:13 -07:00
• 615cbdab90 fmt mason/example_2 z2trillion 2022-06-16 02:10:39 -04:00
• 7328d8da87 wip z2trillion 2022-06-16 02:03:07 -04:00
• f36817f361 wip z2trillion 2022-06-16 01:28:05 -04:00
• b73b80f1f8 add is_zero gadget gadget Haichen Shen 2022-06-15 15:53:23 -07:00
• 869d126132 init Haichen Shen 2022-06-14 12:16:09 -07:00