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.

Sign up for GitHub

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

Jump to bottom

Prover SetUp #24

Merged
merged 3 commits into from
Sep 26, 2024
Merged

Prover SetUp #24

merged 3 commits into from
Sep 26, 2024

Conversation

akokoshn
Copy link
Collaborator

@akokoshn akokoshn commented Sep 18, 2024 •
edited
Loading

Full DFRY pipeline where 2 first steps of proof-producer (preprocess, partial proof) interpreted into assigner.

  • Add proo-producer package which exports proof-producer-single-threaded-lib and proof-producer-multi-threaded-lib
  • Add preprocess and partial proof into assigner (use proof-producer package)
  • Temporary enable sha256and add circuits for collect benchmark data
  • Temporary disabled filling assignment tables for bytecode and read-write circuits

Run script example: https://www.notion.so/nilfoundation/ZK-EVM-Proof-40cf8b564e1447e78bf8fa353b6f96c0

@akokoshn akokoshn self-assigned this Sep 18, 2024
@akokoshn akokoshn marked this pull request as draft September 18, 2024 07:53
@github-actions GitHub Actions
Copy link

github-actions bot commented Sep 19, 2024 •
edited
Loading

Clang Test Results

  153 files  ±0    153 suites  ±0   6m 51s ⏱️ ±0s
3 198 tests ±0  3 192 ✅ ±0  6 💤 ±0  0 ❌ ±0 
3 265 runs  ±0  3 259 ✅ ±0  6 💤 ±0  0 ❌ ±0 

Results for commit be89154. ± Comparison against base commit 2d082c1.

♻️ This comment has been updated with latest results.

@akokoshn akokoshn force-pushed the task-executor branch 9 times, most recently from 4428118 to d645d96 Compare September 23, 2024 15:42
@akokoshn akokoshn marked this pull request as ready for review September 23, 2024 15:43
@akokoshn akokoshn requested review from makxenov and vo-nil September 23, 2024 15:43
@github-actions GitHub Actions
Copy link

github-actions bot commented Sep 23, 2024 •
edited
Loading

Gcc Test Results

  153 files  ±0    153 suites  ±0   7m 56s ⏱️ ±0s
3 198 tests ±0  3 192 ✅ ±0  6 💤 ±0  0 ❌ ±0 
3 265 runs  ±0  3 259 ✅ ±0  6 💤 ±0  0 ❌ ±0 

Results for commit be89154. ± Comparison against base commit 2d082c1.

♻️ This comment has been updated with latest results.

makxenov
makxenov reviewed Sep 23, 2024
View reviewed changes
flake.nix Show resolved Hide resolved
proof-producer/bin/proof-producer/CMakeLists.txt Show resolved Hide resolved
proof-producer/bin/proof-producer/CMakeLists.txt Outdated Show resolved Hide resolved
proof-producer/bin/proof-producer/CMakeLists.txt Show resolved Hide resolved
proof-producer/bin/proof-producer/CMakeLists.txt Show resolved Hide resolved
proof-producer/bin/proof-producer/CMakeLists.txt Show resolved Hide resolved
zkevm-framework/bin/assigner/CMakeLists.txt Outdated Show resolved Hide resolved
@akokoshn akokoshn requested a review from makxenov September 25, 2024 07:05
@akokoshn akokoshn force-pushed the task-executor branch 3 times, most recently from 9ce85ac to be90d92 Compare September 25, 2024 20:54
@akokoshn akokoshn requested a review from vo-nil September 26, 2024 09:13
@akokoshn akokoshn merged commit ab61c69 into master Sep 26, 2024
8 checks passed
@akokoshn akokoshn deleted the task-executor branch October 16, 2024 11:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@vo-nil vo-nil vo-nil approved these changes

@makxenov makxenov makxenov approved these changes

Assignees

@akokoshn akokoshn

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@akokoshn @makxenov @vo-nil