$STRK and $ZK are two major zero-return projects, the rising stars of zero-knowledge proof.