Bulletproofs - Short Proofs for Confidential Transactions and More.

Arithmetic Circuits - Low-level representation of a program that consists of gates computing arithmetic operations of addition and multiplication, with wires connecting the gates.

ZKP - Practical zero knowledge proof system that provides small and computationally efficient zero-knowledge proofs of arbitrary computations.

genSTARK - Library for generating zk-STARKs.