github/polyexen
1
1
Fork 0
mirror of https://github.com/Dhole/polyexen.git synced 2026-01-11 05:47:59 -05:00
Code Issues Packages Projects Releases Wiki Activity
49 Commits 5 Branches 0 Tags
master
Commit Graph

49 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Dhole
16a85c5411 Merge pull request #5 from Dhole/feature/shuffles 
Add support for halo2 shuffles, bump halo2 dependency
 2024-02-07 17:19:48 +01:00
Dhole
e446d12e88 Merge pull request #4 from leonardoalt/shuffles-leo 
chore: upgrade halo2
 2024-02-07 16:29:32 +01:00
Leo Alt
bf5a2af65b update halo2 2024-02-07 15:13:39 +01:00
Dhole
4d128ad2eb Merge pull request #3 from jae-cuz/automatic-instance 
(feat) automatic instance generation
 2023-10-02 15:04:34 +02:00
Jaewon In
7c0165dfe4 support multiple public columns, add error message, change handling public offsets 2023-09-27 20:01:56 +09:00
Jaewon In
64fe3fd2f8 implementation 2023-09-24 00:04:47 +09:00
Dhole
53c57e0729 Support halo2 shuffles 2023-06-02 17:36:42 +02:00
Dhole
5f1eebd773 Depend on PSE halo2 2023-05-16 13:19:54 +02:00
Dhole
67148a8aab Update to latests halo2 2023-05-11 15:49:45 +02:00
Dhole
ba36325e9d WIP 2023-04-03 14:13:44 +07:00
Dhole
c4864d2deb Merge pull request #1 from adria0/feat/public_inputs 
(feat) halo2 public inputs
 2023-03-23 17:06:10 +07:00
adria0
3bfdf21bb7 (feat) halo2 public inputs 2023-03-23 15:48:01 +07:00
Dhole
e68cac0693 Update 2023-03-23 15:24:44 +07:00
Dhole
fc747aab03 WIP 2023-03-20 13:53:19 +07:00
Dhole
1cad0ff971 Merge branch 'master' of github.com:Dhole/polyexen 2023-03-15 16:04:41 +07:00
Dhole
11886dfe2b Update simplify API, add plaf readme 2023-03-15 16:04:24 +07:00
Dhole
dc4b73761f Add some notes 2023-03-10 13:11:56 +01:00
Dhole
ee65714f23 WIP 2023-03-07 01:42:34 +01:00
Dhole
4fd0100770 WIP 2023-03-06 01:29:27 +01:00
Dhole
4ca1d3aa6b Support indexing and exp in parser 2023-03-05 20:09:38 +01:00
Dhole
9da8cb2798 Rearange plaf frontend/backend adaptors 2023-03-05 01:44:24 +01:00
Dhole
9985d67932 Fix simplify linear comb 2023-02-28 09:01:43 +01:00
Dhole
ba1c841e0a Fixes 2023-02-24 09:43:36 +01:00
Dhole
933fd0ba70 WIP plaf to halo2 Circuit 2023-02-23 02:05:29 +01:00
Dhole
5cb817bdfe Feat: various improvements 
- Add simplify pow
- Add simplify linear combination
- Add column aliases
- Split display functions
 2023-02-08 17:04:48 +01:00
Dhole
1cda65d657 Extract witness 2023-01-15 16:50:35 +01:00
Dhole
ada35a344d WIP 2022-12-23 15:41:34 +01:00
Dhole
8c3d2ba420 Add IR 2022-12-11 01:56:43 +01:00
Dhole
63fab903fa WIP 2022-11-29 00:03:01 +01:00
Dhole
1c19d9393d WIP 2022-11-28 01:37:30 +01:00
Dhole
56de7030a1 WIP 2022-11-21 20:34:21 +01:00
Dhole
1d59a69f3f WIP 2022-11-20 23:13:45 +01:00
Dhole
bb73e7d63e WIP 2022-11-15 23:16:50 +01:00
Dhole
e8cc77d4df Add test case 2022-11-09 23:13:38 +01:00
Dhole
cb5536218b Fix parser bug 2022-11-09 20:39:14 +01:00
Dhole
882afc77f8 Needs a bug fix 2022-11-09 19:58:50 +01:00
Dhole
b1bb91b6cb Bug fix, analyze 2022-11-06 20:54:29 +01:00
Dhole
a9914a8efe Reorg, add test_eq 2022-11-05 18:05:48 +01:00
Dhole
685f098189 Implement a better parser with pest 2022-11-03 01:25:49 +01:00
Dhole
a9a404e018 Work on parser 2022-11-02 01:15:38 +01:00
Dhole
133c6048dd Fix normalize bug 2022-11-01 11:57:27 +01:00
Dhole
60ab07e1c5 WIP: Debugging 2022-10-31 16:19:50 +01:00
Dhole
0eb23b909b Add eval 2022-10-31 15:31:49 +01:00
Dhole
a8e7e3a44a Add random 2022-10-24 05:07:22 +02:00
Dhole
2529b53594 Add simplify 2022-10-06 01:04:38 +02:00
Dhole
752e784aac Improve simplify 2022-10-05 23:55:47 +02:00
Dhole
a08ded14aa WIP 2022-10-03 00:01:32 +02:00
Dhole
5c2f1c86fe Test 2 2022-10-02 18:09:43 +02:00
Dhole
be8ba555e9 Test 1 2022-10-02 16:22:19 +02:00