The zk-STARK is a proof zero-knowledge proof system that, in contrast to the zk-SNARK, no longer longer relies on a trusted setup where the "toxic waste" parameters are initialized.