Zero Knowledge Proofs, Snarks, Starks, Plonk, Nova Crash.
system that introduces the inner product argument, and it can be implemented in Solidity. This feature enables the efficient verification of inner product computations without revealing the inputs. // Inner product argument in Halo 2 in Solidity contract Halo2InnerProduct { function