段斯斯：击败计算机世界里的“内鬼”

段斯斯：击败计算机世界里的“内鬼” 段斯斯：击败计算机世界里的“内鬼”

近日，由DeepTech深科技与《麻省理工科技评论》一同评比的第五届中国地区“35岁下列科学技术创新35人”排行榜发布，排行榜上的年轻人被外部称之为科学合理之星。本次发布的排行榜上面有5名女士，北京清华大学高研究所研究者段斯斯恰好是在其中之一。

在北京清华大学校园内一家咖啡厅，高新科技日报新闻记者看到了年青专家学者段斯斯。她娇小玲珑，存着齐肩发。这一看起来十分温柔的女孩，身体内却潜藏着极大的动能。

钟爱“非常烧脑”的分布式架构科学研究

2005年，在北京大学附中的一间教室里，低头学习培训的高三学生段斯斯想离开家，看一看更高的全球。那个夏天，她如愿以偿考入了港大，被贵校电子器件电机工程技术专业录用。

在全部学科中，段斯斯对两门课尤其有兴趣——分布式架构和密码算法。

为了更好地表述分布式架构，段斯斯向新闻记者共享了“拜占庭将军问题”。它说的是，在一场战役中，拜占庭帝国部队的大将们遭遇一个问题，即是不是进攻敌方。无论攻击或是撤离，仅有大将们做出一致的决策，战争才可以获得胜利。反过来，一切不因的共识为基本的作战必定不成功。可实际是，大将们分守不一样壕沟，而承担传递信息的特使乃至一些大将可能是内鬼。叛徒根据错误报告诱发大将们做出不一致的决策，或者蒙蔽一些大将使其没法作决策，从而造成战争不成功。

在互联网全球，那样的“内鬼”无所不在，他们可能是硬件配置不正确、互联网拥挤或无网，也可能是故意进攻……“内鬼”的目的便是捣乱，使系统软件内每个连接点做出不一致的决策，从而造成互联网败退。分布式架构学者会设计方案出一套的共识协议书，以保证即使在发生“内鬼”的情形下，系统软件每个连接点也可以做出一致的决策。

为电子计算机设计方案出更为安全性、行得通、性能卓越的的共识协议书，是击败“内鬼”的重要。因此，设计师要持续开展逻辑性推演，假定、证实、递归法、反推，稍不留意便会把自己绕进来。

“互联网中的连接点越多，的共识协议书就越难设计方案。”段斯斯感觉，此项工作中十分有意思并且充斥着考验。

大学本科毕业那年，段斯斯申请办理到了去加州大学理查德森校区考博士的机遇，技术专业是她朝思暮想的电子计算机。

怀着期待，23岁的段斯斯飘洋过海来到美国。那时候，段斯斯不怎么会写毕业论文，投出的文章内容意见反馈都很槽糕。“我做的分析在那时候不大众。我很担忧，跑那么远来念书，最终什么也没有学得。”段斯斯追忆道，那一段时间她十分茫然，深陷到极大的消极悲观当中。