什么是STARK证明？Starknet的架构是什么？

STARK证明是一种基于零知识证明的加密技术，全称为可扩展透明知识论证，它通过数学方法证明计算过程的正确性，同时不暴露具体数据内容。Starknet则是基于STARK证明构建的二层扩展网络，运行在以太坊之上，通过将大量交易在链下计算并生成证