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