数学,安全和正在改变你钱包里的东西:Thomas Arts专访

​​​这位高级计算机科学家和Erlang专家在20世纪90年代与计算机科学实验室的Erlang发明者Joe Armstrong合作,结合了随和和好奇的本性以及强大的数学背景。Thomas能够在实际应用中翻译科学理论并在高压情况下保持冷静,这只是我们欣赏他为æternity工作的原因之一。最近,我们向他询问了关于皇家科学院的QuickCheck(https://hackage.haskell.org/package/QuickCheck),以及他是否认为区块链技术将持续发展。

您何时开始对计算机感兴趣?

我是在电脑只在少数家庭的起居室里长大的。 Apple技术还没有到达我的国家,我的叔叔和我用美国进口的组件制造了一个。当我10岁的时候,我很高兴用Basic语言编程,后来用Pascal编程。我不可避免地要从事计算机科学的工作,而我的数学成绩甚至建议我应该做双硕士。我拥有数学和计算机科学学位,在Utrecht获得理论计算机科学博士学位。

虽然我的作品被高度引用,但我从未想过学术生涯。

在研究期间,我错过了与真实事物的联系;软件。因此,我对全新互联网进行了研究,发现爱立信正致力于一种功能语言。在给BjarneDäcker发一封电子邮件之后,我乘坐飞往斯德哥尔摩的飞机与Joe Armstrong和Mike Williams等人在计算机科学实验室会面。他们刚刚开始了几个新的研究项目,我喜欢在Erlang做一些应用研究的想法。那时,1996年,我的Erlang经历开始了。我的重点是通过使用数学方法来提高软件质量。

你为什么决定和æternity一起工作?

通过纯粹的运气,Ulf Wiger告诉了我关于æternity区块链的消息。当我听说网络中的每个节点都是潜在的恶意节点并且你需要以一种与以前完全不同的方式建立信任时,我的好奇心被点燃了。这是一个新的和令人兴奋的事情,有着难以置信的学习机会!

对我而言,了解密码学,软件安全性,区块链技术以及非常有才华且友好的工作团队非常有趣 - 只是我喜欢的东西。

您觉得区块链技术最有趣的是什么?

区块链技术最有趣的部分之一是其安全性,有许多安全层,一切都需要无缝地协同工作。第一步是避免代码中出现软件错误。

Erlang不能有缓冲区溢出,没有最大整数,没有指针,也没有其他语言拥有的内存访问权限。这使得确保软件质量变得更加容易。

最重要的是,我们使用我们特定的QuickCheck技术从æternity的区块链规范中随机生成数千个有意义的测试用例。下一步是以正确的方式使用加密和安全性。

你认为区块链有可能改变世界吗?

只有当技术满足某种需求的真空时,技术才能改变世界。现在判断需求真空是否存在还为时过早。

这是否意味着你认为区块链只是一种时尚

不会。即使直接应用对每个人来说都不明显,区块链技术仍将继续存在。

关键是自动化和分散会计。这将推动动力平衡,推动进一步创新。

例如,我最近注意到一个小应用程序进入市场,你会得到一张塑料银行卡,你可以使用任何你喜欢的卡。通过使用您的手机,您可以将银行卡变成万事达卡,Visa卡或里程计划或超市俱乐部卡。我不确定他们是否使用区块链,但这表明银行将被推向价值链。

你和荷兰皇家科学院有什么联系?

我最近被邀请参加由KNAW组织的关于软件和安全的研讨会(Center for Scientific Workshops in All Disciplines - Home

这是一个很好的研究工具,因为它是所有开源的,可访问的,具有高安全性要求,但也可以在较小的,可研究的单元中进行分解。

因此,研究人员对此有明确的兴趣,我们将工作分成几个包。与所有具有不同背景和专业知识的研究人员进行交流令人兴奋,事实证明这是一次极好的学习体验。

你会给年轻的自己什么建议?

我对任何人的建议很简单:做你认为有趣的事情。

您可以在此处观看Thomas在区块链和P2P网络中基于属性的测试演示: