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

Add pil2 proofman to zisk monorepo #208

Open
wants to merge 886 commits into
base: develop
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
886 commits
Select commit Hold shift + click to select a range
8197cec
add no-lib-link
xavi-pinsach Sep 24, 2024
2c71d46
update cargo.toml
xavi-pinsach Sep 24, 2024
5e9a9b7
cargo update
xavi-pinsach Sep 24, 2024
592b0c0
remove no_lib_link
xavi-pinsach Sep 24, 2024
5d6597b
Merge branch 'develop' into fix/range-check-inputs
hecmas Sep 24, 2024
389d917
Typos fixed
hecmas Sep 24, 2024
c98d232
STD mode set to Standard
hecmas Sep 24, 2024
da7f39c
Merge pull request #25 from 0xPolygonHermez/fix/range-check-inputs
hecmas Sep 24, 2024
74b2148
update Cargo.toml to point to workspace
xavi-pinsach Sep 25, 2024
913adb3
Merge remote-tracking branch 'origin/fix/range-check-inputs' into dev…
xavi-pinsach Sep 25, 2024
26c31e2
temporary fix for ternary operator
xavi-pinsach Sep 25, 2024
0c73f0d
Processing hints with strings
RogerTaule Sep 23, 2024
3e6dcad
move . => ./pil2-components
sam0x17 Sep 25, 2024
2ec8fa6
Merge branch 'pil2-components-branch' into sam-monorepo
sam0x17 Sep 25, 2024
12be458
workspace compiling, need to fix features
sam0x17 Sep 25, 2024
c868ab5
compiling
xavi-pinsach Sep 26, 2024
eb12725
remove unnecessary files & add README to launch tests
xavi-pinsach Sep 26, 2024
5f57cd4
add no_lib_link by default
xavi-pinsach Sep 26, 2024
588ad42
cargo fmt
xavi-pinsach Sep 26, 2024
5767068
Merge pull request #49 from 0xPolygonHermez/sam-monorepo
eduadiez Sep 26, 2024
4facad1
Update Cargo.toml
xavi-pinsach Sep 26, 2024
10ca944
adding no_lib_link feature to proofman, hints and common
xavi-pinsach Sep 26, 2024
e01ddc0
Merge branch 'develop' into sam-monorepo
xavi-pinsach Sep 26, 2024
de7640e
remove --all-features from tests
xavi-pinsach Sep 26, 2024
485fbb4
add no_lib_link to tests
xavi-pinsach Sep 26, 2024
b04cbbd
cargo clippy
xavi-pinsach Sep 26, 2024
dfd1980
cargo fmt
xavi-pinsach Sep 26, 2024
d805341
First commit library pil2-stark
RogerTaule Sep 26, 2024
c780f05
Merge pull request #50 from 0xPolygonHermez/sam-monorepo
xavi-pinsach Sep 26, 2024
6b77167
Working on Mac compatibility
RogerTaule Sep 26, 2024
863eca5
Poseidon_goldilocks support seq
RogerTaule Sep 26, 2024
89a9478
Typos corrected
hecmas Sep 26, 2024
780c9be
Merge pull request #52 from 0xPolygonHermez/fix/debug
hecmas Sep 26, 2024
ac9a893
always enable no_lib_link feature on mac os
sam0x17 Sep 26, 2024
4078b25
cargo update
sam0x17 Sep 26, 2024
59df0b6
Merge pull request #53 from 0xPolygonHermez/sam-fix-macos-features
sam0x17 Sep 26, 2024
4af2750
improve consolo output when verifying constraints
xavi-pinsach Sep 27, 2024
d57f545
Merge pull request #54 from 0xPolygonHermez/improve-verify-output
xavi-pinsach Sep 27, 2024
b7fb11f
improve console output (#55)
xavi-pinsach Sep 30, 2024
ad94359
simplify field selection in commands (#56)
xavi-pinsach Sep 30, 2024
bdabd51
add Arc wrapper in pctx challenges & public_inputs
xavi-pinsach Sep 16, 2024
e629063
Fibonacci example not working
RogerTaule Sep 25, 2024
b1a56db
Applying cargo fmt, clippy
RogerTaule Sep 25, 2024
f4858b1
Fibo test working
RogerTaule Sep 25, 2024
abf821b
Optimizing xdivxsub v1
RogerTaule Sep 23, 2024
59232b0
Optimizing Lev
RogerTaule Sep 23, 2024
93cf1db
minor fix xdivxsub
RogerTaule Sep 25, 2024
e1b8327
Applying clippy, cargo fmt
RogerTaule Sep 25, 2024
5b8370c
Recursion working as before merge
RogerTaule Sep 25, 2024
aadb0ff
Fix cargo fmt
RogerTaule Sep 25, 2024
2021497
Separating verify_constraints logic in a separate file
RogerTaule Sep 25, 2024
6767036
Bringing verify_constraints logic to Rust
RogerTaule Sep 25, 2024
57e9960
Minor fixes for when there is no compressor
RogerTaule Sep 26, 2024
22d262f
Fixing broken tests
RogerTaule Sep 27, 2024
065e7c0
All tests working
RogerTaule Sep 27, 2024
9f015e7
Working on CI fibonacci test
RogerTaule Sep 27, 2024
74daa8e
Modifying repo so it points to pil2-stark for C++ starks instead of z…
RogerTaule Sep 27, 2024
add5e12
Fixing CI test
RogerTaule Sep 27, 2024
889cca2
Minor fixes after rebase
RogerTaule Sep 30, 2024
d99c10b
Commenting cargo.toml examples
RogerTaule Sep 30, 2024
863db1d
Adding connection test to CI
RogerTaule Sep 30, 2024
f8a581e
Adding lookup test to CI
RogerTaule Sep 30, 2024
21676ef
Adding range-check, lookup, simple test
RogerTaule Sep 30, 2024
94bb1a0
Typo fix range-check
RogerTaule Sep 30, 2024
8d0c7b0
Fix range check compilation
RogerTaule Sep 30, 2024
13986fa
Fix another typo range-check
RogerTaule Sep 30, 2024
e06faf2
Minor fix prove.rs
RogerTaule Sep 30, 2024
2906cb1
Merge pull request #46 from 0xPolygonHermez/develop_std
RogerTaule Sep 30, 2024
6d03bca
Hints multiarray (#1)
RogerTaule Oct 2, 2024
d8fcec0
Hints Multi Array (#59)
RogerTaule Oct 2, 2024
ee8bfb6
Modifying fri_proof_get_tree_root
RogerTaule Oct 2, 2024
c0f0feb
Properly building challenges tree (#61)
RogerTaule Oct 2, 2024
b1f6073
Adding printing logs (#62)
RogerTaule Oct 2, 2024
e3c9026
Adding printing logs
RogerTaule Oct 2, 2024
ce6d87c
Cargo fmt
RogerTaule Oct 2, 2024
f652741
Adding format_vec function
RogerTaule Oct 2, 2024
de5985b
Supporting arrays in hints
RogerTaule Sep 30, 2024
80f3cbd
Adding get_hint_field_a method
RogerTaule Sep 30, 2024
ea30f50
Adding some fixes
RogerTaule Sep 30, 2024
94a3e0c
Adding a simple configuration to debug mode
hecmas Sep 30, 2024
63a5251
WIP
hecmas Sep 30, 2024
fa79f30
Now std sum takes in account the multiplicity
hecmas Sep 30, 2024
f0af358
The debug mode now has num_values_to_print
hecmas Oct 1, 2024
cf8220d
Starting to paralellize std sum
hecmas Oct 1, 2024
6583899
WIP
hecmas Oct 1, 2024
fe50939
first commit on second approach
xavi-pinsach Oct 1, 2024
0d3fbde
Finishing the fix
hecmas Oct 2, 2024
633e55e
Some bugs fixed
hecmas Oct 2, 2024
bad6d71
Fixing minor issues
hecmas Oct 2, 2024
fd3b936
Removing option from get_values_transcript
RogerTaule Oct 2, 2024
3cbb994
Merge pull request #64 from 0xPolygonHermez/fix/calculate_challenges_…
rickb80 Oct 2, 2024
78f3183
Add initialize logger function (#63)
xavi-pinsach Oct 2, 2024
d677de8
Merge branch 'develop' into feature/refactor-debug
hecmas Oct 3, 2024
265bdff
Adding num_assumes / num_proves to each value
hecmas Oct 3, 2024
c7bee18
extract public inputs as parameter (#65)
xavi-pinsach Oct 3, 2024
376445e
Cargo clippy
hecmas Oct 3, 2024
64fdacc
extract public inputs as parameter (#65)
xavi-pinsach Oct 3, 2024
f993bba
first commit on second approach
xavi-pinsach Oct 1, 2024
5651c8d
Correcting error msgs
hecmas Oct 3, 2024
f25d16e
move git submodule
sam0x17 Oct 3, 2024
cb412be
move everything into pil2-stark
sam0x17 Oct 3, 2024
cd8ceef
Merge branch 'pil2-stark-branch' into sam-monorepo-2
sam0x17 Oct 3, 2024
70c0d6a
use proper fallback path for starks
sam0x17 Oct 3, 2024
04d8186
update CI
sam0x17 Oct 3, 2024
a2c5218
fix
sam0x17 Oct 3, 2024
41039d4
CArgo fmt
hecmas Oct 4, 2024
85b4e61
Merge pull request #58 from 0xPolygonHermez/feature/refactor-debug
hecmas Oct 4, 2024
36ae26c
add get_arc_pctx, get_arc_ectx and get_arc_sctx functions (#68)
xavi-pinsach Oct 6, 2024
e9eb0a3
improve std performance and console output (#69)
xavi-pinsach Oct 7, 2024
0892bc4
First distributed version working
rickb80 Oct 1, 2024
8351da9
Add distribution context
rickb80 Oct 8, 2024
48a2dfe
Add distribution feature
rickb80 Oct 8, 2024
e714fcf
completed integration
rickb80 Oct 8, 2024
8f17193
clippy
rickb80 Oct 8, 2024
2cf3918
minor change
rickb80 Oct 8, 2024
2761d9c
compilation
rickb80 Oct 8, 2024
d81fed0
solve features
rickb80 Oct 8, 2024
3546aeb
clippy
rickb80 Oct 8, 2024
ef0f85e
add cargolock
rickb80 Oct 8, 2024
fed5661
Merge remote-tracking branch 'origin/develop' into sam-monorepo-2
sam0x17 Oct 9, 2024
a01676d
Merge pull request #71 from 0xPolygonHermez/distributed_prover
rickb80 Oct 9, 2024
cc62d85
Cleaning code and logging (#67)
RogerTaule Oct 9, 2024
225ea03
Implementing global hints (#72)
RogerTaule Oct 9, 2024
2092b60
Removing unnecessary dependencies (#73)
RogerTaule Oct 10, 2024
be337fa
Merge branch 'develop' into sam-monorepo-2
sam0x17 Oct 10, 2024
c753a7c
Porting latest changes from pil2-stark
RogerTaule Oct 11, 2024
5cb4395
Merge pull request #66 from 0xPolygonHermez/sam-monorepo-2
eduadiez Oct 11, 2024
3867368
Updating version v2.2.0 and minor fixes (#78)
RogerTaule Oct 16, 2024
1101b37
Improving logs recursion (#79)
RogerTaule Oct 16, 2024
25b52d9
Optimizing stage 2 witness computation and parser optimizations (#80)
RogerTaule Oct 18, 2024
bd02cb8
Enable deterministic and distributed proof (#81)
xavi-pinsach Oct 18, 2024
d236d03
Adding structs (#82)
RogerTaule Oct 21, 2024
903bf7c
First version of upcd done
hecmas Oct 15, 2024
fc858ce
Final fixes done
hecmas Oct 16, 2024
a73723d
Same number check is not correct
hecmas Oct 16, 2024
16bcd55
Merge pull request #77 from 0xPolygonHermez/feature/std-upcd
hecmas Oct 22, 2024
83eb6ae
Range check cleaning
hecmas Oct 22, 2024
506a07e
Rebasing develop
hecmas Oct 22, 2024
694c72f
Minor fixes
hecmas Oct 22, 2024
e76de3d
Range check dynamic working
hecmas Oct 22, 2024
b7bba86
Merge pull request #83 from 0xPolygonHermez/feature/rc-dynamic
hecmas Oct 22, 2024
722e7d1
New examples and minor fixes (#85)
hecmas Oct 23, 2024
d9c07ae
Adding airvals and airgroupvals stage1, hashing rootC and root1 (#84)
RogerTaule Oct 23, 2024
0f8c163
fix-sctx (#89)
xavi-pinsach Oct 28, 2024
3e90c1f
Modifying airvals to don't perform operations in the extended field o…
RogerTaule Oct 28, 2024
e5bd5c2
Distributed prover
rickb80 Oct 20, 2024
134ac64
fmt
rickb80 Oct 27, 2024
d00851f
clippy
rickb80 Oct 27, 2024
17d6aac
Solve compilation errors
rickb80 Oct 27, 2024
409c097
add_air_instance
rickb80 Oct 27, 2024
9f673fe
clean code
rickb80 Oct 27, 2024
d6f4bb3
finalize proof
rickb80 Oct 28, 2024
ca106ed
fibonacci example working
rickb80 Oct 28, 2024
ed45efd
fmt
rickb80 Oct 28, 2024
9b2d658
add instances properly
rickb80 Oct 28, 2024
dc5604f
eliminate subgroups
rickb80 Oct 28, 2024
236c49f
get_arc
rickb80 Oct 28, 2024
272603d
Merge pull request #88 from 0xPolygonHermez/distributed_WC_merge
rickb80 Oct 28, 2024
42c6469
Adding proofvalues (#92)
RogerTaule Oct 30, 2024
2645c3a
Challenges in global constraints (#93)
RogerTaule Oct 31, 2024
fa0cc21
Setting default bus to sums
hecmas Oct 24, 2024
ea48ec8
Lookup and permutation with freedom
hecmas Oct 27, 2024
3d9de39
Fixing direct updates bugs
hecmas Oct 30, 2024
14b3f74
Fixing bugs in range check
hecmas Oct 31, 2024
613b99e
Tests fixed and working
hecmas Oct 31, 2024
481d9db
Minor fixes
hecmas Oct 31, 2024
e87671a
Merge pull request #86 from 0xPolygonHermez/feature/two-buses
zkronos73 Nov 1, 2024
e336d62
add optimization for sum bus using degree builtin
zkronos73 Nov 4, 2024
7038134
Pil2-compiler pointing to develop
RogerTaule Nov 5, 2024
3bacd52
Single airgroup (#99)
RogerTaule Nov 5, 2024
483a285
Distributed recursion (#95)
rickb80 Nov 5, 2024
e33622f
fix bug on constraint
zkronos73 Nov 5, 2024
34427c1
Merge pull request #97 from 0xPolygonHermez/feature/use-degree-sum-bus
zkronos73 Nov 5, 2024
e949af1
Removing OnceCell from setup (#91)
RogerTaule Nov 6, 2024
dcecb34
Adding const pols to multiply hint field (#100)
RogerTaule Nov 6, 2024
37f1f6d
Adding logger again (#101)
RogerTaule Nov 6, 2024
f068cec
Reverting std sum optimization (#102)
RogerTaule Nov 6, 2024
ace0d6b
Fix get_hint_field fixed (#103)
RogerTaule Nov 7, 2024
cb18246
Fix setup (#104)
RogerTaule Nov 7, 2024
3fd2d24
Custom commits (#105)
RogerTaule Nov 8, 2024
1609bbf
Fix hints custom commits (#106)
RogerTaule Nov 8, 2024
97c83fb
Minor fix modification publics set function (#107)
RogerTaule Nov 8, 2024
cd62814
Wip
hecmas Nov 9, 2024
605155b
Executor fixed
hecmas Nov 9, 2024
36bd7d6
Merge pull request #108 from 0xPolygonHermez/fix/free-piop
hecmas Nov 9, 2024
1de66da
Minor fix
hecmas Nov 10, 2024
693a636
Merge pull request #109 from 0xPolygonHermez/fix/ternary
zkronos73 Nov 10, 2024
c655d7e
Feature/cached custom commits (#110)
RogerTaule Nov 19, 2024
ab3be23
Adding function for custom commits (#113)
RogerTaule Nov 20, 2024
5a35a04
Improving the logup intermediate column generation (#112)
hecmas Nov 20, 2024
fd0c68d
Minor fix on std
hecmas Nov 21, 2024
66536e5
Merge pull request #114 from 0xPolygonHermez/fix/std-neg
hecmas Nov 21, 2024
7d9bf98
Moving from ordered_json to json since it is faster (#116)
RogerTaule Nov 26, 2024
081f4d9
clean up markdown book (#75)
sam0x17 Nov 26, 2024
9997341
Adding the constraint directly to the air
hecmas Nov 26, 2024
25f874a
Fixing the fibo example
hecmas Nov 26, 2024
18c1ea1
Adding direct update assumes and proves
hecmas Nov 27, 2024
acb449a
cargo fmt
hecmas Nov 27, 2024
0e2821e
Adding optimized function for std_sum
RogerTaule Nov 27, 2024
d3facba
Merge pull request #117 from 0xPolygonHermez/feature/direct-ct-update
hecmas Nov 27, 2024
5d06d69
Degree 0 sum working
hecmas Nov 27, 2024
41fc460
Merge pull request #118 from 0xPolygonHermez/fix/degree-0-sum
hecmas Nov 27, 2024
633e475
Cleaning and improving debug mode (#121)
hecmas Nov 28, 2024
7f3e178
Isolated term into sum
hecmas Nov 27, 2024
36cd7ee
Typo fixed
hecmas Nov 28, 2024
cdafa74
Optimizing std_sum
RogerTaule Nov 28, 2024
5ce6c07
Minor changes
hecmas Nov 28, 2024
c21c8d7
minor
hecmas Nov 28, 2024
8e29499
Merge pull request #119 from 0xPolygonHermez/feature/isolated-term
hecmas Nov 28, 2024
4598e6c
Arrays airvals, std mode by command and cleaning (#120)
RogerTaule Nov 28, 2024
256214e
adding constants
hecmas Nov 28, 2024
dd19d2c
Fixing memory issues and speeding debug mode (#123)
RogerTaule Nov 29, 2024
2a77afc
Two buses (#96)
hecmas Dec 2, 2024
44130d3
Fixing expressions pack (#125)
RogerTaule Dec 2, 2024
e023a26
Merge pull request #122 from 0xPolygonHermez/fix/constants
hecmas Dec 3, 2024
a43d969
Direct Update Fix (#128)
hecmas Dec 3, 2024
d7cc153
Feature/snark proof (#127)
RogerTaule Dec 3, 2024
414130f
Adding trace in params (#124)
RogerTaule Dec 3, 2024
bfd61ba
STD debug mode improvements and fixes (#126)
hecmas Dec 3, 2024
f3884fb
Minor gpu fixes
RogerTaule Dec 3, 2024
5c47437
Merge pull request #130 from 0xPolygonHermez/feature/gpu_fixes
rickb80 Dec 3, 2024
40d0ad7
import goldilocks develop branch into pil2-proofman monorepo (#131)
sam0x17 Dec 4, 2024
2407b11
Global hint updated properly
hecmas Dec 9, 2024
812a233
adding print to file in debug mode
hecmas Dec 9, 2024
92db628
Run cargo audit
hecmas Dec 9, 2024
cdae003
Run cargo audit
hecmas Dec 9, 2024
5f45f21
Adding compilation time flag
RogerTaule Dec 9, 2024
e6b88d5
Bug fixed
hecmas Dec 9, 2024
f1a88fd
Fix clippy wrnings
RogerTaule Dec 9, 2024
0c211c3
Merge pull request #135 from 0xPolygonHermez/feature/print-file-debug
hecmas Dec 9, 2024
adc7c1e
Merge pull request #133 from 0xPolygonHermez/feature/global-bus-debug
hecmas Dec 10, 2024
e80e167
Fixing the air constraint
hecmas Dec 10, 2024
0983cd6
minor fix
hecmas Dec 10, 2024
3fe8c1a
Adding new hints
hecmas Dec 10, 2024
d7328ef
Committing manual new std_prod and sum
RogerTaule Dec 10, 2024
850965e
minor fixes manual std
hecmas Dec 10, 2024
6a1b23d
Update std_sum and std_prod
RogerTaule Dec 11, 2024
1aa8c77
Std and std prod working
RogerTaule Dec 11, 2024
2e85ec1
Fixing global constraint issue
RogerTaule Dec 11, 2024
5dd01e9
Cargo fmt
RogerTaule Dec 11, 2024
dca8c9d
Merge pull request #136 from 0xPolygonHermez/fix/air-constraint
hecmas Dec 11, 2024
ae1473a
Fixing proofvalues in hints and air constraints (#138)
RogerTaule Dec 12, 2024
8b1489a
Temporary deactivating dctx (#139)
RogerTaule Dec 12, 2024
fcc5982
fix array overflow on hints for airvalue/proofvalue (#140)
hecmas Dec 13, 2024
5bd7639
Fix/debug constraints (#142)
RogerTaule Dec 18, 2024
466702f
Renaming, improving logs, cleaning (#132)
RogerTaule Jan 17, 2025
1b57a4f
move pil2-proofman to a subdirectory
sam0x17 Jan 21, 2025
bc51cd8
Merge branch 'monorepo' into add-pil2-proofman
sam0x17 Jan 21, 2025
10f5165
fix deps
sam0x17 Jan 21, 2025
378ab59
try to fix CI
sam0x17 Jan 21, 2025
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
2 changes: 0 additions & 2 deletions .github/workflows/pr.yml
Original file line number Diff line number Diff line change
Expand Up @@ -4,8 +4,6 @@ on:
push:
branches: [develop]
pull_request:
branches:
- "**"
merge_group:

jobs:
Expand Down
Loading
Loading