在过去的十年中，用于计算的密码技术发展迅速。在很大程度上，由于去中心化加密货币和区块链的兴起，许多先进技术在实际应用中越来越受关注。

广泛使用高级密码技术的主要障碍是对分布式密码系统进行编程需要程序员成为熟练的密码学家。因此，挑战不仅包括性能，还包括可用性和实际部署：如何在没有专用密码学家的情况下部署这些技术。

加州大学圣克鲁斯分校的研究人员将与IBM Research和其他三个机构(康奈尔大学，俄勒冈州立大学以及伊利诺伊大学香槟分校)合作，通过名为PASCAL：安全的编程体系结构的项目来克服这一挑战。密码应用。

这项耗资1470万美元的项目由情报高级研究计划活动(IARPA)通过其具有降低开销的同态加密计算技术(HECTOR)计划提供资金。

该项目的研究人员表示，PASCAL将通过对现有和新密码工具的可用实施，建立用于指定和说明这些工具属性所需的构造和元数据的编程语言，以及实现高密码率的系统，来实现高级密码技术的广泛部署。使用元数据来根据需要部署加密工具的高级编译器和开发工具。

该项目的关键组成部分是一种称为Blaze的新编程语言，它提供了高级编程模型，用于使用高级加密机制构建安全的分布式应用程序。Blaze是该项目的关键，它允许非专家程序员利用底层的加密工具。

UCSC计算机科学与工程学助理教授Owen Arden将领导Blaze的设计，规范和实现。Arden是基于语言的安全性方法专家，并且被认为是将安全类型的编程语言应用于分布式编程的先驱。2018年，他获得了美国国家科学基金会(National Science Foundation)颁发的为期五年，50万美元的职业奖，以研究一种基于语言的方法来构建本质上安全的去中心化应用程序(请参阅新闻报道)。

“为安全机制找到良好的编程抽象是非常具有挑战性的，” Arden说。“没有它们，程序员往往会坚持熟悉的方法，或者更糟的是，错误地使用了新的机制。良好的抽象可以帮助他们将安全性集成到设计中，而不必强迫他们成为基础技术的专家。”

该项目的调查人员期望结果将包括“在没有专用密码学家的情况下实现在现实世界中部署密码的远见。”他们还期望该项目将导致新的编程语言和类型系统，用于指定和推理安全属性;丰富的加密库;从基本原语到复杂协议和特定应用的加密技术和算法的进步;并推动了区块链作为加密平台的理论和实践的发展。