This is a really great question. You are totally right to notice that on-chain
transactions are a difference between the real and ideal world and hence can
lead to distinguishability... this is something we're actively working on
clarifying for Sprites/SaUCy. To give a somewhat fuzzy answer of h
Hi Orfeas,
Thanks for formally modelling lightning and posting your paper here. I've
taken a brief look at the paper so far. I am a UC novice and have no
academic background so please take that into account when interpreting my
comments. In general, I am glad that you are taking the approach to mo
Hi all,
The promise for fast, scalable, user-friendly and trustless use of
bitcoin that the Lightning Network offers motivated us to author a paper
where we formalize LN in the cryptographic framework of Universal
Composition and prove its security. It can be found here:
https://eprint.iacr.org/20