开创性的区块链——公共汽车监控系统解决方案

　　今天将向大家介绍才华横溢的 Antonio Rocha 和他令人难以置信的学生。他们正在使公共交通更有效的通过巴西平摊的道路，这是他们令人难以置信的成就。他们开发的应用程序向我们展示了他们如何通过创建一个更有活力、更值得信赖的交通系统来改善数百万人的生活。多亏了区块链操作系统，他们正在推动数据隐私，同时为所有人创造更高水平的透明度。

　　大家一起来认识下即将改变游戏规则的人，他们是改变未来游戏结构的游戏新贵。这些都是希望为明天创造更光明未来的制造商和独立的创新者。在这里，我们可以看到Aetheras的联合创始人 Teddy Lee 和 Denis Tsai 如何在区块链操作系统上开发并颠覆游戏领域。

　　两个应用程序，一个共同的目标。

　　“现在我们正在开发两种不同的应用程序。第一个是强制执行公共服务，例如以正确方式运行的公共汽车，同时考虑到效率和可靠性。公交车应用程序以分散方式运行，这意味着任何人都可以检查他们的公交车是否会在正确的时间到达，以及他们是否迟到了。

　　第二个应用程序专注于隐私，它是关于寻找方法来创建数据存储和使用方式的透明度，同时执行更高级别的隐私。两者都旨在改善巴西数百万人的生活。”

　　研究动机

　　“我在弗鲁米嫩塞联邦大学的四个学生似乎对区块链非常感兴趣，作为他们的教授，我受到启发去探索这项新技术（我喜欢对这些事情保持开放的态度）。巴西是一个存在许多信任问题的国家，人们不信任他们的政府或他们周围的企业。当公司和政府互相不信任时，事情就会开始出错，当他们失望时，他们就会开始互相起诉。因此，我们希望创建一个系统来验证并确保一切都按照合同进行，而不必依赖可能不可靠的中央机构参与其中。”

　　改善巴西的公共交通

　　“在巴西，我们为渡轮、公共汽车和火车建立了公共路线。政府为每条私人路线设定了最高价格。但其中一些比其他更有利可图；一条有很多乘客的短途路线比一条只有少数乘客的长途路线更有利可图。

　　因此，这些公司倾向于在通勤时间专注于更受欢迎的路线，而不想在只有两三个人的非高峰时间在交通上浪费燃料。这样，乘客会等待着永远不会到来的汽车。在许多情况下，政府不会承认这一点。

　　另一方面，你也可能与政府有问题，因为有时你会有这些检查员过来说，“好吧，如果你不给我钱，我就会惩罚你“。这将是我反对你的话。于是就有了冲突：公司不信任政府，政府也不信任公司。用户不信任两者。因此，为这种事情拥有一个去中心化的系统真的很完美。

　　通过我们的应用程序，选择的路线是完全透明的，公众通过确认巴士是否出现来积极改进应用程序。有了这些信息都在区块链上，任何人都可以检查它的有效性。”

　　可信的物联网

　　“在我们正在建设的公共交通系统中，我们遇到了Oracle问题。这里的挑战是区块链本身无法验证车辆的移动/定位。因此，在区块链操作系统上，有几个解决方案，尤其是与物联网结合使用时。

　　例如，IoTeX可以通过安装经过审计的硬件来生成去中心化数据，并将它安全地存储在区块链上。当此设备向系统发送数据时，这意味着你可以检查签名并查看它是否是经过审核的设备之一，并且对读取的数据有信心。例如; 安装了阅读设备的公共汽车可能会遇到交通堵塞并导致延误。但是，通过将这些信息与谷歌地图等现有旅行应用程序进行交叉引用，政府总是清楚真相，最终对旅行者来说也是如此。因此，物联网成为可信物联网。”

　　更高层次的抽象

　　“我们在Cartesi 机器的后端使用了Python进行开发。在前端，我们使用带有React的Javascript。我们还在后端使用了SQLite，这是一个可以作为库嵌入到区块链操作系统上的数据库。很简单，如果没有区块链操作系统，这将是不可能实现的。

　　如果我们想先连接到其他区块链上的数据库，我们就没有数据库。我们将不得不重写库，我们不会有字符串的概念，它只是个字节。因此，操作系统提供了更高的抽象程度，并且对于开发人员来说，这是一种更容易获得结果的方法。

　　让我给你举个例子。在餐厅点一个煎蛋将是一个高级别的订单。在较低的级别上，您必须说：现在去冰箱，打开冰箱，向右看，拿起一个鸡蛋，取出鸡蛋，等等。这本身就是一个把鸡蛋放到煎锅里的过程！所以你看到它产生的速度和差异，你可以很快地把事情做好。

　　在Solidity中，我们日常编程中习惯的大部分东西都不存在。你必须一步一步地描述它。它不仅需要自己从头开始开发，还要求您的所有代码都经过优化和测试。因为作为开发人员，您可能会犯错误。有了完善的库，背后有很多人在微调不同的方面，所以它经过更好的测试，非常稳定，错误的概率非常低。所以它更可靠。”

　　人人都享有更光明的未来

　　“一旦我们准备好公共汽车监控系统解决方案，它就有可能真正看到曙光，政府可能确实会采用它。市政厅和我们大学在许多项目上密切合作，由于区块链操作系统及其Optimistic Rollups 技术能够解决区块链的可扩展性问题，我们还可以考虑在我们的应用程序中使用区块链集成公交车票支付。

　　现在计算区块链上的付款可能需要大约 10 分钟。买新房等10分钟还可以，买公交车票要等10分钟？那是绝对不行的。这就是Rollups技术必不可少的原因。”

　　关于Antonio

　　Antonio Augusto自 2011 年起担任弗卢米嫩塞联邦计算研究所计算机科学系副教授。在 2003 年和 2010 年，他获得了联邦大学计算机与系统工程 (PESC/COPPE) 的理学硕士和博士学位巴西里约热内卢 (UFRJ)，

　　2008-2009年博士期间，他是马萨诸塞大学阿默斯特分校 (UMass) 计算机科学的访问学者。他在 UFRJ 担任博士后研究员，获得 INCT WebScience 的支持。他拥有 CNPq 授予的研究生产力奖学金（自 2014 年起）。

　　他感兴趣的领域包括性能评估、流量工程、网络测量、下一代互联网、网络科学和安全系统。Antonio Rocha 博士在重要期刊和会议上发表了许多论文，他的工作获得了一些奖项。

　　关于Cartesi

　　Blockchain OS 是一个分散的第 2 层基础设施，支持 Linux 和主流编程软件组件。 使得开发人员可以第一次在Blockchain OS上使用丰富的传统软件工具、库和他们习惯的服务编写可扩展的智能合约，Cartesi 弥合了主流软件和区块链之间的差距。

　　Cartesi 正在引领数百万新创业公司及其开发人员加入并使用区块链操作系统，同时将 Linux 应用程序纳入其中。 凭借开创性的虚拟机、Rollups和侧链，Cartesi 为所有开发人员铺平了道路，以帮助他们进入区块链的世界并构建下一代区块链应用程序。

　　Cartesi在此诚挚的邀请所有人，请和我们一起来到区块链操作系统的世界，一起探索未来。

提升网络安全保障能力 共建网络强省

车联网安全体验：全身贴满“马赛克”的汽车 无钥匙也能开车门

健全开源生态 树立开源风险意识 加强开源治理

未来云计算市场或将呈横纵向分布

云原生：助力企业构建易管理可观测的应用系统

云计算能运用于哪些领域？

从“计算机”到“云计算” 算力迎来跨越式发展

数字经济“一号工程”升级版：杭州将打造智能物联卓越城市