Tezos獎勵智能合約項目的國際撥款

Tezos基金會宣布，它們正在向日本著名的京都大學和來自法國的在線教育家Edukera頒發資助，以開發Tezo智能合約生態系統的各個方面。用於驗證合約的工具和新的特定領域合約語言是各個項目的目標。

我們很高興向@fos_kuis和@Edukera發放資助，以促進#Tezos智能合約生態系統的發展查看下面的公告，了解有關這些項目的更多信息.https://t.co/n4zjlWsE81

– Tezos基金（@TezosFoundation），2019年9月17日

5月，基金會的種子資助了Chorus Mobility通過自動駕駛汽車創建未來的交通網路，本月早些時候，他們為追求智能合約創新的公司提供了額外的14筆贈款，主要是在去中心化融資（DeFi）領域。

教育聯繫

這些最新的獎項符合Tezos基金會正在進行的一個過程，與研究和教育中心合作，堅持他們明確的目標，即通過尋求「……支持有影響力的研究工作」來適應「……來支持不斷變化的環境」。碩士和博士論文到成熟的學術中心和教育計劃……推動相關領域的界限，並賦予Tezos社區權力。「

京都大學被泰晤士報高等教育排名視為日本表現最好的大學，它正在尋求創建一種可訪問的開發工具，使用目前用於Tezos智能合約的邁克爾遜語來驗證智能合約。項目團隊將與該地區的另外兩個實體–DaiLambda Incorporated和Tezos Japan合作。

Edukera團隊的在線門戶網站為正式邏輯和數學教學提供資源，他們的任務是繼續開發一種名為Archetype的新Tezos智能合約語言，並簡要介紹如何更輕鬆地促進形式驗證。

Tezos在今年的巴黎區塊鏈會議上獲得了法國經濟和財政部長Bruno Le Maire的投票批准，據報道他提出Tezos「……克服了公共鏈條的已知缺陷……」