随着区块链技术的应用远远超出我们的想象，实施去中心化系统的好处显而易见，这对于全球经济而言是不容忽视的。支付巨头Visa最近宣布与Circle Internet Financial合作，Circle Internet Financial是基于以太坊区块链的美元硬币（USDC）背后的初创公司，全球范围内采用区块链基础设施似乎有望早日实现。
研究与开发在技术进步中发挥着核心作用，毫不奇怪，无数的时间和人力资源投入到了未来的创新中。 Cartesi是一个通过第2层Optimistic Rollups解决方案将主流软件引入智能合约的项目，上周宣布与里约热内卢国家数学和应用数学研究所（Instituto Nacional deMatemáticaPura e Aplicada）正式合作。这次激动人心的合作将使世界上最专业的的团队共同致力于与去中心化系统等相关的未来解决方案。
为智能合约创造可访问性更高未来
Cartesi是一种去中心化和可扩展的基础架构，可释放由Linux支持的，与区块链技术一起使用的大量软件组件。作为区块链的第2层基础架构，Cartesi Machine使传统的和区块链的开发人员都可以使用主流软件堆栈和Linux OS资源编写智能合约。与IMPA的新近建立的合作伙伴关系将使有抱负的博士和装饰机构的专业人员为与区块链技术，智能合约和去中心化计算相关的现有和未来项目做出贡献，努力实现共同目标，以提高数百万人利用该行业尚未开发的潜力的可访问性世界各地的传统软件开发人员。
IMPA成立于1952年，与巴西科学，技术，创新，通信和教育部建立了联系，并被认为是数学界最杰出人士的故乡，其中包括2014年菲尔兹奖章获得者Artur Avila Cordeiro de Melo是一位公认的巴西数学家，主要研究动力系统和光谱理论。 IMPA的教师已经获得了许多国家和国际奖项，其中许多是巴西科学院以及外国科学院的成员，并在几所大学获得荣誉学位。
智能合约实验室
Cartesi将在巴西里约热内卢的IMPA总部开设专门的“智能合约实验室”，最初将由一名秘书和两名专业人员组成该实验室，但计划将来进一步扩大运营。 IMPA的研究人员中有很大一部分获得了CNPq（巴西国家科学技术发展委员会）的研究奖学金，许多人参与了巴西政府赞助的长期研究项目。
Cartesi的最终目标是在IMPA的实验室中举办专门的课程和课程，除Cartesi的技术本身外，还涵盖与区块链和去中心化计算相关的主题。这是该团队长期任务的一部分，该任务是建立从传统行业到区块链的桥梁，并为未来的软件开发人员，数学家和科学家提供有关区块链领域的广泛知识。
Cartesi团队近几个月来一直在努力与区块链行业内部和外部建立合作伙伴关系，与Elrond和Iota的合作，dApp孵化计划反映了他们不断努力推动智能合约的开发。