glossary enhancements

[barriebyron]

glossary updates can include 'industry terms' that lack standardized, clear, easy to understand definitions:
Things like: data availability, modularity, zk-native
aka "buzzwords" that everyone throws around but we'd benefit from having clear definitions around for SEO/thought-leadership
also 'crypto' terms like "folding"
and abbreviations! For those who are familiar, they instantly make sense but for those not 'in-the-know', it can be what turns someone away or makes what we do feel less accessible. Eg. ISA, IPA, KZG, MIPS, etc...

https://nmohnblatt.github.io/zk-jargon-decoder/foreword.html for inspiration

add:
https://nmohnblatt.github.io/zk-jargon-decoder/definitions/circuit.html
https://nmohnblatt.github.io/zk-jargon-decoder/definitions/constraints.html
https://nmohnblatt.github.io/zk-jargon-decoder/definitions/witness.html