Glossary

用語	意味	参考
IVC	Incrementally Verifiable Computation
NIVC	Non-uniform IVC
PCD	Proof Carrying Data
NIFS	Non-Interactive Folding Scheme
MLE	Multiliner Extention
stwo	Circle Starkライブラリの名前	https://github.com/starkware-libs/stwo
CCS	Customizable Constraint System
MCC	Memory Consistency Checks
MSM	Multi Scalar Multiplications
IWPC	Instance Witness Pair Collection	https://zkresear.ch/t/parallelizing-nova-visualizations-and-mental-models-behind-paranova/198#iwpc-3
RoK	Reduction of Knowledge