cover_image

【論文速遞】FC'25

Kurt Pan XPTY
2025年04月13日 21:54

Financial Cryptography and Data Security 2025

https://fc25.ifca.ai/program.html

14–18 April 2025

Layer 2

  • A Formally Verified Lightning Network https://fc25.ifca.ai/preproceedings/63.pdf Grzegorz Fabiański (University of Warsaw), Rafał Stefański (University of Warsaw), Orfeas Stefanos Thyfronitis Litos (Imperial College London & Common Prefix)

  • Strengthening Multi-hop Channels via Strategic Mesh Connections https://fc25.ifca.ai/preproceedings/269.pdf Shuyang Tang (Shanghai Jiao Tong University), Sherman S. M. Chow (The Chinese University of Hong Kong)

  • IvyAPC: Auditable Generalized Payment Channels https://fc25.ifca.ai/preproceedings/277.pdf Ming Li (Jinan University), Yuxian Li (School of Computing & Information Systems, Singapore Management University), Jian Weng (Jinan University), Yingjiu Li (University of Oregon), Jiasi Weng (Jinan University), Junzuo Lai (Jinan University), Robert H. Deng (School of Computing & Information Systems, Singapore Management University)

  • A Framework for Transaction Posting and Pricing for Layer 2 Blockchains https://fc25.ifca.ai/preproceedings/319.pdf Shouqiao Wang (Columbia University), Davide Crapis (Ethereum Foundation), Ciamac Moallemi (Columbia University)

  • X-Transfer: Enabling and Optimizing Cross-PCN Transactions https://fc25.ifca.ai/preproceedings/168.pdf Lukas Aumayr (University of Edinburgh & Common Prefix), Zeta Avarikioti (TU Wien & Common Prefix), Iosif Salem (TU Berlin & ZeroPoint Technologies), Stefan Schmid (TU Berlin), Michelle Yeo (National University of Singapore)

DeFi

  • am-AMM: An Auction-Managed Automated Market Maker https://fc25.ifca.ai/preproceedings/183.pdf Austin Adams (Whetstone Research), Ciamac Moallemi (Columbia University), Sara Reynolds (Uniswap Labs), Dan Robinson (Paradigm)

  • The Case of FBA as a DEX Processing Model https://fc25.ifca.ai/preproceedings/266.pdf Tiantian Gong (Purdue University), Zeyu Liu (Yale University), Aniket Kate (Purdue University)

  • Securely Computing One-Sided Matching Markets https://fc25.ifca.ai/preproceedings/209.pdf James Hsin-yu Chiang (Aarhus University), Ivan Damgård (Aarhus University), Claudio Orlandi (Aarhus University), Mahak Pancholi (IMDEA Software Institute), Mark Simkin (Independent Researcher)

  • Robust Double Auctions for Resource Allocation https://fc25.ifca.ai/preproceedings/174.pdf Arthur Lazzaretti (Yale University), Charalampos Papamanthou (Yale University & Lagrange Labs), Ismael Hishon-Rezaizadeh (Lagrange Labs)

Zero-knowledge and its Applications

  • Verifying Jolt zkVM Lookup Semantics https://fc25.ifca.ai/preproceedings/39.pdf Carl Kwan (The University of Texas at Austin), Quang Dao (Carnegie Mellon University), Justin Thaler (a16z crypto research & Georgetown University)

  • Prooφ: A ZKP Market Mechanism https://fc25.ifca.ai/preproceedings/156.pdf Wenhao Wang (Yale University), Lulu Zhou (Yale University), Aviv Yaish (Yale University), Fan Zhang (Yale University), Ben Fisch (Yale University), Benjamin Livshits (Imperial College London)

  • SoK: Trusted setups for powers-of-tau strings https://fc25.ifca.ai/preproceedings/159.pdf Faxing Wang (University of Melbourne), Shaanan Cohney (University of Melbourne), Joseph Bonneau (New York University)

  • Short Paper: Curve Forests: Transparent Zero-Knowledge Set Membership with Batching and Strong Security https://fc25.ifca.ai/preproceedings/242.pdf Matteo Campanelli (Offchain Labs), Matthias Hall-Andersen (ZKSecurity), Simon Holmgaard Kamp (CISPA Helmholtz Center for Information Security)

Modeling Bitcoin and Incentives

  • A Composability Treatment of Bitcoin's Transaction Ledger with Variable Difficulty https://fc25.ifca.ai/preproceedings/251.pdf Juan Garay (Texas A&M University), Yun Lu (University of Victoria), Julien Prat (Ecole Polytechnique), Brady Testa (Texas A&M University), Vassilis Zikas (Georgia Tech)

  • Rapidash: Atomic Swaps Secure under User-Miner Collusion https://fc25.ifca.ai/preproceedings/126.pdf Hao Chung (Carnegie Mellon University), Elisaweta Masserova (Carnegie Mellon University), Elaine Shi (Carnegie Mellon University), Sri AravindaKrishnan Thyagarajan (University of Sydney)

  • Serial Monopoly on Blockchains with Quasi-patient Users https://fc25.ifca.ai/preproceedings/48.pdf Paolo Penna (IOG), Manvir Schneider (Cardano Foundation)

Efficient Blockchains

  • Pilotfish: Distributed Execution for Scalable Blockchains https://fc25.ifca.ai/preproceedings/61.pdf Quentin Kniep (ETH Zurich), Lefteris Kokoris Kogias (Mysten Labs), Alberto Sonnino (Mysten Labs & University College London), Igor Zablotchi (Mysten Labs), Nuda Zhang (University of Michigan)

  • Anthemius: Efficient & Modular Block Assembly for Concurrent Execution https://fc25.ifca.ai/preproceedings/115.pdf Ray Neiheiser (IST Austria), Lefteris Kokoris Kogias (Mysten Labs)

Broadcast

  • Communication and Round Efficient Parallel Broadcast Protocols https://fc25.ifca.ai/preproceedings/99.pdf Nibesh Shrestha (Supra Research), Ittai Abraham (Intel Labs), Kartik Nayak (Duke University)

  • Towards Optimal Parallel Broadcast under a Dishonest Majority https://fc25.ifca.ai/preproceedings/225.pdf Daniel Collins (Purdue University & Georgia Tech), Sisi Duan (Tsinghua University), Julian Loss (CISPA Helmholtz Center for Information Security), Charalampos Papamanthou (Yale University), Giorgos Tsimos (University of Maryland, College Park), Haochen Wang (Tsinghua University)

Encryption and its Applications

  • Overlapped Bootstrapping for FHEW/TFHE and Its Application to SHA3 https://fc25.ifca.ai/preproceedings/289.pdf Deokhwa Hong (Inha University), Youngjin Choi (Inha University), Yongwoo Lee (Inha University), Young-Sik Kim (Daegu Gyeongbuk Institute of Science and Technology)

  • Lixom: Protecting Encryption Keys with Execute-Only Memory https://fc25.ifca.ai/preproceedings/10.pdf Tristan Hornetz (CISPA Helmholtz Center for Information Security), Lukas Gerlach (CISPA Helmholtz Center for Information Security), Michael Schwarz (CISPA Helmholtz Center for Information Security)

  • Leveraging Homomorphic Encryption for Maximally Extractable Value (MEV) Mitigation: Enabling Blind Arbitrage on Decentralised Exchanges https://fc25.ifca.ai/preproceedings/238.pdf Jonathan Passerat-Palmbach (Flashbots & Imperial College London)

MEV

  • Piercing the Veil of TVL: DeFi Reappraised https://fc25.ifca.ai/preproceedings/94.pdf Yichen Luo (University College London), Yebo Feng (Nanyang Technological University), Jiahua Xu (University College London), Paolo Tasca (University College London)

  • Transaction Fee Mechanism Design for Leaderless Blockchain Protocols https://fc25.ifca.ai/preproceedings/223.pdf Pranav Garimidi (a16z crypto), Lioba Heimbach (ETH Zurich), Tim Roughgarden (Columbia University & a16z crypto)

  • Seahorse: Efficiently Mixing Encrypted and Normal Transactions https://fc25.ifca.ai/preproceedings/127.pdf Ben Riva (Mysten Labs), Alberto Sonnino (Mysten Labs & University College London), Lefteris Kokoris-Kogias (Mysten Labs)

  • The Early Days of the Ethereum Blob Fee Market and Lessons Learnt https://fc25.ifca.ai/preproceedings/101.pdf Lioba Heimbach (ETH Zurich), Jason Milionis (Columbia University)

  • Quantifying the Value of Revert Protection https://fc25.ifca.ai/preproceedings/243.pdf Brian Zhu (Columbia University), Xin Wan (Uniswap Labs), Ciamac Moallemi (Columbia University), Dan Robinson (Paradigm), Brad Bachu (Uniswap Labs)

Consensus

  • Frosty: Bringing strong liveness guarantees to the Snow family of consensus protocols https://fc25.ifca.ai/preproceedings/42.pdf Andrew Lewis-Pye (London School of Economics), Aaron Buchwald (Ava Labs), Stephen Buttolph (Ava Labs), Patrick O'Grady (Ava Labs), Kevin Sekniqi (Ava Labs)

  • Consensus Under Adversary Majority Done Right https://fc25.ifca.ai/preproceedings/121.pdf Srivatsan Sridhar (Stanford University), Ertem Nusret Tas (Stanford University), Joachim Neu (a16z Crypto Research), Dionysis Zindros (Stanford University & Common Prefix), David Tse (Stanford University)

  • On the (in)security of Proofs-of-Space based Longest-Chain Blockchains https://fc25.ifca.ai/preproceedings/294.pdf Krzysztof Pietrzak (Institute of Science and Technology Austria), Mirza Ahad Baig (Institute of Science and Technology Austria)

  • Constellation: Peer-to-Peer Overlays for Federated Byzantine Agreement Systems https://fc25.ifca.ai/preproceedings/280.pdf Giuliano Losa (Stellar Development Foundation), Yifan Mao (Ohio State University), Shaileshh Bojja Venkatakrishnan (Ohio State University), Yunqi Zhang (Ohio State University)

  • Short Paper: A New Way to Achieve Round-Efficient Asynchronous Byzantine Agreement https://fc25.ifca.ai/preproceedings/241.pdf Simon Holmgaard Kamp (CISPA Helmholtz Center for Information Security)

Proof-of-X and Rewards

  • Blink: An Optimal Proof of Proof-of-Work https://fc25.ifca.ai/preproceedings/142.pdf Lukas Aumayr (University of Edinburgh & Common Prefix), Zeta Avarikioti (TU Wien & Common Prefix), Matteo Maffei (TU Wien), Giulia Scaffino (TU Wien & Common Prefix), Dionysis Zindros (Stanford University & Common Prefix)

  • Reward Schemes and Committee Sizes in Proof of Stake Governance https://fc25.ifca.ai/preproceedings/257.pdf Georgios Birmpas (University of Liverpool), Philip Lazos (IOG), Evangelos Markakis (Athens University of Economics and Business), Paolo Penna (IOG)

  • Mining Power Destruction Attacks in the Presence of Petty-Compliant Mining Pools https://fc25.ifca.ai/preproceedings/286.pdf Roozbeh Sarenche (COSIC, KU Leuven), Svetla Nikova (COSIC, KU Leuven), Bart Preneel (COSIC, KU Leuven)

  • A theoretical basis for MEV https://fc25.ifca.ai/preproceedings/317.pdf Massimo Bartoletti (University of Cagliari), Roberto Zunino (University of Trento)

  • Short Paper: Rewardable Naysayer Proofs https://fc25.ifca.ai/preproceedings/211.pdf Gennaro Avitabile (IMDEA Software Institute), Luisa Siniscalchi (Technical University of Denmark), Ivan Visconti (La Sapienza University of Rome)

Signatures and Threshold Cryptography

  • Verification-efficient Homomorphic Signatures for Verifiable Computation over Data Streams https://fc25.ifca.ai/preproceedings/200.pdf Gaspard Anthoine (IMDEA Software Institute, Universidad Politécnica de Madrid), Daniele Cozzo (IMDEA Software Institute), Dario Fiore (IMDEA Software Institute)

  • Rational Secret Sharing with Competition https://fc25.ifca.ai/preproceedings/275.pdf Tiantian Gong (Purdue University), Zeyu Liu (Yale University)

  • The Latency Price of Threshold Cryptosystem in Blockchains https://fc25.ifca.ai/preproceedings/37.pdf Zhuolun Xiang (Aptos Labs), Sourav Das (University of Illinois Urbana-Champaign), Zekun Li (Aptos Labs), Zhoujun Ma (Aptos Labs), Alexander Spiegelman (Aptos Labs)

  • On Non-Interactive Blind Signatures in the Plain Model using Complexity Leveraging https://fc25.ifca.ai/preproceedings/59.pdf Kazuki Yamamura (NTT Social Informatics Laboratories), Tetsuya Okuda (NTT Social Informatics Laboratories), Eiichiro Fujisaki (Japan Advanced Institute of Science and Technology)

  • Do Compilers Break Constant-time Guarantees? https://fc25.ifca.ai/preproceedings/13.pdf Lukas Gerlach (CISPA Helmholtz Center for Information Security), Robert Pietsch (Saarland University), Michael Schwarz (CISPA Helmholtz Center for Information Security)

Machine Learning

  • PrivGNN: High-Performance Secure Inference for Cryptographic Graph Neural Networks https://fc25.ifca.ai/preproceedings/281.pdf Fuyi Wang (Deakin University), Zekai Chen (Fuzhou University), Mingyuan Fan (East China Normal University), Jianying Zhou (Singapore University of Technology and Design), Lei Pan (Deakin University), Leo Yu Zhang (Griffith University)

  • Linking Cryptoasset Attribution Tags to Knowledge Graph Entities: An LLM-based Approach https://fc25.ifca.ai/preproceedings/74.pdf Regnier Avice (University of Technology Sydney), Bernhard Haslhofer (Complexity Science Hub), Zhidong Li (University of Technology Sydney), Jianlong Zhou (University of Technology Sydney)

  • CCBNet: Confidential Collaborative Bayesian Networks Inference https://fc25.ifca.ai/preproceedings/129.pdf Abele Mălan (Université de Neuchâtel), Thiago Guzella (ASML), Jérémie Decouchant (Delft University of Technology), Lydia Chen (Université de Neuchâtel)