Financial Cryptography and Data Security. FC 2022 International Workshops: Codecfin, Defi, Voting, Wtsc, Grenada, Grenada, May 2-6, 2022, Revised Sele

ISBN-13: 9783031324147 / Angielski

Shin'ichiro Matsuo; Lewis Gudgeon; Ariah Klages-Mundt

Spis treści

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” protocols: 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) Protocols.- 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 Protocol 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 and future 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.- Protocol-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.