#11 - 和 HotStuff 作者 Ted 聊聊学术之路

本期我们有幸请到了 HotStuff 作者,美国康奈尔大学在读博士生尹茂帆(Ted Yin),一起聊聊他的学术之路。 摘要 * 高中打信息学竞赛,并不是他人眼中的一帆风顺,中间有许多不为人知的内心时刻。 * 大学暑假去康奈尔, 通过和 Gün 教授一起工作,慢慢探索出未来发展道路。 * 早在 2016 年因 DAO Hack 事件在国内闻名之前,Gün 教授因 Selfish Mining 在国际 Crypto Space 已经很有名了。 * 大学学的东西远远不够,读 PhD 是一个很好积累的过程。 * Gün 教授是个喜欢说大实话的 Hacker,在学术界并不是很招人喜欢。 * 大扫除在文件堆里找到了 NSA(美国国家安全局)对 Gün 教授及其学生的感谢信。 * 读一个 PhD,迟早你要在专注的那个领域做到比你老板还厉害,不然的话,你读它干嘛。 * PhD 三成时间是在学怎么和人交流,三成时间做科研 ,三成时间学做项目,或者说学习组织去做好一件系统的事情。 * 好的表达和交流会帮助你解决问题以及获得更多资源,你也需要去经营资源 。 * 学术界并没有达成统一共识,区块链是不是研究方向。 * 大众能去了解共识非常神奇,因为这是一个非常 Low Level 的事情,这也反应了整个行业目前还很不成熟。 * BFT 是从历史尘埃中找出来的东西。 * 共识算法中新的算法并没有很多,魔改的很多。 ShowNotes * ACM ICPC * John E. Hopcroft * Robert Tarjan * Elaine Shi * Ari Juels * Emin Gün Sirer * Gün’s Twitter about DAO Hack * Ittay Eyal * Robbert van Renesse * Paper about selfish mining * SPIN operating system * Chain Replication for Supporting High Throughput and Availability By Robbert van Renesse * Bosco: One-Step Byzantine Asy * Practical Byzantine Fault Tolerance * Paxos (computer science) * Lorenzo Alvisi * Dahlia Malkhi * DLS consensus algorithms * Zyzzyva: Speculative Byzantine Fault Tolerance * Another Advantage of Free Choice: Completely Asynchronous Agreement Protocols * Tendermint: Byzantine Fault Tolerance in the Age of Blockchains * HotStuff: BFT Consensus in the Lens of Blockchain * The Honey Badger of BFT Protocols * Algorand: Scaling Byzantine Agreements for Cryptocurrencies * Snow White: Robustly Reconfigurable Consensus and Applications to Provably Secure Proof of Stake * Ouroboros-BFT: A Simple Byzantine Fault Tolerant Consensus Protocol Special Guests: Ted Yin and 万涔涔.

110分钟
99+
5年前

#4 - 和张韧博士聊聊 MimbleWimble

本期 Fork It 我们有幸请到了鲁汶大学 COSIC 实验室博士生张韧来和我们聊聊 MimbleWimble,在本期 Fork It 中,张韧将 MimbleWimble 拆分成了 Confidential Transaction、Coin Join、 OWAS 三部分进行阐述,非常清晰,期间他解释了一些外界对 MimbleWimble 的误解,很具启发性。 张韧还谈到了他 2013 年花了一年时间设计自己的 PoW 算法,但最终没有发文的遗憾,而这个遗憾背后的考虑也是 Grin 存在的最大的安全隐患,至于是什么,听听这一期 Fork It 就知道了。 本期讨论到了比特币教父 Adam Back、修改并完善了 MimbleWimble 协议的 Andrew Poelstra、 和 IACR 的前任主席,RIPEMD-160 设计者 Bart Preneel 等在加密领域做出了杰出贡献的学者和开发者。 除了在泛用型播客客户端收听订阅《 Fork It 》,您还可以在喜马拉雅 和网易云音乐收听节目。 What are you waiting for? Let’s Fork It! Show Notes * 张韧 * 鲁汶大学 * BlockStream * Andrew Poelstra * Adam Back * Gregory Maxwell * Pieter Wuille * Benedikt Bünz * Bart Preneel * RIPEMD-160 * Gregory Maxwell 第一版 Range Proof 的研究成果 * Benedikt Bünz 改进版 Range Proof 的论文 * Crypto 101 Crypto101.io * 红茶菌 * 索尼阅读器 * 深入浅出 Rust 注:文中提到的 Roger Ver 实际为比特币耶稣 概念和公式 * 交易的输入和输出 Pedersen 承诺的格式是:数额 x 生成元 1+ 盲化因子 x 生成元 2 * 加法同态:两个交易 Pedersen 承诺加起来 =(数额 1+ 数额 2)x 生成元 1+(盲化因子 1+盲化因子 2) x 生成元 2 * 余项:(交易输入的盲化因子之和—交易输出的盲化因子之和)x 生成元 2 * Range Proof:范围证明,一个数字落在给定范围内的证明,而不会泄露数字 * Cut Through:被使用过的交易输出可以被删除 * Kernel Excess:用来确保等式平衡 * Kernel Offsets:一个盲化因子,需要加到 Kernel Excess 当中用于验证等式平衡关系 详细相关文档可参见 MimbleWimble and Grin Special Guest: Ren Zhang.

63分钟
99+
6年前
EarsOnMe

加入我们的 Discord

与播客爱好者一起交流

立即加入

播放列表

自动播放下一个

播放列表还是空的

去找些喜欢的节目添加进来吧