o1-labs / docs2

Docs website for the Mina Protocol.
https://docs.minaprotocol.com
86 stars 130 forks source link

add zkApp-centric, zk-centric, and curve terms to Mina docs glossary #488

Open barriebyron opened 1 year ago

barriebyron commented 1 year ago

Some requested terms did not get addressed in the first PR #381 and are captured in this next iterative glossary improvement.

This issue adds terms to the backlog for next glossary iteration:
cold wallet

token ID https://docs.minaprotocol.com/zkapps/advanced-snarkyjs/custom-tokens#understanding-important-terms

When the prover function runs in a web browser, the smart contract outputs a proof and some associated data called ""account updates"" that are sent as part of the transaction when sending a transaction to a zkApp address. The account updates are a JSON plaintext description that describe how to update the state on a zkApp account. The integrity of these account updates is ensured by passing a hash of the account updates as a public input to the smart contract. The account updates must be present and unmodified for the verification function to pass successfully when it runs on Mina. In this way, the Mina network can confirm the integrity of both the proof and the associated account updates that describe how to update the zkApp account’s state."

From Steve Pack, a request to add:

  1. Minimum window density
  2. Uncle... (do we have a different name for this?) is this Ommer block?
  3. bridge
  4. polynomial commitment
  5. ecc
  6. All the curves
  7. groth16
  8. sep....
  9. bn128 etc... I regularly look these up to try understand the differences

From Maki a request to add anything that helps message our products so things like:

  1. off-chain computation
  2. Turing-complete
  3. zkBridge
  4. zkSTARKS
  5. in the zkSNARKS entry clarify "not to be mistaken with zkSTARKS, which differ XYZ"

From Samuel

  1. epoch
  2. constraints (entry is there, but not defined)
  3. witness
  4. circuit
  5. arithmetic Circuit
barriebyron commented 1 year ago

starting work on the curves https://github.com/o1-labs/docs2/pull/495