ZKP Stark

Similar to Snarks but does not require trusted setup. The Stark (Scalable Transparent Argument of Knowledge) method computes the proof without external parameters and therefore does not need an initial trusted setup for the relayer.

Source: EEA

Example: zkSync uses Starks for Ethereum L2 scalability.