**아란차 자피코(Arantxa Zapico)**는 이더리움 재단(Ethereum Foundation)의 암호학 연구원으로, 그녀의 연구는 범용 간결 논증을 위한 대수적 기술에 중점을 두고 있습니다. 그녀의 연구는 영지식 증명(SNARK) 개발과 블록체인 확장성 적용에 핵심적입니다. ^[1]

교육

자피코는 2022년 10월 스페인 바르셀로나의 폼페우 파브라 대학교에서 박사 학위를 받았습니다. 그녀의 박사 논문 제목은 *범용 간결 논증을 위한 대수적 기술(Algebraic Techniques for Universal Succinct Arguments)*이며, Carla Ràfols 교수와 Vanesa Daza 교수의 지도하에 완성되었습니다. 그녀의 박사 과정은 상당한 장학금 지원을 받았습니다. 처음 3년은 La Caixa 재단과 유럽 연합의 Marie Skłodowska-Curie + INPhINIT 장학금으로, 마지막 해는 Protocol Labs의 장학금으로 지원받았습니다. ^[1]

박사 과정 이전에는 2017년 아르헨티나 코르도바 국립대학교에서 수학 학사 학위를 취득했습니다. 이 학위는 이학 학사 및 이학 석사 학위를 합친 것과 같습니다. 학부 과정 동안 2015년 스코틀랜드 스털링 대학교에서 한 학기 동안 해외 유학을 했습니다. ^[1]

경력

2022년 말, 박사 학위를 마친 후 아란차 자피코는 이더리움 재단(Ethereum Foundation)의 암호학 연구원으로 정규직을 시작했습니다. 이 직책에서 그녀는 이더리움 생태계와 관련된 암호학 연구를 수행합니다. 그녀의 정규직 고용은 2022년 1월부터 4월까지 재단에서 진행한 연구 인턴십에 이은 것으로, 이 기간 동안 암호학자 Mary Maller의 지도하에 연구했습니다. 박사 과정을 시작하기 전, 자피코는 호주에서 1년 동안 거주하며 주로 서비스업에 종사했습니다. ^[1]

교육 및 멘토링

자피코는 학부 시절부터 여러 대학에서 학문적 교육 및 멘토링 역할을 수행해 왔습니다. 그녀는 수학, 컴퓨터 과학 및 암호학 분야의 다양한 강좌에서 조교로 활동했으며, 석사 학생들을 지도하기도 했습니다. ^[3]

조교 경력

자피코의 조교 경험은 여러 기관과 과목에 걸쳐 있습니다. ^[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월)

학생 지도

코르도바 국립대학교에서 자피코는 Sebastián Giraudo와 Lucas Cardacci를 포함한 석사 학생들을 지도하며 멘토링 역할을 수행했습니다. ^[3]

연구 및 출판물

자피코의 연구는 지식에 대한 간결한 비대화형 논증(SNARK)의 이론적 및 응용적 측면에 집중되어 있으며, 특히 범용 및 업데이트 가능한 증명 시스템에 중점을 두고 있습니다. 그녀의 연구는 보다 효율적이고 유연한 영지식 프로토콜을 만드는 것을 목표로 합니다. 그녀의 주요 협력자는 박사 지도 교수인 Carla Ràfols와 Vanesa Daza, 그리고 이더리움 재단의 Mary Maller입니다. ^[1]

범용 및 업데이트 가능한 SNARK를 위한 대수적 프레임워크

2021년 폼페우 파브라 대학교 박사 과정 후보였던 자피코는 지도 교수인 Carla Ràfols와 함께 "범용 및 업데이트 가능한 SNARK를 위한 대수적 프레임워크(An Algebraic Framework for Universal and Updatable SNARKs)"라는 논문을 공동 저술했습니다. 이 연구는 IACR Cryptology ePrint Archive에 게재되었으며 CRYPTO 2021 컨퍼런스에서 발표되었습니다. ^[2]

이 논문의 주요 기여는 Checkable Subspace Sampling (CSS) Arguments라는 새로운 정보 이론적 대화형 증명 시스템을 도입한 것입니다. 이 시스템은 대부분의 범용 및 업데이트 가능한 페어링 기반 SNARK를 설명하고 모듈식으로 설계하는 데 도움이 되는 통합 기술 코어를 제공합니다. 이 프레임워크는 새로운 SNARK 구성을 만들고 분석하기 위한 명확한 대수적 방법을 제공합니다. ^[2]

바실리스크 SNARK

자피코와 Ràfols는 대수적 프레임워크의 직접적인 응용으로 **바실리스크(Basilisk)**라는 새로운 SNARK 구성을 제안했습니다. 출판 당시 바실리스크는 해당 SNARK 클래스에서 가장 작은 증명 크기를 달성한 것으로 알려졌습니다. 이러한 증명 크기의 효율성은 시스템에서 요구하는 구조화된 참조 문자열(SRS)의 크기가 증명되는 회로에서 특정 유형의 곱셈 게이트 수에 따라 확장된다는 절충점을 가지고 있습니다. ^[2]