saymrwulf/pasta_curves-source
1
0
Fork 0
mirror of https://github.com/saymrwulf/pasta_curves-source.git synced 2026-09-04 20:03:39 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Rename 'Background' to 'Proof systems' and add a note about intermediate values.

Browse source 
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
This commit is contained in:
Daira Hopwood 2020-12-26 15:45:15 +00:00
parent fcb176aeb1
commit e932352390
2 changed files with 6 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
book/src/SUMMARY.md
View file

@ -2,7 +2,7 @@
[halo2](README.md)
- [Concepts](concepts.md)
- [Background](concepts/background.md)
- [Proof systems](concepts/proofs.md)
- [UltraPLONK Arithmetization](concepts/arithmetization.md)
- [Cores](concepts/cores.md)
- [Chips](concepts/chips.md)

6
book/src/concepts/background.md → book/src/concepts/proofs.md
View file

@ -1,4 +1,4 @@
# Background
# Proof systems
The aim of any ***proof system*** is to be able to prove ***instances*** of ***statements***.
@ -10,6 +10,10 @@ Normally the statement will also have ***private inputs***. The private inputs a
intermediate values that make an instance of a statement hold, are collectively called a
***witness*** for that instance.
> The intermediate values depend on how we express the statement. We assume that we can
> compute them efficiently from the private and public inputs (if that were not the case
> then we would consider them part of the private inputs).
A ***Non-interactive Argument of Knowledge*** allows a ***prover*** to create a ***proof***
for a given instance and witness. The proof is data that can be used to convince a
***verifier*** that the creator of the proof knew a witness for which the statement holds on