3 papers
cs.CR2025
Combating Reentrancy Bugs on Sharded Blockchains
Roman Kashitsyn, Robin Künzler, Ognjen Marić +1
Reentrancy is a well-known source of smart contract bugs on Ethereum, leading e.g. to double-spending vulnerabilities in DeFi applications. But less is known about this problem in…
cs.CC2013
A New View on Worst-Case to Average-Case Reductions for NP Problems
Thomas Holenstein, Robin Künzler
We study the result by Bogdanov and Trevisan (FOCS, 2003), who show that under reasonable assumptions, there is no non-adaptive worst-case to average-case reduction that bases the…
cs.CC2013
A Protocol for Generating Random Elements with their Probabilities
Thomas Holenstein, Robin Künzler
We give an AM protocol that allows the verifier to sample elements x from a probability distribution P, which is held by the prover. If the prover is honest, the verifier outputs (…