极客日报 #101

极客日报#101

本期收录 3 条社区推荐，涉及不使用 Emscripten 工具链把 c 代码编译成 wasm、KWasm: 一种区块链可执行形式化语义、美联储印钞模拟器。

2020年3月29日

本期推荐

不使用 Emscripten 工具链把 c 代码编译成 wasm

推荐人：周洋

Emscripten 为了将 c 程序编译成 wasm，模拟了几乎完整的 POSIX 操作系统接口。比如你的代码中使用了 fopen() , Emscripten 可以为你模拟出文件系统。Emscripten 的编译器后端使用 llvm，如果你的代码没有使用操作系统接口，可以尝试使用支持 llvm 后端的编译器直接把 c 编译成 wasm ，比如 clang。

KWasm: 一种区块链可执行形式化语义

推荐人：Taurus

本文介绍了Runtime Verification (RV) 公司在区块链领域探索形式化验证(formal verification) 的尝试。RV团队已经开发了针对现有EVM的KEVM框架，并广泛被采用。目前正在计划针对ewasm开发KWasm。本文偏重概念介绍，尤其适合感兴趣的同学初窥门径。

美联储印钞模拟器

推荐人：NakaDaoLe

全球经济萧条，各国纷纷降息放水，memetic institute 创作恶搞了两个小游戏，调侃了美联储无限印钱放水救市的手法，十分欢乐，在这种所有资产下跌的时候可以娱乐一下，放松心态，开心就好！

Rebase 极客日报由社区志愿者共同维护，持续整理值得关注的技术内容与行业信号。