Skip to content
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.

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

Proof-of-Concept: Structured I/O, Numeric Hierarchy with (Semi)Euclidean + (Semi)Integral, Optimized Constants, Map-of-Maps multivariate polynomials #177

Draft
wants to merge 56 commits into
base: main
Choose a base branch
from
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
56 commits
Select commit Hold shift + click to select a range
96b3a7f
structured i/o
echatav Jul 12, 2024
6ca0fc5
Update Polynomial.hs
echatav Jul 12, 2024
cfceca4
Update Vector.hs
echatav Jul 12, 2024
c34460f
Update Vector.hs
echatav Jul 12, 2024
e66b5fe
Update Circuit.hs
echatav Jul 12, 2024
7b4eb43
stylish-haskell auto-commit
echatav Jul 12, 2024
9ae9e5d
use indexed transformers
echatav Jul 13, 2024
a5ccec8
Merge branch 'structured-io' of https://github.com/zkFold/zkfold-base…
echatav Jul 13, 2024
96923e8
Update main-pull.yml
echatav Jul 13, 2024
c6fae32
Update main-pull.yml
echatav Jul 13, 2024
0608f43
newAssigned
echatav Jul 13, 2024
8d872fa
Update Circuit.hs
echatav Jul 13, 2024
331c285
golfin
echatav Jul 13, 2024
42ebbeb
Update Circuit.hs
echatav Jul 13, 2024
0d5f9f2
Update Circuit.hs
echatav Jul 13, 2024
c13d4e4
Update Polynomial.hs
echatav Jul 13, 2024
5ddd7a2
evalConst
echatav Jul 13, 2024
f979709
fix -
echatav Jul 13, 2024
9bedfb2
fixity
echatav Jul 13, 2024
d1c0181
efficient linear combination of polynomials
echatav Jul 13, 2024
dd0db51
Mod
echatav Jul 13, 2024
cf5a1ba
Update Num.hs
echatav Jul 14, 2024
5f0a40b
Update Num.hs
echatav Jul 14, 2024
b29699f
Update Num.hs
echatav Jul 14, 2024
3d46f61
Update Circuit.hs
echatav Jul 14, 2024
f85c6e6
Update Circuit.hs
echatav Jul 14, 2024
b256960
Update Circuit.hs
echatav Jul 14, 2024
41fbc21
Merge branch 'main' into structured-io
echatav Jul 14, 2024
51e59a8
Update Vector.hs
echatav Jul 14, 2024
ecac7b2
Merge branch 'structured-io' of https://github.com/zkFold/zkfold-base…
echatav Jul 14, 2024
b114197
Update Vector.hs
echatav Jul 14, 2024
84611b3
Update Vector.hs
echatav Jul 14, 2024
f3a06b2
Update Vector.hs
echatav Jul 14, 2024
47ba9db
Update Num.hs
echatav Jul 14, 2024
33e0f7c
Update Num.hs
echatav Jul 14, 2024
800679e
Update Polynomial.hs
echatav Jul 15, 2024
31cead9
split up euclidean again
echatav Jul 15, 2024
e2ebecb
Update Num.hs
echatav Jul 15, 2024
ced989b
remove things
echatav Jul 15, 2024
143addd
Update Num.hs
echatav Jul 15, 2024
8072953
Update Num.hs
echatav Jul 15, 2024
5d46c89
Update Circuit.hs
echatav Jul 15, 2024
ec2dd02
Update Num.hs
echatav Jul 15, 2024
8af5d8b
Update Num.hs
echatav Jul 16, 2024
0621428
+ some algebra instances for Circuit
TurtlePU Jul 16, 2024
e26055f
horner
echatav Jul 16, 2024
31db6f5
binary expansion
echatav Jul 18, 2024
6dee49e
Update Circuit.hs
echatav Jul 18, 2024
2eb906a
functions and compile
echatav Jul 19, 2024
429cee8
symbolic class
echatav Jul 19, 2024
8e273e8
Merge branch 'main' into structured-io
echatav Jul 22, 2024
5fe6797
evalMonoZ
echatav Jul 25, 2024
0d09671
Symbolic instance
echatav Jul 25, 2024
bc25271
Update Circuit.hs
echatav Aug 1, 2024
7f61077
Update Circuit.hs
echatav Aug 1, 2024
078e34b
Merge branch 'main' into structured-io
echatav Aug 2, 2024
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
Loading
Loading