SmartPy与Tezos的关系是什么？SmartPy的主要功能是什么？

SmartPy是专门为Tezos区块链开发的智能合约开发框架，允许开发者使用接近Python语法的方式编写合约代码，并最终编译为Tezos可执行的Michelson语言。简单来说，SmartPy是连接开发者与Tezos链上智能合约体系的重要