Fork It

Fork It

By Fork ItTechnology
Download on the App Store

Fork It episodes

  • #13 - 和 Algorand 首席科学家陈婧教授聊聊跨学科研究

    本期我们请到了 Algorand 首席科学家陈婧教授聊聊跨学科研究。

    陈婧教授是如何做到横跨密码学、博弈论、数学、经济学等多个学科的？这些学科彼此之间有什么联系和差别？

    在 MIT 典型的一天是如何度过的？和图灵奖获得者一起工作是一种怎样的体验？

    理工科女性科学家和工程师在学术界、工业界的现状如何？来自社会方方面面的暗示又是什么？

    更多精彩，敬请收听节目~

    摘要

    • 三个关键词形容自己：简单、好奇、严谨。

    • 特别感兴趣的是很多人或机器、多方交互并相互影响的过程，而这些在网络安全、密码学、和博弈论里面都是很基本的现象。

    • 和朋友讨论密码学和博弈论，大家讨论问题的角度是很不一样的，用的模型也不一样。

    • 密码学和博弈论研究模式很不一样，密码学里有很多定义的很好的 open problems，但是博弈论和经济学很近，没有这么多被很多人认可的重大问题。

    • MIT 非常灵活，有很多自我的空间，没有什么人在乎你选什么课，甚至换研究方向和导师都没关系。

    • 周围的人、社会风气对女性做理工科，尤其是科研，会有一些暗示和担心。女性经常会被问到，如何平衡事业和家庭的问题。

    • 我做的东西虽然方面很多，问题很多，但是兜兜转转，之前做的东西都用的上，所有东西都是相关的。

    • Silvio 是一个非常公平，开明开放的人，在做科研的时候是以一个平等的状态在讨论问题，不是导师指派任务。

    • Algorand 是在系统方面原型验证已经完全通过之后，有了工程方面的信心，才开始推商业化这个事情。

    • 大家在提到经济模型的时候，可能就觉得它应该像比特币或以太坊那样，但其实经济模型有很多不同的可能性。

    • Libra 的出现是好事，在区块链领域有很大的声音发出来，不仅是对内部，也会给外部带来一个很大的影响。

      • Shownotes
      • 陈婧教授
      • Algorand
      • Silvio Micali
      • Grace Hopper Celebration of Women in Computing
      • Algorand Co-Chains by Silvio Micali
      • Year of Wonder: Classical Music for Every Day
      • 华硕 AMD 4900H CPU 电脑

        • Special Guest: 陈婧.

        1 hr 17 min
      • #12 - 和 Ted 聊聊 HotStuff 背后的故事

        本期为 11 期的延续，我们继续和 Ted 聊聊他的学术和创业经历。

        摘要

        • HotStuff 算法的诞生，一部分源于 PhD 第 1 年做的一个失败的 CFT(Crash Fault Tolerance) 研究。

        • Dahlia 作为一个女性研究者，特意用「HotStuff」这个名字来揶揄大家的政治正确。

        • 有人老会抱怨，别人总是把东西先弄出来 ，我们只能跟在后面学，但明明有机会做不一样东西的时候，却怂了，这是比较讽刺的地方。

        • 是不是很多时候我们缺乏勇气，就不敢自己出来，硬起来做点事情。

        • HotStuff 和 Avalanche 是我学术上两个很有意义的尝试，前者是基于成熟的办法，去做成熟的解决方案 ，后者更多是学术上的一个反思。

        • 在美国创业找靠谱的人很困难，中国人统计意义上真的很厉害。

        • AVA Labs 目前主要在写基础架构的是一个 2.5 年就从康奈尔本科毕业的小天才。

        • 得知道什么是好坏美丑，虽然美的不一定赚钱， 甚至丑的可以成功，但是我们得知道，无论它再怎么成功，它也是丑的。

        • 希望未来大家更少去关注共识，因为如果总是在说一件事情，说明这个东西还没做完。

        • Vitalik 很聪明，但有点过分神话，他有其局限性，并不特别「懂」共识。

          • ShowNotes
          • Ava Labs, Inc.
          • Libra 采用的 HotStuff 算法作者亲述：「尤物」诞生记
          • VMware
          • Scalable and Probabilistic Leaderless BFT Consensus through Metastability By Team Rocket
          • AVA Labs GitHub
          • Ling Ren
          • Time, Clocks, and the Ordering of Events in a Distributed System By Leslie Lamport
          • EVA
          • Ted 做的 Nerv 系统
          • 攻壳机动队
          • 黑客帝国
          • 挪威的森林
          • Switch 动物森友会
          • 赛博朋克 2077
          • vim
          • neovim
          • Emacs
          • ChromeBook
          • Archlinux on Pixelbook
          • 在 Pixelbook 上用 Archlinux 工作
          • Rusty Nixie! 完全使用 Rust 制作辉光钟（1）

            • Special Guests: Ted Yin and 万涔涔.

            1 hr 32 min
          • #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 万涔涔.

                1 hr 51 min
              • #10 - 2020 新春特辑

                本期为 Fork It 新春特辑，祝大家新年快乐！

                几位主播在节目里回顾了 Fork It 过去一年多的发展并谈到了未来节目的一些调整，希望能给大家带来一些新的不一样的东西；大家还对 2019 年的区块链世界发展做了一些简单总结，2019 年，你印象最深刻的事情是什么？

                抽奖细则

                微博抽奖活动细则

                关注微博账号 Forkit (@forkit) 并转发本次 Weibo 即可参与新年抽奖。

                （注册三个月以上账号有效）

                我们会在 2020 年 1 月 31 日 18:00 从所有参与者中随机抽取 9 位，送出主播们的新年礼物。

                • 3 台 Kindle
                • 3 本 三体艺术插画集
                • 3 个 1 万 CKB 的红包

                  • Twitter 抽奖活动细则

                  关注 Twitter 账号 Fork It (@Forkit_crypto) 并转发本次 Tweet 即可参与新年抽奖。

                  （注册三个月以上账号有效）

                  我们会在 2020 年 1 月 31 日 18:00 从所有参与者中随机抽取 9 位，送出主播们的新年礼物。

                  • 3 台 Kindle
                  • 3 本 三体艺术插画集
                  • 3 个 1 万 CKB 的红包
                    • Show Notes
                    • Kindle
                    • 三体艺术插画集
                    • Switch
                    • ABC wallet
                      • 1 hr 9 min
                    • #9 - 和 Parity 的唐威聊聊区块链编程

                      本期 Fork It 我们有幸请到了 Parity 的唐威和我们来聊聊区块编程。

                      Rust 和 Go 有什么不同特性？它们适合用于什么环境？EVM 和 WebAssembly, RISC-V 实现的 VM 有什么优劣？

                      ETC 目前社区发展和工作情况如何？随着未来以太坊转向 PoS ，ETC 会有什么变化？与此同时，以太坊 2.0 目前到底怎么样了？

                      唐威还和我们仔细分享了他的 Rust 编程经历：在大学接触 Rust 并开始写开源项目，以及之后在 ETCDEVTeam 和 Parity 的工作经历，非常精彩。

                      除了在泛用型播客客户端收听订阅《 Fork It 》，您还可以在喜马拉雅 和网易云音乐收听节目。

                      What are you waiting for? Let’s Fork It!

                      Shownotes

                      • Wei Tang Github

                      • SputnikVM

                      • nixos

                      • arch linux

                      • Rux

                      • EIP 1283

                      • Wei Tang Blog

                      • Emacs

                      • Evoluent VM4R Vertical Mouse

                      • Org-mode

                      • bitwarden

                      • Keepassxc

                        • Special Guests: Wei Tang and Xuejie Xiao.

                        1 hr 42 min
                      • #8 - 和秘猿科技首席产品官王博聊聊跨链

                        本期 Fork It 我们有幸请到了秘猿科技首席产品官王博来和我们聊聊跨链

                        跨链和 Layer 1、Layer 2 之间是什么关系？怎么定义它们？它们有什么区别？被大家热议的 Cosmos 和 Polkadot 之间又有什么不同？播客中对此有非常详细的解答。

                        最后王博还和我们概括性的分析了跨链的未来发展，对于跨链来说冷启动难在哪里？这些跨链的基础设施和公链之间会不会产生某种竞争，甚至取代公链？非常精彩。

                        除了在泛用型播客客户端收听订阅《 Fork It 》，您还可以在喜马拉雅 和网易云音乐收听节目。

                        What are you waiting for? Let’s Fork It!

                        Shownotes
                        • Cosmos
                        • Polkadot
                        • ChainX
                        • IRIS Network
                        • Hashlock

                          • Special Guest: 王博.

                          57 min
                        • #7 - 深度剖析 Lightning Network 技术细节

                          本期 Fork It 继续和大家探讨 Lightning Network。LN 在网络方面是怎么集大成的？它之前的诸多技术方案是什么？LN 因天时地利人和最终获得成功，这些因素又是什么呢？

                          播客中还对 HTLC 和 Channel 构造等诸多技术进行了详细的分析，超 Hardcore，热爱技术的你一定不要错过～

                          除了在泛用型播客客户端收听订阅《 Fork It 》，你还可以在喜马拉雅 和网易云音乐收听节目。

                          What are you waiting for? Let’s Fork It!

                          ShowNotes
                          • Gavin Andresen
                          • CSW
                          • Gavin ' Blog 「Off-the-chain transactions」
                          • Meni Rosenfeld / Meni Rosenfeld's talk at Bitcointalk
                          • SigHash
                          • Amiko Pay
                          • Bitpay / Impulse
                          • Strawpay / Stroem
                          • A Fast and Scalable Payment Network with Bitcoin Duplex Micropayment Channels
                          • Roger Wattenhofer / Christian Decker
                          • Gregory Maxwell 's Blog about Scale
                          • Timelock
                          • Hash Time Locked Contract(HTLC)
                          • Funding Transactions / Breach Remedy Transaction
                          • HD Wallet
                          • Lightning RFC
                          • LND / Lit / Eclair
                          • Blockstream ElementsProject
                          • Firefox Monitor
                          • Brave
                            • 1 hr 12 min
                          • #6 - Lightning Network 的技术演化史

                            命名系统的不可能三角是什么、为什么区块链可能打破这个不可能三角？Payment Channel 最早可以追溯到中本聪，在演进过程中它发生了哪些变化？为什么说 Lightning Network 是 Payment Channel 和 Network 的集大成者？

                            Jan 和 Terry 相隔三年，再一次单独录制节目，给你带来满满干货。

                            除了在泛用型播客客户端收听订阅《 Fork It 》，您还可以在喜马拉雅 和网易云音乐收听节目。

                            What are you waiting for? Let’s Fork It!

                            Show Notes

                            • 聊聊比特币背后的技术和Blockchain - Teahour.fm

                            • MIT Bitcoin Expo

                            • Utreexo

                            • Thaddeus Dryja

                            • Dagger Hashimoto

                            • Joseph Poon

                            • Handshake

                            • Namecoin

                            • zooko

                            • Zooko's triangle

                            • Aaron Swartz

                            • Payment Channel History

                            • BIP 65

                            • Peter Todd

                            • SegWit - Wikipedia

                              • 42 min
                            • #5 - 和 Maker DAO 中国区负责人潘超聊聊 DeFi

                              本期 Fork It 我们有幸请到了 Maker DAO 中国区的负责人潘超来和我们聊聊 DeFi。

                              这期分为两部分，第一部分讨论了 JPM Coin ，它和稳定币的区别在哪里、以及它未来的走向和意义是什么？其中穿插了一些案例，非常全面。第二部分潘超和大家谈了谈 DeFi，DeFi 和 Fintech 的区别是什么、Maker DAO 是怎么和其他 DeFi 项目结合的、 DeFi 目前最大的缺陷又是什么？十分透彻

                              除了在泛用型播客客户端收听订阅《 Fork It 》，您还可以在喜马拉雅 和网易云音乐收听节目。

                              What are you waiting for? Let’s Fork It!

                              ShowNotes
                              • Maker DAO
                              • RTGS 和 DNS 介绍
                              • R3
                              • EEA
                              • Chase CEO Jamie Dimon
                              • Augur
                              • DeFi Pulse
                              • Quorum

                                • Special Guest: 潘超.

                                1 hr 2 min
                              • #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.

                                    1 hr 4 min

                                  About Fork It

                                  From the publisher's feed

                                  Fork It 是一个针对区块链技术的中文播客节目，四位主播分别为 Terry (https://twitter.com/poshboytl) , Jan (https://twitter.com/janhxie) , Kevin (https://twitter.com/knwang) 和 Daniel (https://twitter.com/lgn21st)。他们还一起创办过中文技术播客节目…