Skip to content

Update explanation to assignment #6

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

Open
luckyyang wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Update explanation to assignment #6

Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
2 changes: 1 addition & 1 deletion 5-plonk-intro.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -191,7 +191,7 @@ verifier 得到 verification key，在上面的 `Setup` 步骤中也提到了。
assignments = {"a": 3, "b": 4, "c": 12, "d": 5, "e": 60}
```

Assignment 是对电路中引线的赋值，也叫 witness 或者 private input。这些值只有 prover 知道，对 verifier 是保密的。prover 最终要向 verifier 提供证明，保证将这些值输入到 program 中能得到指定的结果。
Assignment 是对电路中引线的赋值。这些值只有 prover 知道，对 verifier 是保密的，这些值也叫 witness 或者 private input。prover 最终要向 verifier 提供证明，保证将这些值输入到 program 中能得到指定的结果。

## Generate proof
```python
Expand Down