解放Python的 表达力，性能和安全性 Thautwarm 目录 CONTENTS 语法和语义扩展 JIT 静态类型 语法和语义扩展 表达力的扩展， 可用性的保留，白来的午餐？ 演示一小部分: 模式匹配, Quick Lambda, Pipe运算 语言决定思维模型 GNU-APL C++ Haskell 说 到 质 数 � 人 们 想 到 什 么 � 语言决定思维模型

⽅方法⼆二 —— 使⽤用事务保证安全性 锁的基本实现⽅方法跟之前⼀一样，但使⽤用 Redis 的事务特性保证操作的安全性。 ⽅方法⼆二 —— 使⽤用事务保证安全性 锁的基本实现⽅方法跟之前⼀一样，但使⽤用 Redis 的事务特性保证操作的安全性。 ⾮非 事 务 命 令 执⾏行行器器 命 令 命 令 命 令 命 令 命 令 ⽅方法⼆二 —— 使⽤用事务保证安全性 锁的基本实现⽅方法跟之前⼀一样，但使⽤用 锁的基本实现⽅方法跟之前⼀一样，但使⽤用 Redis 的事务特性保证操作的安全性。 ⾮非 事 务 命 令 事 务 命 令 执⾏行行器器 命 令 命 令 命 令 命 令 命 令 执⾏行行器器 命 令 事 务 命 令 命 令 命 令 命令A 命令B 命令C 需要⽤用到的命令 需要⽤用到的命令 WATCH key [key …] 监视给定的键，如果这些键在事务执⾏行行之前已经被修改，那么拒绝执⾏行行事务 在构建程序的时候⼀一定要确保程序的正确性和安全性，虽然为了了保证这两点常常会使得程序变得 复杂，但有时候⼯工具本身也会提供⼀一些⻥鱼和熊掌兼得的⽅方案。 总结 • Go 和 Redis 都是简单且强⼤大的⼯工具，组合使⽤用它们能够轻⽽而易易举地解决很多过去⾮非常难以实现 或者需要很多代码才能实现的特性（⼜又⿊黑我⼤大 JAVA ，放学别⾛走！）。 • 在构建程序的时候⼀一定要确保程序的正确性和安全性，虽然为了了保证这两点常常会使得程序变得

保证数据机密性、真实性和完整性。 • SM2 算法和 RSA 算法都是公钥加密算法，SM2 算法是一 种更先进安全的算法，其性能与安全性优于RSA，在我们国 家商用密码体系中被用来替换 RSA 算法。 • 椭圆曲线可使用更少的运算位数来达成与RSA相等的 安全性 • 椭圆曲线与RSA的安全性都依赖于离散对数问题的复 杂程度 • 离散对数问题：已知数A，B，且A = B^n，求数 n SM2 加解密算法：流程图 、迭代过程、消息扩展和压缩 函数所构成。 • 保证信息的完整性。 • 在商用密码体系中，SM3 主要用于数字签名及验证、消息认证码生成及验证、随机数生成、密钥 扩充等。据国家密码管理局表示，其安全性及效率要高于 MD5 算法和 SHA-1 算法，与 SHA- 256 相当。 • SM3 将对长度为l(l < 2^64) 比特的消息 m，经过填充和迭代压缩，生成杂凑值，杂凑值长度为 256比特。 SHA256，SM3 SM3 国密 TLS Introduction of Shangmi TLS Rust China Conf 2022 – 2023, Shanghai, China • 传输层安全性协议（Transport Layer Security，TLS）是一种密码协议，主要目的是在两个或多个通信计算机应用程 序之间提供加密，包括隐私（机密性），完整性和使用证书的真实性。TLS 协议广泛用于电子邮件、即时消息和

microcontrollers. • ランタイムやガベージコレクションがない。 • パフォーマンスを犠牲にせず、信頼性と安全性に焦点を当てている。 4.2 Rust のメリット Rust のユニークなセールスポイントをいくつか紹介します： 25 • コンパイル時のメモリ安全性 - クラス全体のメモリのバグをコンパイル時に防止します。 – 未初期化の変数がない。 – 二重解放が起きない。 – ることができます： • C または C++の経験がある場合：Rust は借用チェッカーを介して実行時エラーの一部を排除し てくれます。それに加え、C や C++と同等のパフォーマンスを得ることができ、メモリ安全性の 問題はありません。さらに、パターンマッチングや組み込みの依存関係管理などの構造要素を含 む現代的な言語です。 • Experience with Java, Go, Python, JavaScript はマルチパラダイムです。たとえば、強力なオブジェクト指向プログラミング機能を備えて いる一方、非関数型言語であるにもかかわらず、さまざまな関数的概念を内包しています。 5.2 変数 Rust は静的型付けによって型安全性を提供します。変数のバインディングは let を使用して行いま す。 fn main() { let x: i32 = 10; println!("x: {x}"); // x = 20; //

输出统计日志，提供监控工具 监管审计 基于WeBASE，提供监管审计入口 架构 FISCO BCOS 在2.0中，创新性提出“一体两翼多引擎”架构，实现系统吞吐能 力的横向扩展，大幅提升性能，在安全性、可运维性、易用性、可扩展性 上，均具备行业领先优势。 一体指代群组架构，支持快速组建联盟和建链，让企业建链像建聊天群一样 便利。根据业务场景和业务关系，企业可选择不同群组，形成多个不同账本 的数 组，满足多业务场景的扩展需求和隔离需求，核心模块包括： 共识机制：可插拔的共识机制，支持PBFT、Raft和rPBFT共识算法，交 易确认时延低、吞吐量高，并具有最终一致性。其中PBFT和rPBFT可解 决拜占庭问题，安全性更高。 存储：世界状态的存储从原来的MPT存储结构转为分布式存储，避免了 世界状态急剧膨胀导致性能下降的问题；引入可插拔的存储引擎，支持 LevelDB、RocksDB、MySQL等多种后端存储，支持数据简便快速扩容 交易生命周期的异步并行处理：共识、同步、落盘等各个环节的异步化 以及并行处理。 安全性 考虑到联盟链的高安全性需求，除了节点之间、节点与客户端之间通信采用 TLS安全协议外，FISCO BCOS还实现了一整套安全解决方案： 网络准入机制：限制节点加入、退出联盟链，可将指定群组的作恶节点 从群组中删除，保障了系统安全性。 黑白名单机制：每个群组仅可接收相应群组的消息，保证群组间网络通 信的隔离性；

输出统计日志，提供监控工具 监管审计 基于WeBASE，提供监管审计入口 架构 FISCO BCOS 在2.0中，创新性提出“一体两翼多引擎”架构，实现系统吞吐能 力的横向扩展，大幅提升性能，在安全性、可运维性、易用性、可扩展性 上，均具备行业领先优势。 一体指代群组架构，支持快速组建联盟和建链，让企业建链像建聊天群一样 便利。根据业务场景和业务关系，企业可选择不同群组，形成多个不同账本 的数 组，满足多业务场景的扩展需求和隔离需求，核心模块包括： 共识机制：可插拔的共识机制，支持PBFT、Raft和rPBFT共识算法，交 易确认时延低、吞吐量高，并具有最终一致性。其中PBFT和rPBFT可解 决拜占庭问题，安全性更高。 存储：世界状态的存储从原来的MPT存储结构转为分布式存储，避免了 世界状态急剧膨胀导致性能下降的问题；引入可插拔的存储引擎，支持 LevelDB、RocksDB、MySQL等多种后端存储，支持数据简便快速扩容 交易生命周期的异步并行处理：共识、同步、落盘等各个环节的异步化 以及并行处理。 安全性 考虑到联盟链的高安全性需求，除了节点之间、节点与客户端之间通信采用 TLS安全协议外，FISCO BCOS还实现了一整套安全解决方案： 网络准入机制：限制节点加入、退出联盟链，可将指定群组的作恶节点 从群组中删除，保障了系统安全性。 黑白名单机制：每个群组仅可接收相应群组的消息，保证群组间网络通 信的隔离性；

输出统计日志，提供监控工具 监管审计 基于WeBASE，提供监管审计入口 架构 FISCO BCOS 在2.0中，创新性提出“一体两翼多引擎”架构，实现系统吞吐能 力的横向扩展，大幅提升性能，在安全性、可运维性、易用性、可扩展性 上，均具备行业领先优势。 一体指代群组架构，支持快速组建联盟和建链，让企业建链像建聊天群一样 便利。根据业务场景和业务关系，企业可选择不同群组，形成多个不同账本 的数 组，满足多业务场景的扩展需求和隔离需求，核心模块包括： 共识机制：可插拔的共识机制，支持PBFT、Raft和rPBFT共识算法，交 易确认时延低、吞吐量高，并具有最终一致性。其中PBFT和rPBFT可解 决拜占庭问题，安全性更高。 存储：世界状态的存储从原来的MPT存储结构转为分布式存储，避免了 世界状态急剧膨胀导致性能下降的问题；引入可插拔的存储引擎，支持 LevelDB、RocksDB、MySQL等多种后端存储，支持数据简便快速扩容 交易生命周期的异步并行处理：共识、同步、落盘等各个环节的异步化 以及并行处理。 安全性 考虑到联盟链的高安全性需求，除了节点之间、节点与客户端之间通信采用 TLS安全协议外，FISCO BCOS还实现了一整套安全解决方案： 网络准入机制：限制节点加入、退出联盟链，可将指定群组的作恶节点 从群组中删除，保障了系统安全性。 黑白名单机制：每个群组仅可接收相应群组的消息，保证群组间网络通 信的隔离性；

输出统计日志，提供监控工具 监管审计 基于WeBASE，提供监管审计入口 架构 FISCO BCOS 在2.0中，创新性提出“一体两翼多引擎”架构，实现系统吞吐能 力的横向扩展，大幅提升性能，在安全性、可运维性、易用性、可扩展性 上，均具备行业领先优势。 一体指代群组架构，支持快速组建联盟和建链，让企业建链像建聊天群一样 便利。根据业务场景和业务关系，企业可选择不同群组，形成多个不同账本 的数 组，满足多业务场景的扩展需求和隔离需求，核心模块包括： 共识机制：可插拔的共识机制，支持PBFT、Raft和rPBFT共识算法，交 易确认时延低、吞吐量高，并具有最终一致性。其中PBFT和rPBFT可解 决拜占庭问题，安全性更高。 存储：世界状态的存储从原来的MPT存储结构转为分布式存储，避免了 世界状态急剧膨胀导致性能下降的问题；引入可插拔的存储引擎，支持 LevelDB、RocksDB、MySQL等多种后端存储，支持数据简便快速扩容 交易生命周期的异步并行处理：共识、同步、落盘等各个环节的异步化 以及并行处理。 安全性 考虑到联盟链的高安全性需求，除了节点之间、节点与客户端之间通信采用 TLS安全协议外，FISCO BCOS还实现了一整套安全解决方案： 网络准入机制：限制节点加入、退出联盟链，可将指定群组的作恶节点 从群组中删除，保障了系统安全性。 黑白名单机制：每个群组仅可接收相应群组的消息，保证群组间网络通 信的隔离性；

输出统计日志，提供监控工具 监管审计 基于WeBASE，提供监管审计入口 架构 FISCO BCOS 在2.0中，创新性提出“一体两翼多引擎”架构，实现系统吞吐能 力的横向扩展，大幅提升性能，在安全性、可运维性、易用性、可扩展性 上，均具备行业领先优势。 一体指代群组架构，支持快速组建联盟和建链，让企业建链像建聊天群一样 便利。根据业务场景和业务关系，企业可选择不同群组，形成多个不同账本 的数 组，满足多业务场景的扩展需求和隔离需求，核心模块包括： 共识机制：可插拔的共识机制，支持PBFT、Raft和rPBFT共识算法，交 易确认时延低、吞吐量高，并具有最终一致性。其中PBFT和rPBFT可解 决拜占庭问题，安全性更高。 存储：世界状态的存储从原来的MPT存储结构转为分布式存储，避免了 世界状态急剧膨胀导致性能下降的问题；引入可插拔的存储引擎，支持 LevelDB、RocksDB、MySQL等多种后端存储，支持数据简便快速扩容 交易生命周期的异步并行处理：共识、同步、落盘等各个环节的异步化 以及并行处理。 安全性 考虑到联盟链的高安全性需求，除了节点之间、节点与客户端之间通信采用 TLS安全协议外，FISCO BCOS还实现了一整套安全解决方案： 网络准入机制：限制节点加入、退出联盟链，可将指定群组的作恶节点 从群组中删除，保障了系统安全性。 黑白名单机制：每个群组仅可接收相应群组的消息，保证群组间网络通 信的隔离性；

输出统计日志，提供监控工具 监管审计 基于WeBASE，提供监管审计入口 架构 FISCO BCOS 在2.0中，创新性提出“一体两翼多引擎”架构，实现系统吞吐能 力的横向扩展，大幅提升性能，在安全性、可运维性、易用性、可扩展性 上，均具备行业领先优势。 一体指代群组架构，支持快速组建联盟和建链，让企业建链像建聊天群一样 便利。根据业务场景和业务关系，企业可选择不同群组，形成多个不同账本 的数 组，满足多业务场景的扩展需求和隔离需求，核心模块包括： 共识机制：可插拔的共识机制，支持PBFT、Raft和rPBFT共识算法，交 易确认时延低、吞吐量高，并具有最终一致性。其中PBFT和rPBFT可解 决拜占庭问题，安全性更高。 存储：世界状态的存储从原来的MPT存储结构转为分布式存储，避免了 世界状态急剧膨胀导致性能下降的问题；引入可插拔的存储引擎，支持 LevelDB、RocksDB、MySQL等多种后端存储，支持数据简便快速扩容 交易生命周期的异步并行处理：共识、同步、落盘等各个环节的异步化 以及并行处理。 安全性 考虑到联盟链的高安全性需求，除了节点之间、节点与客户端之间通信采用 TLS安全协议外，FISCO BCOS还实现了一整套安全解决方案： 网络准入机制：限制节点加入、退出联盟链，可将指定群组的作恶节点 从群组中删除，保障了系统安全性。 黑白名单机制：每个群组仅可接收相应群组的消息，保证群组间网络通 信的隔离性；