今天將向大家介紹才華橫溢的Antonio Rocha 和他令人難以置信的學生。他們正在使公共交通更有效的通過巴西平攤的道路，這是他們令人難以置信的成就。他們開發的應用程序向我們展示了他們如何通過創建一個更有活力、更值得信賴的交通系統來改善數百萬人的生活。多虧了區塊鏈操作系統，他們正在推動數據隱私，同時為所有人創造更高水平的透明度。
大家一起來認識下即將改變遊戲規則的人，他們是改變未來游戲結構的遊戲新貴。這些都是希望為明天創造更光明未來的製造商和獨立的創新者。在這裡，我們可以看到Aetheras的聯合創始人Teddy Lee 和Denis Tsai 如何在區塊鏈操作系統上開發並顛覆遊戲領域。
兩個應用程序，一個共同的目標。
“現在我們正在開發兩種不同的應用程序。第一個是強制執行公共服務，例如以正確方式運行的公共汽車，同時考慮到效率和可靠性。公交車應用程序以分散方式運行，這意味著任何人都可以檢查他們的公交車是否會在正確的時間到達，以及他們是否遲到了。
第二個應用程序專注於隱私，它是關於尋找方法來創建數據存儲和使用方式的透明度，同時執行更高級別的隱私。兩者都旨在改善巴西數百萬人的生活。 ”
研究動機
“我在弗魯米嫩塞聯邦大學的四個學生似乎對區塊鏈非常感興趣，作為他們的教授，我受到啟發去探索這項新技術（我喜歡對這些事情保持開放的態度）。巴西是一個存在許多信任問題的國家，人們不信任他們的政府或他們周圍的企業。當公司和政府互相不信任時，事情就會開始出錯，當他們失望時，他們就會開始互相起訴。因此，我們希望創建一個系統來驗證並確保一切都按照合同進行，而不必依賴可能不可靠的中央機構參與其中。”
改善巴西的公共交通
“在巴西，我們為渡輪、公共汽車和火車建立了公共路線。政府為每條私人路線設定了最高價格。但其中一些比其他更有利可圖；一條有很多乘客的短途路線比一條只有少數乘客的長途路線更有利可圖。
因此，這些公司傾向於在通勤時間專注於更受歡迎的路線，而不想在只有兩三個人的非高峰時間在交通上浪費燃料。這樣，乘客會等待著永遠不會到來的汽車。在許多情況下，政府不會承認這一點。
另一方面，你也可能與政府有問題，因為有時你會有這些檢查員過來說，“好吧，如果你不給我錢，我就會懲罰你“。這將是我反對你的話。於是就有了衝突：公司不信任政府，政府也不信任公司。用戶不信任兩者。因此，為這種事情擁有一個去中心化的系統真的很完美。
通過我們的應用程序，選擇的路線是完全透明的，公眾通過確認巴士是否出現來積極改進應用程序。有了這些信息都在區塊鏈上，任何人都可以檢查它的有效性。 ”
可信的物聯網
“在我們正在建設的公共交通系統中，我們遇到了Oracle問題。這裡的挑戰是區塊鏈本身無法驗證車輛的移動/定位。因此，在區塊鏈操作系統上，有幾個解決方案，尤其是與物聯網結合使用時。
例如，IoTeX可以通過安裝經過審計的硬件來生成去中心化數據，並將它安全地存儲在區塊鏈上。當此設備向系統發送數據時，這意味著你可以檢查簽名並查看它是否是經過審核的設備之一，並且對讀取的數據有信心。例如; 安裝了閱讀設備的公共汽車可能會遇到交通堵塞並導致延誤。但是，通過將這些信息與穀歌地圖等現有旅行應用程序進行交叉引用，政府總是清楚真相，最終對旅行者來說也是如此。因此，物聯網成為可信物聯網。 ”
更高層次的抽象
“我們在Cartesi 機器的後端使用了Python進行開發。在前端，我們使用帶有React的Javascript。我們還在後端使用了SQLite，這是一個可以作為庫嵌入到區塊鏈操作系統上的數據庫。很簡單，如果沒有區塊鏈操作系統，這將是不可能實現的。
如果我們想先連接到其他區塊鏈上的數據庫，我們就沒有數據庫。我們將不得不重寫庫，我們不會有字符串的概念，它只是個字節。因此，操作系統提供了更高的抽象程度，並且對於開發人員來說，這是一種更容易獲得結果的方法。
讓我給你舉個例子。在餐廳點一個煎蛋將是一個高級別的訂單。在較低的級別上，您必須說：現在去冰箱，打開冰箱，向右看，拿起一個雞蛋，取出雞蛋，等等。這本身就是一個把雞蛋放到煎鍋裡的過程！所以你看到它產生的速度和差異，你可以很快地把事情做好。
在Solidity中，我們日常編程中習慣的大部分東西都不存在。你必須一步一步地描述它。它不僅需要自己從頭開始開發，還要求您的所有代碼都經過優化和測試。因為作為開發人員，您可能會犯錯誤。有了完善的庫，背後有很多人在微調不同的方面，所以它經過更好的測試，非常穩定，錯誤的概率非常低。所以它更可靠。 ”
人人都享有更光明的未來
“一旦我們準備好公共汽車監控系統解決方案，它就有可能真正看到曙光，政府可能確實會採用它。市政廳和我們大學在許多項目上密切合作，由於區塊鏈操作系統及其Optimistic Rollups技術能夠解決區塊鏈的可擴展性問題，我們還可以考慮在我們的應用程序中使用區塊鏈集成公交車票支付。
現在計算區塊鏈上的付款可能需要大約10 分鐘。買新房等10分鐘還可以，買公交車票要等10分鐘？那是絕對不行的。這就是Rollups技術必不可少的原因。 ”
想听聽基於區塊鏈操作系統的開發人員的更多故事嗎？查看系統軟件工程師Marcus 如何將機器學習引入區塊鏈：
關於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在此誠摯的邀請所有人，請和我們一起來到區塊鏈操作系統的世界，一起探索未來。
