区块链隐私保护是为了解决公开的交易信息带来的账户隐私泄漏问题。目前主要通过直接或间接隐藏用户关键信息来实现，典型的隐私保护技术包括：混币技术、隐秘地址、环签名技术以及zkSNARKs零知识证明算法。
混币技术、隐秘地址以及环签名技术只是间接隐藏交易涉及的关键信息，在可靠性方面存在不足；zk-SNARKs零知识证明算法虽然属于直接隐藏信息，但是其具有“可信赖的公共参数”以及效率低下的问题。同时，量子计算的不断发展对隐私保护研究提出了新的要求，而这些典型的隐私保护技术都不具备抗量子攻击能力。新提出的zk-STARKs零知识证明算法完全依赖散列和信息理论，解决了zk-SNARK“可信赖的设置”问题并具备抗量子攻击的能力，但是该研究处于早期阶段，技术还不成熟且存在证据过大等缺点。因此，设计既能保证高效安全，还能保证交易关键信息隐藏与交易有效性验证的技术方案依然是未来区块链研究面临的主要技术挑战。
区块链体系结构是区块链系统运行的基础，但随着用户数量、系统规模的不断增加，其吞吐量低、交易确认时间长、共识节点接入速度慢、存储资源浪费等问题愈发突出，严重影响用户使用与行业拓展。近几年，工业界和学术界从区块链结构设计等方面开展了一些初步的研究工作。
并行化架构：区块链分片技术采用并行化思想，将用户划分到不同的网络分片内，并行处理不相交的交易集合，进而提升整体性能，但处理涉及不同分片的交易时，需要经过复杂的跨分片通信，开销很大。Plasma则通过利用侧链层次树划分整个网络，用“分治”来扩大交易规模。
链上、链下协同架构：闪电网络以类比特币区块链为基础，提出将交易过程尽可能放在链下，进行链下快速交易，而链上交易仅用于担保与结算。本质上，闪电网络并没有提升链上交易性能，并且链下交易环节未存储到区块链中，会影响交易的可追溯性。雷电网络作为“以太坊版本”的闪电网络，可与Sharding、Plasma结合，进一步提升交易处理能力。
并行化、链上链下协同等新型架构为解决区块链的性能和资源占用问题提供了新的研究方向，但是这些研究工作目前还处于相对早期的阶段，很多具体的问题如并行化架构的合理分片、跨片通信、链上链下协同的去中心化、可追溯等问题还缺少高效的算法和机制。
NickSzabo于1996年首次提出了智能合约的概念：一个智能合约是一套以数字形式定义的约定，包括合约参与方可以在上面执行这些约定的协议。区块链为智能合约提供了一个去中心化、不可篡改、公开透明的运行环境，使得智能合约无需信任第三方即可根据预设合约协议自动执行。目前针对智能合约的研究主要围绕智能合约虚拟机、智能合约升级、链下数据可信喂养等方面展开。
智能合约虚拟机可以分为两大类：自主可控的虚拟机，如以太坊虚拟机；使用现有成熟的编译运行环境的虚拟机，如Java虚拟机。使用现有成熟编译运行环境的虚拟机运行效率较高，但不可控因素较多，而EVM等自主可控的虚拟机当前的运行效率还存在较大问题。目前的研究工作主要有Solidity编译器的优化、适合智能合约的Web程序集执行环境研发等，上述工作均处于早期研究阶段。
智能合约是现实世界契约的计算机化交易协议，在智能合约的开发过程中，开发者无法将所有情况考虑在内，当链上的智能合约没有按照预期运行时，就需要升级智能合约，并且对智能合约的行为作出解释。Corda提出将合约法律文本与代码结合存储于链上，当合约代码发生未预期的行为时以法律文本为准，但仍缺乏代码可升级的灵活性，因此一套可升级且可解释的智能合约完整方案是智能合约大规模应用的关键所在。
智能合约存在于区块链空间，与链下真实世界活动相关联是其大规模应用的前提。Oraclize将智能合约与WebAPI通过加密证明链接起来，使得智能合约无需额外的信任，即可获得现实世界的真实活动数据；IC3提出可信数据喂养系统TownCrier，通过英特尔最新可信硬件SGX向智能合约提供认证可信以及机密性数据。然而，现有的可信数据喂养解决方案灵活性较差，如Oraclize需要将整个https请求响应返回并且依赖于链下的中心化服务器，TC无法支持代码的更新，需要研究新型灵活、可信的数据喂养方案以满足智能合约对链外数据的喂养需求。
来源：金色财经
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。