ZK-STARK

Scalable Transparent Argument of Knowledge. Requires no trusted setup and is considered post-quantum resistant, at the cost of larger proof sizes.