Zero Knowledge Proofs, Snarks, Starks, Plonk, Nova Crash.
you want to prove. Think of it as a program in a high-level language. // Example: A simple Solidity smart contract to prove knowledge of a secret number. pragma solidity ^0.8.0; contract SNARKDemo { uint256 public secretNumber; constructor(uint256 _secretNumber) { secretNumber = _secretNumber; }