# Arantxa Zapico > 以太坊基金会密码学研究员 Arantxa Zapico 专注于零知识证明和区块链可扩展性的代数技术，拥有完整的... - Canonical URL: https://iq.wiki/zh/wiki/arantxa-zapico - Categories: People in crypto - Tags: Developer - Created: 2026-01-25T22:26:44.527Z - Last updated: 2026-01-25T22:30:10.121Z - Source: IQ.wiki — the world's largest blockchain and crypto encyclopedia (https://iq.wiki) --- **Arantxa Zapico** 是[以太坊基金会](https://iq.wiki/wiki/ethereum-foundation-ef)的密码学研究员，其工作重点是通用简洁论证的代数技术。她的研究对于零知识证明（[SNARKs](https://iq.wiki/wiki/zk-snark)）及其在[区块链](https://iq.wiki/wiki/blockchain)可扩展性中的应用至关重要。[\[1\]](#cite-id-QbANKxK0Abp8Yvym)​ ## 教育 Zapico 于 2022 年 10 月在西班牙巴塞罗那的庞培法布拉大学获得博士学位。她的论文题为 *通用简洁论证的代数技术*，由 Carla Ràfols 教授和 Vanesa Daza 教授指导完成。她的博士研究得到了重要奖学金的支持；前三年由 La Caixa [基金会](https://iq.wiki/wiki/foundation)和欧盟的 Marie Skłodowska-Curie + INPhINIT 奖学金资助，最后一年由 Protocol Labs 的奖学金资助。[\[1\]](#cite-id-QbANKxK0Abp8Yvym)​ 在攻读博士学位之前，Zapico 于 2017 年毕业于阿根廷科尔多瓦国立大学，获得数学执照。该学位相当于理学学士和理学硕士的结合。在她的本科课程期间，她还在 2015 年在苏格兰斯特灵大学留学了一个学期。[\[1\]](#cite-id-QbANKxK0Abp8Yvym)​ ## 职业生涯 2022 年底，在完成博士学位后，Arantxa Zapico 开始在[以太坊基金会](https://iq.wiki/wiki/ethereum-foundation-ef)担任全职密码学研究员。在这个职位上，她从事与 [以太坊](https://iq.wiki/wiki/ethereum) 生态系统相关的密码学研究。在此全职工作之前，她曾在该基金会担任研究实习生，时间从 2022 年 1 月到 4 月，在此期间，她在密码学家 Mary Maller 的指导下工作。在开始攻读博士学位之前，Zapico 在澳大利亚生活了一年，主要从事酒店业工作。[\[1\]](#cite-id-QbANKxK0Abp8Yvym)​ ## 教学和指导 自本科学习以来，Zapico 一直参与多所大学的学术教学和指导工作。她曾担任数学、计算机科学和密码学等各种课程的助教，并指导过硕士生。[\[3\]](#cite-id-pVEaKFcpVWkfSZrP) ### 助教经历 Zapico 的助教经验涵盖多个机构和学科：[\[3\]](#cite-id-pVEaKFcpVWkfSZrP) * **科尔多瓦国立大学（本科后）：** * 算法和数据结构（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\]](#cite-id-pVEaKFcpVWkfSZrP) ## 研究和出版物 Zapico 的研究集中在简洁非交互式知识论证（[SNARKs](https://iq.wiki/wiki/zk-snark)）的理论和应用方面，特别关注通用和可更新的证明系统。她的工作旨在创建更高效、更灵活的零知识协议。她的主要合作者包括她的博士生导师 Carla Ràfols 和 Vanesa Daza，以及 [以太坊](https://iq.wiki/wiki/ethereum)[基金会](https://iq.wiki/wiki/foundation)的 Mary Maller。[\[1\]](#cite-id-QbANKxK0Abp8Yvym)​ ### 通用和可更新 SNARK 的代数框架 在 2021 年担任庞培法布拉大学的博士候选人期间，Zapico 与她的导师 Carla Ràfols 合着了论文“通用和可更新 SNARK 的代数框架”。该作品发表在 IACR 密码学电子印刷档案中，并在 CRYPTO 2021 会议上发表。[\[2\]](#cite-id-kjfUD9M7rNvyv9hY)​ 该论文的主要贡献是引入了一种名为可检查子空间采样 (CSS) 论证的新型信息论交互式证明系统。该系统提供了一个统一的技术核心，有助于解释和模块化设计大多数基于配对的通用和可更新 SNARK。该框架提供了一种清晰的代数方法来创建和分析新的 SNARK 结构。[\[2\]](#cite-id-kjfUD9M7rNvyv9hY)​ ### Basilisk SNARK 作为其代数框架的直接应用，Zapico 和 Ràfols 提出了一种名为 **Basilisk** 的新 SNARK 结构。在发布时，Basilisk 因实现了其 SNARK 类中最小的证明大小之一而闻名。这种证明大小的效率是以权衡为代价的，因为系统所需的结构化参考字符串 (SRS) 的大小会随着被证明电路中某些类型的乘法门的数量而缩放。[\[2\]](#cite-id-kjfUD9M7rNvyv9hY)