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

Refactor/cleanupplonkprover #837

Closed
wants to merge 42 commits into from
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
42 commits
Select commit Hold shift + click to select a range
4365963
fix: fixed fold_state
ThomasPiellard Aug 24, 2023
5702456
checkpoint
gbotrel Sep 8, 2023
0a78224
feat: using errGroup to cleanup plonk prover
gbotrel Sep 9, 2023
3a59954
restore naive go routines
gbotrel Sep 9, 2023
8a81464
Merge branch 'master' into refactor/cleanupplonkprover
gbotrel Sep 11, 2023
4120326
checkpoint
gbotrel Sep 11, 2023
ab44ed6
Merge branch 'master' into refactor/cleanupplonkprover
gbotrel Sep 11, 2023
ab1298f
feat: do stuff in tmpl file
gbotrel Sep 11, 2023
24cc62c
build: update gnark crypto
gbotrel Sep 11, 2023
24299a2
work in progress
gbotrel Sep 11, 2023
2062a63
style: code clean up
gbotrel Sep 22, 2023
1df99d6
more code cleaning
gbotrel Sep 22, 2023
c97500e
more clones to avoid mutating pk
gbotrel Sep 23, 2023
0da2217
more code cleaning
gbotrel Sep 23, 2023
e2a36f2
more code cleaning
gbotrel Sep 23, 2023
41a53b7
build: make go vet happier
gbotrel Sep 23, 2023
78ed962
Merge branch 'master' into refactor/cleanupplonkprover
gbotrel Sep 23, 2023
ace2fe0
Merge branch 'feat/plonk_memory_optim' into refactor/cleanupplonkprover
gbotrel Sep 23, 2023
a196967
perf: minor optim and code cleaning
gbotrel Sep 25, 2023
69c99ec
feat: ToLagrange and ToCanonical takes nbTask to use for FFT in param
gbotrel Sep 25, 2023
23eccbb
build: update to latest gnark crypto
gbotrel Sep 25, 2023
b7ac74c
perf: avoid a lonely bitreverse on the large domain
gbotrel Sep 26, 2023
649e421
perf: spread the pain
gbotrel Sep 26, 2023
5293e2e
feat: replace lock with wait group
gbotrel Sep 26, 2023
504dee2
perf: minor adjustement
gbotrel Sep 26, 2023
5a4c6a5
test: update version tag (#841)
ivokub Sep 27, 2023
bf97308
feat: use latest gnark-crypto
ThomasPiellard Sep 28, 2023
26fb88e
feat: added TODO in groth16 mpc setup to use gnark-crypto
ThomasPiellard Sep 28, 2023
b460dc0
feat: conversion canonical -> lagrange in pk
ThomasPiellard Sep 28, 2023
43f964a
feat: marshal test replaced size SRS by a power of two
ThomasPiellard Sep 28, 2023
68fef0f
feat: proving key reader regenerate the lagrange SRS
ThomasPiellard Sep 28, 2023
7335a6b
fs in solidity compliant with the go implem (#819)
ThomasPiellard Sep 29, 2023
1fc75b4
Merge branch 'master' into fix/fold_state
ThomasPiellard Oct 2, 2023
36b0b58
Merge pull request #820 from Consensys/fix/fold_state
ThomasPiellard Oct 2, 2023
a37a3f5
feat: prove using lagrange basis srs ok
ThomasPiellard Oct 3, 2023
a7ecfe8
Merge branch 'master' into refactor/cleanupplonkprover
gbotrel Oct 5, 2023
6e15455
fix: wait for solver to be done before cloning poly
gbotrel Oct 6, 2023
cdae1eb
Merge branch 'refactor/cleanupplonkprover' of github.com:ConsenSys/gn…
gbotrel Oct 6, 2023
83b13da
build: update to latest gnark-crypto
gbotrel Oct 10, 2023
c4f1b1b
build: update to latest gnark-crypto
gbotrel Oct 10, 2023
733168e
ci: add continue-on-error to get better github PR update
gbotrel Oct 11, 2023
221e962
ci: experiment
gbotrel Oct 11, 2023
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
106 changes: 49 additions & 57 deletions .github/workflows/pr.yml
Original file line number Diff line number Diff line change
@@ -1,13 +1,13 @@
on: pull_request
name: pull_request
jobs:
staticcheck:
test:
runs-on: ubuntu-22.04-16core
permissions:
pull-requests: write
steps:
- name: checkout code
uses: actions/checkout@v4
with:
fetch-depth: 0
- name: install Go
uses: actions/setup-go@v4
with:
Expand Down Expand Up @@ -35,24 +35,9 @@ jobs:
version: v1.54
args: -v --timeout=5m
skip-pkg-cache: true

test:
runs-on: ubuntu-22.04-16core
needs:
- staticcheck
permissions:
pull-requests: write
steps:
- name: checkout code
uses: actions/checkout@v4
- name: install Go
uses: actions/setup-go@v4
with:
go-version: 1.21.x

- name: install deps
run: |
go install golang.org/x/tools/cmd/goimports@latest && go install github.com/klauspost/asmfmt/cmd/asmfmt@latest
go install github.com/consensys/gnark-solidity-checker@latest
go install github.com/ethereum/go-ethereum/cmd/abigen@v1.12.0
sudo add-apt-repository ppa:ethereum/ethereum
Expand All @@ -73,6 +58,14 @@ jobs:
go test -json -v -short -timeout=30m ./... 2>&1 | tee /tmp/gotest.log | gotestfmt
go test -json -v -tags=release_checks,solccheck . 2>&1 | tee -a /tmp/gotest.log | gotestfmt


slack-workflow-status-failed:
if: failure()
name: post workflow status to slack
needs:
- test
runs-on: ubuntu-latest
steps:
- name: Generate job summary
run: |
cat /tmp/gotest.log | node .github/parse-tests.js > /tmp/gotest.md
Expand All @@ -82,50 +75,49 @@ jobs:
uses: thollander/actions-comment-pull-request@v2
with:
filePath: /tmp/gotest.md

slack-workflow-status-failed:
if: failure()
name: post workflow status to slack
needs:
- staticcheck
- test
runs-on: ubuntu-latest
steps:
- name: Notify slack -- workflow failed
id: slack
uses: slackapi/slack-github-action@v1.24.0
with:
payload: |
{
"actor": "${{ github.actor }}",
"repo": "${{ github.repository }}",
"status": "FAIL",
"title": "${{ github.event.pull_request.title }}",
"pr": "${{ github.event.pull_request.head.ref }}",
"failed_step_url": "${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}/"
}
env:
SLACK_WEBHOOK_URL: ${{ secrets.SLACK_WEBHOOK_URL }}
- name: Notify slack -- workflow failed
id: slack
uses: slackapi/slack-github-action@v1.24.0
with:
payload: |
{
"actor": "${{ github.actor }}",
"repo": "${{ github.repository }}",
"status": "FAIL",
"title": "${{ github.event.pull_request.title }}",
"pr": "${{ github.event.pull_request.head.ref }}",
"failed_step_url": "${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}/"
}
env:
SLACK_WEBHOOK_URL: ${{ secrets.SLACK_WEBHOOK_URL }}

slack-workflow-status-success:
if: success()
name: post workflow status to slack
needs:
- staticcheck
- test
runs-on: ubuntu-latest
steps:
- name: Notify slack -- workflow succeeded
id: slack
uses: slackapi/slack-github-action@v1.24.0
with:
payload: |
{
"actor": "${{ github.actor }}",
"repo": "${{ github.repository }}",
"status": "SUCCESS",
"title": "${{ github.event.pull_request.title }}",
"pr": "${{ github.event.pull_request.head.ref }}"
}
env:
SLACK_WEBHOOK_URL: ${{ secrets.SLACK_WEBHOOK_SUCCESS }}
- name: Generate job summary
run: |
cat /tmp/gotest.log | node .github/parse-tests.js > /tmp/gotest.md
cat /tmp/gotest.md > $GITHUB_STEP_SUMMARY

- name: PR comment with file
uses: thollander/actions-comment-pull-request@v2
with:
filePath: /tmp/gotest.md
- name: Notify slack -- workflow succeeded
id: slack
uses: slackapi/slack-github-action@v1.24.0
with:
payload: |
{
"actor": "${{ github.actor }}",
"repo": "${{ github.repository }}",
"status": "SUCCESS",
"title": "${{ github.event.pull_request.title }}",
"pr": "${{ github.event.pull_request.head.ref }}"
}
env:
SLACK_WEBHOOK_URL: ${{ secrets.SLACK_WEBHOOK_SUCCESS }}
2 changes: 2 additions & 0 deletions backend/groth16/bls12-377/mpcsetup/lagrange.go

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 2 additions & 0 deletions backend/groth16/bls12-381/mpcsetup/lagrange.go

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 2 additions & 0 deletions backend/groth16/bls24-315/mpcsetup/lagrange.go

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 2 additions & 0 deletions backend/groth16/bls24-317/mpcsetup/lagrange.go

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 2 additions & 0 deletions backend/groth16/bn254/mpcsetup/lagrange.go

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 2 additions & 0 deletions backend/groth16/bw6-633/mpcsetup/lagrange.go

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 2 additions & 0 deletions backend/groth16/bw6-761/mpcsetup/lagrange.go

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

20 changes: 19 additions & 1 deletion backend/plonk/bls12-377/marshal.go

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

7 changes: 4 additions & 3 deletions backend/plonk/bls12-377/marshal_test.go

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading
Loading