Add homoencryption

SUMMARY.md

@@ -29,6 +29,7 @@
    * [加密算法](crypto/algorithm.md)
    * [数字签名](crypto/signature.md)
    * [Merkle 树](crypto/merkle_trie.md)
+   * [同态加密](crypto/homoencryption.md)
    * [其它问题](crypto/others.md)
    * [小结](crypto/summary.md)
 * [比特币项目](bitcoin/README.md)
@@ -61,7 +62,7 @@
 * [性能与评测](evaluation/README.md)
    * [简介](evaluation/intro.md)
    * [Hyperledger](evaluation/hyperledger.md)
-   * [summary](evaluation/summary.md)
+   * [小结](evaluation/summary.md)
 * [附录一：术语](appendix/terms.md)
 * [附录二：常见问题](appendix/faq.md)
 * [附录三：资源链接](appendix/resources.md)

crypto/homoencryption.md

+## 同态加密
+
+### 定义
+
+同态加密（Homomorphic Encryption）是一种特殊的加密方法，允许对密文进行处理得到仍然是加密的结果，即对密文直接进行处理，跟对明文进行处理再加密，得到的结果相同。从代数的角度讲，即同态性。
+
+如果定义一个运算符 $$\triangle{}$$，对加密算法 `E` 和 解密算法 `D`，满足：
+
+$$
+E(X\triangle{}Y) = E(X)\triangle{} E(Y)
+$$
+则意味着对于该运算满足同态性。
+
+同态性在代数上包括：加法同态、乘法同态、减法同态和除法同态。同时满足加法同态和乘法同态，则意味着是 `代数同态`，即 `全同态`。同时满足四种同态性，则被称为 `算数同态`。
+
+### 历史
+
+同态加密的问题最早是由 Ron Rivest、Leonard Adleman 和 Michael L. Dertouzos 在 1978 年提出，但 [第一个“全同态”的算法](https://www.cs.cmu.edu/~odonnell/hits09/gentry-homomorphic-encryption.pdf) 到 2009 年才被克雷格·金特里（Craig Gentry）证明。
+
+同态加密在云时代的意义十分重大。目前，从安全角度讲，用户还不敢将敏感信息直接放到第三方云上进行处理。如果有了比较实用的同态加密技术，则大家就可以放心的使用各种云服务了。
+
+遗憾的是，目前已知的同态加密技术需要消耗大量的计算时间，还远达不到实用的水平。
+
+

intro/tech.md

@@ -3,13 +3,15 @@
 从技术角度讲，区块链涉及到的领域比较杂，包括分布式、存储、密码学、心理学、博弈论、网络协议等，下面列出了目前认为有待解决或改进的关键技术点。
 
 ### 密码学认证技术
-怎么防止记录被篡改？
+怎么防止交易记录被篡改？
 
-怎么证明交易双方的身份？
+怎么证明交易方的身份？
+
+怎么保护交易双方的隐私？
 
 密码学正是解决这些关键问题的有效手段。包括 hash 算法，加解密算法，数字证书和签名等。
 
-区块链技术的应用将可能刺激密码学的进一步发展，包括加密强度、加解密处理的性能等。但这将依赖于数学进一步的发展和以量子技术为代表的新一代计算技术的突破。
+区块链技术的应用将可能刺激密码学的进一步发展，包括加密强度、加解密处理的性能等。但这将依赖于数学科学的进一步发展和新一代计算技术的突破。
 
 ### 分布式一致性
 这是个古老的话题，已有大量的研究成果。

intro/vision.md

@@ -28,6 +28,6 @@
 
 最后，**事物的发展往往是延续的、长期的。** 新生事物大都不是凭空蹦出来的，往往是解决了前辈未能解决的问题，或是出现了之前未曾出现过的场景。而且很多时候，新生事物会在历史的舞台下面进行长期的演化，只要是往提高生产力的正确方向，迟早会有出现在舞台上的一天。
 
-![dream](_images/near_dream.png)
-
+![Near Dream](_images/near_dream.png)
 
+目前，区块链在数字货币领域（以比特币为代表）的应用已经相对成熟，而在智能合约方向尚处于初步实践阶段。区块链技术的应用已经在许多领域都带来了生产力提升，笔者相信，随着技术进一步的发展，区块链将会促进金融和信息科技走向新的阶段。

scenario/capital.md

 ## 投资管理
 
 ### 一带一路
-一带一路中对区块链技术的探索应用，能降低贸易风险、减少成本。
+一带一路中对区块链技术的探索应用，能让原先无法交易的双方（例如，不存在都认可的国际货币情况下）完成交易，并且降低贸易风险、减少成本。
 
 ### DAO
 

scenario/iot.md

@@ -11,6 +11,7 @@ IBM 在物联网领域已经持续投入了几十年的研发，目前正在探
 
 例如运送方通过扫描二维码来证明货物到达指定区域，并自动收取提前约定的费用，可以参考 [区块链如何变革供应链金融](https://www.gtnews.com/articles/how-blockchain-can-transform-supply-chain-finance/) 和 [区块链给供应链带来透明](https://www.businessoffashion.com/community/voices/discussions/does-made-in-matter/op-ed-blockchain-can-bring-transparency-to-supply-chains)。
 
+
 ### 公共网络服务
 现有的互联网能正常运行，离不开很多近乎免费的网络服务，例如域名服务（DNS）。任何人都可以免费查询到域名，没有 DNS，现在的各种网站基本就无法访问了。因此，对于网络系统来说，类似的基础服务必须要能做到安全可靠，并且低成本。
 

scenario/trading.md

@@ -2,7 +2,7 @@
 
 自有人类社会以来，交易就是必不可少的经济活动。交易角色和内容的不同，反映出来就是不同的生产关系。通过交易，可以优化社会的效率，实现价值的最大化。人类社会的发展，离不开交易形式的演变。可见，交易在人类社会中的地位有多重要。
 
-交易本质上交换的是价值，为了完成交易，往往需要一些中间环节，特别是中介担保角色。这是因为，交易双方往往存在着不充分信任的情况，而且往往彼此的价值不能直接进行交换。合理的中介担保，确保了交易的正常运行，提高了经济活动的效率。目前来看，区块链技术可以提供相当强的中介担保机制。
+交易本质上交换的是价值的所属权。现在为了完成交易（例如房屋、车辆的所属权），往往需要一些中间环节，特别是中介担保角色。这是因为，交易双方往往存在着不充分信任的情况，要证实价值所属权并不容易，而且往往彼此的价值不能直接进行交换。合理的中介担保，确保了交易的正常运行，提高了经济活动的效率。目前来看，区块链技术可以提供有效的所属权证明和相当强的中介担保机制。
 
 
 ### 银行金融管理

scenario/trust.md

@@ -30,4 +30,7 @@
 而利用区块链技术，物品的所有权是写在数字链上的，谁都无法修改，并且一旦出现合同中约定情况，区块链技术将确保合同能得到准确执行。
 
 ### 教育领域
-MIT 团队，学历的认证。
\ No newline at end of file
+MIT 团队，学历的认证。
+
+### Factom
+公正通（Factom）尝试使用区块链技术来革新商业社会和政府部门的数据管理和数据记录方式。包括审计系统、医疗信息记录、供应链管理、投票系统、财产契据、法律应用、金融系统等。
\ No newline at end of file