Arantxa Zapico 是以太坊基金会的密码学研究员，其工作重点是通用简洁论证的代数技术。她的研究对于零知识证明（SNARKs）及其在区块链可扩展性中的应用至关重要。^[1]​

教育

Zapico 于 2022 年 10 月在西班牙巴塞罗那的庞培法布拉大学获得博士学位。她的论文题为 通用简洁论证的代数技术，由 Carla Ràfols 教授和 Vanesa Daza 教授指导完成。她的博士研究得到了重要奖学金的支持；前三年由 La Caixa 基金会和欧盟的 Marie Skłodowska-Curie + INPhINIT 奖学金资助，最后一年由 Protocol Labs 的奖学金资助。^[1]​

在攻读博士学位之前，Zapico 于 2017 年毕业于阿根廷科尔多瓦国立大学，获得数学执照。该学位相当于理学学士和理学硕士的结合。在她的本科课程期间，她还在 2015 年在苏格兰斯特灵大学留学了一个学期。^[1]​

职业生涯

2022 年底，在完成博士学位后，Arantxa Zapico 开始在以太坊基金会担任全职密码学研究员。在这个职位上，她从事与 以太坊 生态系统相关的密码学研究。在此全职工作之前，她曾在该基金会担任研究实习生，时间从 2022 年 1 月到 4 月，在此期间，她在密码学家 Mary Maller 的指导下工作。在开始攻读博士学位之前，Zapico 在澳大利亚生活了一年，主要从事酒店业工作。^[1]​

教学和指导

自本科学习以来，Zapico 一直参与多所大学的学术教学和指导工作。她曾担任数学、计算机科学和密码学等各种课程的助教，并指导过硕士生。^[3]

助教经历

Zapico 的助教经验涵盖多个机构和学科：^[3]

• 科尔多瓦国立大学（本科后）：
  • 算法和数据结构（2024 年 7 月 – 2025 年 7 月）
  • 算法导论（2023 年 8 月 – 2024 年 7 月）
  • 算法和数据结构（2023 年 5 月 – 2023 年 7 月）
• 巴塞罗那庞培法布拉大学：
  • 线性代数（2022 年 1 月 – 2022 年 3 月）
  • 离散数学（2020 年 10 月 – 2020 年 12 月）
  • 密码学（2020 年 1 月 – 2020 年 3 月）
• 科尔多瓦国立大学（本科）：
  • 线性代数（2017 年 8 月 – 2017 年 12 月）
  • 离散数学（2017 年 3 月 – 2017 年 7 月）
  • 微积分 II（2015 年 7 月 – 2016 年 3 月）

学生指导

在科尔多瓦国立大学，Zapico 还通过指导硕士生（包括 Sebastián Giraudo 和 Lucas Cardacci）承担了指导角色。^[3]

研究和出版物

Zapico 的研究集中在简洁非交互式知识论证（SNARKs）的理论和应用方面，特别关注通用和可更新的证明系统。她的工作旨在创建更高效、更灵活的零知识协议。她的主要合作者包括她的博士生导师 Carla Ràfols 和 Vanesa Daza，以及 以太坊基金会的 Mary Maller。^[1]​

通用和可更新 SNARK 的代数框架

在 2021 年担任庞培法布拉大学的博士候选人期间，Zapico 与她的导师 Carla Ràfols 合着了论文“通用和可更新 SNARK 的代数框架”。该作品发表在 IACR 密码学电子印刷档案中，并在 CRYPTO 2021 会议上发表。^[2]​

该论文的主要贡献是引入了一种名为可检查子空间采样 (CSS) 论证的新型信息论交互式证明系统。该系统提供了一个统一的技术核心，有助于解释和模块化设计大多数基于配对的通用和可更新 SNARK。该框架提供了一种清晰的代数方法来创建和分析新的 SNARK 结构。^[2]​

Basilisk SNARK

作为其代数框架的直接应用，Zapico 和 Ràfols 提出了一种名为 Basilisk 的新 SNARK 结构。在发布时，Basilisk 因实现了其 SNARK 类中最小的证明大小之一而闻名。这种证明大小的效率是以权衡为代价的，因为系统所需的结构化参考字符串 (SRS) 的大小会随着被证明电路中某些类型的乘法门的数量而缩放。^[2]