zkSyn的基本原理