szhbsd 
https://medium.com/concordium/the-devx-initiative-by-concordium-f0e2550f8bc3
Concordium正在启动DevX计划，以回馈Rust开发者生态系统并推动开发者的采用。除其他事项外，Concordium将开发一个框架，用于在Rust中正式验证智能合约。
Concordium是一个区块链，可为协议级身份管理和零知识证明提供集成解决方案，最近宣布了其新的DevX计划。 这将为希望在Rust生态系统中成长的开发人员提供支持。 该举措是由Concordium的Rust Smart Contract平台的发布所推动的。
为了实现其目标，DevX计划将提供一个Web平台，向可为整个Rust生态系统带来好处的板条箱提供代码，并举办研讨会，黑客马拉松，游戏果酱和聚会，以帮助人们学习Rust。 作为其一部分，目标是与植根于互惠原则的Rust社区进行动态而实用的对话。
互惠作为原则并不意味着有交换条件。 DevX Initiative希望通过与语言的授权核心目标保持一致来成为Rust社区的一部分。
DevX Initiative的目标是与授权的语言核心目标保持一致，从而成为Rust社区的一部分。 我们申明，要“获得”，您必须首先“给予”。 Concordium希望加强Rust社区并支持编程语言的增长和采用，这也是Concordium商业成功的一部分。 Concordium的DevX Initiative希望为其研究人员和开发人员提供一个渠道，在其与Rust开发人员联系的同时，为Rust社区做出超出其商业兴趣的贡献。
最终，Concordium旨在弥合区块链空间与“常规”开发人员之间无处不在的鸿沟。 为了“给予帮助”，目标是做出可管理的，一致的贡献，从而对Rust生态系统产生积极影响。 Concordium团队说：“目标是在我们强大的领域做出有意义的贡献。”
在研究领域，来自COBRA的Bas Spitters教授及其团队将参与Rust生态系统，特别是在形式验证领域。 此外，还将在以下领域做出贡献：对Hacspec项目进行高度安全的密码代码生成研究，共享ConCert的详细信息以及智能合约的正式验证框架。
在接下来的几个月中，将发布详细的路线图，其中包括所有研讨会和黑客马拉松，以帮助人们学习Rust。 最后但并非最不重要的一点是，Concordium还宣布了一个YouTube频道的计划，其中包含Rust教程和Rust Interest Group会议的录音。
开发人员Web平台旨在“充当开发人员的终极基地”，寻求工具和资源，例如用于在Rust中开发智能合约的仿真器，以及提供拨款计划以资助和支持Rust生态系统中的项目，以及展示Concordium上的项目。
