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

[barriebyron]

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

• token accounts https://docs.minaprotocol.com/zkapps/advanced-snarkyjs/custom-tokens#understanding-important-terms
• account updates "how the state on a zkApp account gets updated on chain.

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."

• actions Actions & events are features of Mina Protocol. These docs related to how to use these features within SnarkyJS, but they are Mina zkApp features.

• events

• reducer https://docs.minaprotocol.com/zkapps/advanced-snarkyjs/actions-and-reducer reducer's job is to process previous actions in a smart contract "

• Provable code

  • Written by using SnarkyJS, provable code generates a prover function and a corresponding verifier function that are derived during the build process.

• zkCPU

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]

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