STARK is supposedly a technology that is good for proving the correct evaluation of program, or calculation since the proofs can be built in nlogn time, and the verification can be done in logn time, where n is the number of cycles for the calculation.