update introduction

index.rst

@@ -55,16 +55,16 @@ Liquid由微众银行区块链团队开发并完全开源，是一种基于 `Rus
                   内置<a href="./docs/contract/asset.html">线性资产模型</a>，对安全可控、不可复制的资产类型进行了高级抽象，确保链上资产类应用具备金融级安全性
                </li>
                <li>
-                  支持在智能合约内部便捷地编写单元测试用例，可通过内嵌的区块链模拟环境直接在本地运行
+                  支持在智能合约内部便捷地编写单元测试用例，可通过内嵌的区块链模拟环境直接在本地执行
                </li>
                <li>
-                  内置算数溢出及内存越界安全检查
+                  算数溢出及内存越界安全检查
                </li>
                <li>
                   能够结合模糊测试等工具进行深度测试
                </li>
                <li>
-                  未来将进一步集成形式化验证技术
+                  未来将进一步集成形式化验证及数据隐私保护技术
                </li>
             </ul>
       </div>
@@ -77,13 +77,13 @@ Liquid由微众银行区块链团队开发并完全开源，是一种基于 `Rus
          </div>
          <ul>
             <li>
-               配合Rust语言后端LLVM优化器，支持将智能合约代码编译为可移植、体积小、加载快Wasm格式字节码
+               配合LLVM优化器，支持将智能合约代码编译为可移植、体积小、加载快Wasm格式字节码
             </li>
             <li>
-               结合Tree-Shaking技术及wasm-opt等工具，能够进一步压缩智能合约体积
+               结合Tree-Shaking等技术，能够进一步压缩智能合约体积
             </li>
             <li>
-               对Wasm执行引擎进行了深度优化，辅以并行化等技术，最终实现对于同类型智能合约，Liquid版实现对比Solidity版实现约有30%的性能提升<sup>*</sup>
+               对Wasm执行引擎进行了深度优化，支持交易并行化等技术
             </li>
          </ul>
       </div>
@@ -96,13 +96,13 @@ Liquid由微众银行区块链团队开发并完全开源，是一种基于 `Rus
          </div>
          <ul>
             <li>
-               支持使用Rust语言提供的大部分现代语言特性（如移动语义及自动类型推导等）
+               支持使用大部分现代语言特性（如移动语义及自动类型推导等）
             </li>
             <li>
-               提供专有开发工具及编辑器插件辅助开发，配合Rust语言标准工具链，使智能合约开发过程如丝般顺滑
+               提供专有开发工具及编辑器插件辅助开发，使智能合约开发过程如丝般顺滑
             </li>
             <li>
-               丰富的标准库及第三方组件，能够充分复用已有功能，避免重复开发
+               丰富的标准库及第三方组件，充分复用已有功能，避免重复开发
             </li>
          </ul>
       </div>
@@ -115,10 +115,10 @@ Liquid由微众银行区块链团队开发并完全开源，是一种基于 `Rus
          </div>
          <ul>
             <li>
-               能够根据业务需求对编程模型、语言文法的进行深度定制，例如目前已的集成<a href="./docs/pdc/introduction.html">可编程分布式协作编程模型</a>
+               能够根据业务需求对编程模型、语言文法的进行深度定制。目前已的集成<a href="./docs/pdc/introduction.html">可编程分布式协作编程模型</a>
             </li>
             <li>
-               可定制的特性使Liquid拥有无限的可能性，未来还将进一步探索如何与隐私保护、跨链协同等功能相结合
+               未来将进一步探索如何与跨链协同等编程范式相结合
             </li>
          </ul>
       </div>