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

CI: make & prove a statement, verify a proof #19

Closed
Tracked by #3
NickVolynkin opened this issue Jun 5, 2023 · 0 comments · Fixed by #25
Closed
Tracked by #3

CI: make & prove a statement, verify a proof #19

NickVolynkin opened this issue Jun 5, 2023 · 0 comments · Fixed by #25
Assignees
@NickVolynkin

Comments

@NickVolynkin
Copy link
Contributor

NickVolynkin commented Jun 5, 2023 •
edited

Now that we've got circuits from #5, we can prove and verify them.

Use ghcr.io/nilfoundation/proof-market-toolchain

  1. Build a proof market statement.
  2. Prove the statement
  3. Verify the proof

If there's an error on any step, fail the build with a clear error message.
@NickVolynkin NickVolynkin mentioned this issue Jun 5, 2023
Open
19 tasks
@NickVolynkin NickVolynkin self-assigned this Jun 13, 2023
NickVolynkin added a commit that referenced this issue Jun 15, 2023
@NickVolynkin
ci: test proof-market-toolchain part of workflow
4a16027 
* Build a statement file from the circuit using toolchain scripts.
* Prove & verify this file with `proof-producer`.

Resolves #19
NickVolynkin added a commit that referenced this issue Jun 15, 2023
@NickVolynkin
ci: test proof-market-toolchain part of workflow
6ec0fb0 
* Build a statement file from the circuit using toolchain scripts.
* Prove & verify this file with `proof-producer`.

Resolves #19
NickVolynkin added a commit that referenced this issue Jun 15, 2023
@NickVolynkin
ci: test proof-market-toolchain part of workflow
ed59a43 
* Build a statement file from the circuit using toolchain scripts.
* Prove & verify this file with `proof-producer`.

Resolves #19
NickVolynkin added a commit that referenced this issue Jun 15, 2023
@NickVolynkin
ci: test proof-market-toolchain part of workflow
3b41a65 
* Build a statement file from the circuit using toolchain scripts.
* Prove & verify this file with `proof-producer`.

Resolves #19
NickVolynkin added a commit that referenced this issue Jun 15, 2023
@NickVolynkin
ci: test proof-market-toolchain part of workflow
d5dfc3f 
* Build a statement file from the circuit using toolchain scripts.
* Prove & verify this file with `proof-producer`.

Resolves #19
NickVolynkin added a commit that referenced this issue Jun 15, 2023
@NickVolynkin
ci: test the proof-market-toolchain part of workflow
cf7f036 
* Build a statement file from the circuit using toolchain scripts:
  ```
  scripts/ci.sh --docker build_statement
  ```

* Prove & verify this file with `proof-producer`.
  ```
  scripts/ci.sh --docker prove
  ```

Resolves #19
NickVolynkin added a commit that referenced this issue Jun 15, 2023
@NickVolynkin
ci: test the proof-market-toolchain part of workflow
7356f6e 
* Build a statement file from the circuit using toolchain scripts:
  ```
  scripts/ci.sh --docker build_statement
  ```

* Prove & verify this file with `proof-producer`.
  ```
  scripts/ci.sh --docker prove
  ```
  This part requires input in the JSON format, see `./src/main-input.json`.

* Both steps use the new Docker image with precompiled Proof Market
  toolchain: `ghcr.io/nilfoundation/proof-market-toolchain:compiled`.

Resolves #19
NickVolynkin added a commit that referenced this issue Jun 15, 2023
@NickVolynkin
ci: test the proof-market-toolchain part of workflow
ad468d9 
* Build a statement file from the circuit using toolchain scripts:
  ```
  scripts/ci.sh --docker build_statement
  ```

* Prove & verify this file with `proof-producer`.
  ```
  scripts/ci.sh --docker prove
  ```
  This part requires input in the JSON format, see `./src/main-input.json`.

* Both steps use the new Docker image with precompiled Proof Market
  toolchain: `ghcr.io/nilfoundation/proof-market-toolchain:compiled`.

Resolves #19
@NickVolynkin NickVolynkin mentioned this issue Jun 15, 2023
Merged
NickVolynkin added a commit that referenced this issue Jun 16, 2023
@NickVolynkin
ci: test the proof-market-toolchain part of workflow
46f4a5b 
* Build a statement file from the circuit using toolchain scripts:
  ```
  scripts/ci.sh --docker build_statement
  ```

* Prove & verify this file with `proof-producer`.
  ```
  scripts/ci.sh --docker prove
  ```
  This part requires input in the JSON format, see `./src/main-input.json`.

* Both steps use the new Docker image with precompiled Proof Market
  toolchain: `ghcr.io/nilfoundation/proof-market-toolchain:compiled`.

Resolves #19
NickVolynkin added a commit that referenced this issue Jun 16, 2023
@NickVolynkin
ci: test the proof-market-toolchain part of workflow
06dbb7b 
* Build a statement file from the circuit using toolchain scripts:
  ```
  scripts/ci.sh --docker build_statement
  ```

* Prove & verify this file with `proof-producer`.
  ```
  scripts/ci.sh --docker prove
  ```
  This part requires input in the JSON format, see `./src/main-input.json`.

* Both steps use the new Docker image with precompiled Proof Market
  toolchain: `ghcr.io/nilfoundation/proof-market-toolchain:compiled`.

Resolves #19
NickVolynkin added a commit that referenced this issue Jun 16, 2023
@NickVolynkin
ci: test the proof-market-toolchain part of workflow
0014f1b 
* Build a statement file from the circuit using toolchain scripts:
  ```
  scripts/ci.sh --docker build_statement
  ```

* Prove & verify this file with `proof-producer`.
  ```
  scripts/ci.sh --docker prove
  ```
  This part requires input in the JSON format, see `./src/main-input.json`.

* Both steps use the new Docker image with precompiled Proof Market
  toolchain: `ghcr.io/nilfoundation/proof-market-toolchain:compiled`.

Resolves #19
NickVolynkin added a commit that referenced this issue Jun 16, 2023
@NickVolynkin
ci: test the proof-market-toolchain part of workflow
54fafa1 
* Build a statement file from the circuit using toolchain scripts:
  ```
  scripts/ci.sh --docker build_statement
  ```

* Prove & verify this file with `proof-producer`.
  ```
  scripts/ci.sh --docker prove
  ```
  This part requires input in the JSON format, see `./src/main-input.json`.

* Both steps use the new Docker image with precompiled Proof Market
  toolchain: `ghcr.io/nilfoundation/proof-market-toolchain:compiled`.

Resolves #19
NickVolynkin added a commit that referenced this issue Jun 18, 2023
@NickVolynkin
ci: test the proof-market-toolchain part of workflow
1a460a4 
* Build a statement file from the circuit using toolchain scripts:
  ```
  scripts/ci.sh --docker build_statement
  ```

* Prove & verify this file with `proof-producer`.
  ```
  scripts/ci.sh --docker prove
  ```
  This part requires input in the JSON format, see `./src/main-input.json`.

* Both steps use the new Docker image with precompiled Proof Market
  toolchain: `ghcr.io/nilfoundation/proof-market-toolchain:compiled`.

Resolves #19
NickVolynkin added a commit that referenced this issue Jun 18, 2023
@NickVolynkin
ci: test the proof-market-toolchain part of workflow
f466292 
* Build a statement file from the circuit using toolchain scripts:
  ```
  scripts/ci.sh --docker build_statement
  ```

* Prove & verify this file with `proof-producer`.
  ```
  scripts/ci.sh --docker prove
  ```
  This part requires input in the JSON format, see `./src/main-input.json`.

* Both steps use the new Docker image with precompiled Proof Market
  toolchain: `ghcr.io/nilfoundation/proof-market-toolchain:compiled`.

Resolves #19
Robertorosmaninho pushed a commit to Robertorosmaninho/zkllvm-template that referenced this issue Jun 21, 2023
@NickVolynkin @Robertorosmaninho
ci: test the proof-market-toolchain part of workflow
8434518 
* Build a statement file from the circuit using toolchain scripts:
  ```
  scripts/ci.sh --docker build_statement
  ```

* Prove & verify this file with `proof-producer`.
  ```
  scripts/ci.sh --docker prove
  ```
  This part requires input in the JSON format, see `./src/main-input.json`.

* Both steps use the new Docker image with precompiled Proof Market
  toolchain: `ghcr.io/nilfoundation/proof-market-toolchain:compiled`.

Resolves NilFoundation#19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@NickVolynkin NickVolynkin

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

ci: test the proof-market-toolchain part of workflow NilFoundation/zkllvm-template
1 participant
@NickVolynkin