Confidentiality

了解FHE和Fhenix - 如何在链上进行加密数据的计算

该视频主要介绍了 Fhenix，一个旨在为智能合约添加全同态加密 (FHE) 功能的 L2 区块链。核心观点是 Fhenix 允许开发者在链上进行加密数据的计算，而无需解密，从而在 Web3 中实现更强的隐私性和可组合性。 **关键论据/信息：** * **什么是 Fhenix:** 一个 L2 区块链，支持在智能合约中使用 FHE 操作。它是第一个支持通用 FHE 的区块链。 * **什么是 FHE:** 全同态加密，允许在加密数据上进行计算，无需解密。这使得在不暴露数据内容的情况下改变网络状态成为可能。 * **FHE vs ZKP:** FHE 与零知识证明 (ZKP) 相比，FHE 允许链上存储加密状态，从而实现更好的可组合性。ZKP 主要用于隐私证明，但难以构建可组合状态。 * **Fhenix 的优势:** * **可组合性:** 允许将加密空间添加到 Solidity 合约中。 * **链上操作:** FHE 操作在链上进行，更符合区块链的精神。 * **易用性:** 通过导入 FHE 库，开发者可以使用熟悉的 Solidity 工具。 * **开发工具:** 支持 Hardhat 和 Remix，并提供教程视频。 * **数据类型:** 使用 EUINT (加密的无符号整数) 来处理加密数据。 * **条件逻辑:** 强调使用选择器函数 (如 CMUX) 来避免分支，因为分支在 FHE 中会带来问题。 * **安全注意事项:** 强调避免解密和将明文数据泄露到内存中，以防止数据泄露。 * **FHE OS:** Fhenix 提供的加密产品套件，基于 Zama 维护的 TFHE-rs 库。 * **Fhenix JS:** JavaScript 库，简化与 ABI 的交互。 * **权限控制:** 允许动态设置对加密数据的访问权限，例如在 FHE 扑克游戏中控制玩家查看自己手牌的权限。 * **性能提示:** 不同的操作和整数大小会影响运行时性能，应注意选择合适的类型。 * **Hackathon:** 鼓励开发者使用 Fhenix 构建应用，并提供 5K 美元的奖金。

ZAMA: 如何在以太坊上直接进行保密交易 - FHEVM

该视频主要介绍了如何在以太坊上进行保密交易，并深入探讨了 Zama 提供的 FHEVM 库，该库允许在加密数据上执行计算。 **核心内容/主要观点：** * **保密性与隐私的区别：** 视频首先区分了保密性（管理信息者的义务）和隐私（个人的权利），强调在以太坊上引入保密性可以解锁新的应用场景，例如加密交易、加密元数据、保密协议、盲拍、去中心化身份系统和保密投票等。 * **FHEVM 架构：** 视频详细介绍了 FHEVM 的架构，包括 DApp 智能合约、FHEVM 智能合约、网关（Gateway）和密钥管理系统（KMS）。它解释了如何使用公钥加密数据，如何通过网关和 KMS 解密数据，以及如何使用评估密钥（Evaluation Key）在加密数据上执行计算（通过协处理器）。 * **智能合约示例：** 视频通过一系列智能合约示例，演示了如何使用 FHEVM 库进行加密计数器、按任意数量递增计数器、请求解密计数器以及使用重加密（Re-encryption）让用户访问自己的加密数据。 **关键论据/关键信息：** * **FHE 的核心概念：** FHE 允许在加密数据上执行计算，而无需解密数据。它涉及三个关键密钥：公钥（用于加密）、私钥（用于解密）和评估密钥（用于在加密数据上执行计算）。 * **FHEVM 的架构流程：** * **加密：** 使用公钥在 DApp 前端或智能合约中加密数据。 * **解密：** 通过 FHEVM 智能合约、网关和 KMS 发送解密请求，KMS 使用私钥解密数据，并将解密后的数据返回。 * **计算：** FHEVM 智能合约将计算请求发送到协处理器，协处理器使用评估密钥在加密数据上执行计算，并将结果存储在数据库中。 * **重加密：** 在 DApp 前端使用 KMS 的公钥和用户的私钥加密数据，然后通过网关发送到 KMS。KMS 使用 KMS 的私钥解密数据，并使用用户的公钥重新加密数据，然后将数据返回到前端，用户可以使用自己的私钥解密数据。 * **FHEVM 模板：** Zama 提供了 FHEVM 模板，开发者可以基于此模板开始构建自己的保密 DApp。 * **`tfhe.allow` 的重要性：** 在智能合约中，需要使用 `tfhe.allow` 允许合约或用户访问加密变量，才能执行计算或重加密。