Financial Cryptography and Data Security. FC 2022 International Workshops: CoDecFin, DeFi, Voting, WTSC, Grenada, May 6, 2022, Revised Selected Papers

by Shin'ichiro Matsuo (Editor), Lewis Gudgeon (Editor), Ariah Klages-Mundt (Editor), Daniel Perez Hernandez (Editor), Sam Werner (Editor)

Overview

This book constitutes revised selected papers from the workshops that were affiliated with the 26th International Conference on Financial Cryptography and Data Security, FC 2022, which was held in Grenada during May 2022.

FC 2022 presents the following four workshops:

CoDecFin 2022: 3rd Workshop on Coordination of Decentralized Finance

DeFi 2022: 2nd Workshop on Decentralized Finance
Voting 2022: 7th Workshop on Advances in Secure Electronic Voting
WTSC 2022: 6th Workshop on Trusted Smart Contracts

Product Details

ISBN-13:	9783031324147
Publisher:	Springer International Publishing
Publication date:	07/22/2023
Series:	Lecture Notes in Computer Science , #13412
Edition description:	1st ed. 2023
Pages:	690
Product dimensions:	6.10(w) x 9.25(h) x (d)

Table of Contents

CoDecFin22.- Stakechains: A Bitcoin-backed Proof-of-Stake.- Drivers of Bitcoin Energy Use and Emissions.- Integrated Power Plant and Bitcoin Mining Economics.- Carbon-neutral bitcoin adoption for nation states.- Soundness of Stablecoins.- Estimating (Miner) Extractable Value is Hard, Let's Go Shopping!.- Explaining Proof Of Work in a classroom.- The compatibility of CBDCs with “DeFi” prools: a governance rather than a technological issue to comply with financial crime regulations.- Broken Proofs of Solvency in Blockchain Custodial Wallets and Exchanges.- Privacy-Preserving Post-Quantum Credentials for Digital Payments.- ZKFlow: Private Transactions in Corda with ZKP.- User-Perceived Privacy in Blockchain.- DeFi22.- A Short Survey on Business Models of Decentralized Finance (DeFi) Prools.- On-Chain Auctions with Deposits.- Beyond Staking: An Aphoristic design for Staking and Rewards.- The Case for Variable Fees in Constant Product Markets: An Agent Based Simulation.- An Empirical Study of Market Inefficiencies in Uniswap and SushiSwap.- SoK: Mitigation of Front-running in Decentralized Finance.- A Systematic Investigation of DeFi Compositions in Ethereum.- Privacy Preserving Decentralized Netting.- NFT Wash Trading: Quantifying suspicious behaviour in NFT markets.- Voting22.- Individual Verifiability and Revoting in the Estonian Internet Voting System.- Breaking and Fixing Vote Privacy of the Estonian E-Voting Prool IVXV.- German voters’ attitudes towards voting online with a verifiable system.- Simulations of Ballot Polling Risk-Limiting Audits.- Simulations of Ballot Polling Risk-Limiting Audits.- Short Paper: Verifiable Decryption for BGV.- RemoteVote and SAFE Vote: Towards Usable End-to-End Verification for Vote-by-Mail.- WTSC 2022.- (short summary: WTSC22 - Current andfuture trends).- Spark: Secure and Flexible Private Transactions.- Fides: A System for Verifiable Computation Using Smart Contracts.- Towards Smart Contract-based Verification of Anonymous Credentials.- Dispute-free Scalable Open Vote Network using zk-SNARKs.- Not All Code are Create2 Equal.- Not so immutable: Upgradeability of Smart Contracts on Ethereum.- Prool-based smart contract generation.- Distributed and Adversarial Resistant Workflow Execution on the Algorand Blockchain.- Experimenting with On-chain Order Books.- Experimenting with On-chain Order Books. -A Scalable Architecture for Electronic Payments.- UTS: the Universal Token Swapper.