在我的博士论文中，我研究了目标导向的静态分析。这意味着我希望静态分析的效率可以随着我关心的特定属性的复杂性而扩展，而不是随着输入程序的大小而扩展。如果这个属性非常简单，只需要进行简单的推理就可以确定其安全性或漏洞性，我希望它非常快。或者如果这需要查看整个程序进行推理，则相应地会更慢。这是一件有用的事情，因为静态分析的一个主要问题就是非常慢，特别是当你在运行像巨大的几百万行程序时。我在这个静态分析子领域中研究了一个新的理论，称为抽象解释，旨在使抽象解释更具目标导向性和属性导向性，从而提高效率和精度。

主持人 Sonal Chokshi：非常有趣。你提到你在背景中也对心理学很感兴趣，当你设计你的博士研究以及现在的工作时，你可以快速介绍一下程序员的心理学吗？因为你没有满足我的好奇心。

Sui CTO Sam Blackshear ：当我在2018年来到Libra时，我们基本上需要在Libra中建立智能合约，你需要想出这意味着什么。你不能在真空中进行推理，就像语言基本上是问题解决工具一样。所以我看了很多Solidity和智能合约代码。我想知道程序员用这些东西做什么？语言在哪里帮助了他们？在哪里妨碍了他们？这个问题的主要结论是基本上所有这些程序都在试图做同一件事。他们试图谈论资产，试图转移它们，试图定义它们。但是代码编写的方式总是如此间接。

这就像一种粗暴的设计练习，你试图谈论这件事，但是没有词汇来表达它。这就是心理学的元素，我可以阅读程序并思考，这个人在想什么？在他们的头脑中，相对于他们实际编写的代码？这个翻译层中的障碍是什么？语言如何通过提供正确的抽象来帮助他们？这些问题没有客观的答案。这就像我也是程序员，我会怎样编写这段代码？或者我会发现什么直观而什么困惑？所以基本上，决定创建Move而不是在EVM上构建或使用现有语言是因为，正如我们之前所说，这种智能合约需求与其他任何东西都非常不同，使用现有语言没有所需的抽象或特征是没有意义的。

如果你在EVM中使用Solidity之类的东西，这是这个领域的第一次尝试。因此，它没有合理地预测出人们将要尝试做什么。所以我认为我们有所有这些第二移动者的优势。我们了解人们想做什么，什么效果好，什么效果不好。我们应该利用这一点来打造一个新的语言。说服人们需要构建一个新的编程语言是一个有趣的旅程，我们可以在另一个时间讨论，但是有人告诉你你应该说不。很多人对Facebook是否有这种尝试的愿景持有合理的怀疑态度。

主持人 Sonal Chokshi：有趣的是，感觉这几乎是你能够回应的唯一地方，而且甚至更好的是，你们现在可以将其带离Facebook并继续前进。实际上，对于它的诞生和发展来说，这几乎是理想的条件。事实上，这对于它们两者都是一个很好的机会。

Sui CTO Sam Blackshear ：完全是意外之喜。主持人 Sonal Chokshi：那就很好了解了。

给智能合约编程语言开发者的建议

最后一个小问题，如果你们有一个建议想要给那些想要了解智能合约编程语言或已经在这个领域的人，如果你们可以用两秒钟的时间给一个建议，你们会说什么？

Sui CTO Sam Blackshear ：阅读大量代码，了解代码的目的以及底层代码实际上是如何做到这一点，它做得好和不好在哪里。主持人 Sonal Chokshi：为什么？简单地说？

Sui CTO Sam Blackshear ：我认为这是了解语言的最佳方式，它是一个很抽象的东西。但是，如果你从某个东西开始，只是试图弄清楚如何做到这一点，我认为这是一条更具体的路线，也很容易从中进行概括。好的。主持人 Sonal Chokshi：艾迪，你有什么建议吗？

a16z Eddy Lazzarin：这是个好问题。我完全同意Sam说的。我还想补充一点，因为我们还处在早期阶段，人们都喜欢分享一些有趣的东西，比如在区块链上编程有多么疯狂。有很多人非常乐意分享，乐意深入探讨。每次我在任何一个大型的社交群或者任何一个论坛上有问题的时候，人们总是乐于和我分享。所以我会建议大家找到那些你真正喜欢和他人分享你的代码，一起构建开源社区的人们。

a16z Noah：我的建议是，如果你有任何工作流程中经常使用的工具，无论是编译器、测试工具还是其他任何可以让你的工作变得更轻松的工具，你都应该学习它的工作原理。并且，每当你发现一个bug，就去修复它。成为开源软件的好管理员。

主持人 Sonal Chokshi：你们说得非常好。再次感谢Sam、Noah和Eddie参加本期[email protected]的节目。非常感谢你们。不管怎样，祝你们有美好的一天，再见。感谢您收听 Web3 与 A16Z，您可以在我们的网站 a16z.com/cryptopod 中找到展示音频的音频剪辑、文字稿和更多资源。