📅 Original date posted:2019-07-10
📝 Original message:
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/2019/778
We believe that a formal proof of security was needed to specify the
exact operating parameters that safeguard the funds and transactions of
users against arbitrary attackers, to abstract, modularize and validate
the underlying cryptography that is used in LN, to incorporate LN in the
body of cryptographic protocols that have been abstracted within the
Universal Composition framework (and thus can be safely composed and run
in parallel) and to increase the trust of the wider community to LN. We
view this work as a small contribution to the amazing effort that the
Lightning community has expended both on the theoretical and the
practical front throughout the last years.
The paper is authored by my PhD supervisor Prof. Aggelos Kiayias and me.
Any feedback will be greatly appreciated.
Best regards,
Orfeas Stefanos Thyfronitis Litos
--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
Orfeas Stefanos Thyfronitis Litos [ARCHIVE] /
npub1h9…9dv32
2023-06-09 12:55:26
in reply to nevent1q…edfg
Author Public Key
npub1h9v94vzhwug6qdxzldyy8vfg4vyxhftwqhalec5vjwr8hfx0fnzst9dv32Published at
2023-06-09 12:55:26Event JSON
{
"id": "dd8c331dd5f1ef01f62ae9a1ee94850850982e6d00929ea736196ef8ff9093eb",
"pubkey": "b9585ab0577711a034c2fb4843b128ab086ba56e05fbfce28c93867ba4cf4cc5",
"created_at": 1686315326,
"kind": 1,
"tags": [
[
"e",
"4e26d14e6698aeb2e2f2b09a63ffaffcc7a4fe141d58ef8442c8164962f2429d",
"",
"reply"
],
[
"p",
"9456f7acb763eaab2e02bd8e60cf17df74f352c2ae579dce1f1dd25c95dd611c"
]
],
"content": "📅 Original date posted:2019-07-10\n📝 Original message:\nHi all,\n\nThe promise for fast, scalable, user-friendly and trustless use of\nbitcoin that the Lightning Network offers motivated us to author a paper\nwhere we formalize LN in the cryptographic framework of Universal\nComposition and prove its security. It can be found here:\nhttps://eprint.iacr.org/2019/778\n\nWe believe that a formal proof of security was needed to specify the\nexact operating parameters that safeguard the funds and transactions of\nusers against arbitrary attackers, to abstract, modularize and validate\nthe underlying cryptography that is used in LN, to incorporate LN in the\nbody of cryptographic protocols that have been abstracted within the\nUniversal Composition framework (and thus can be safely composed and run\nin parallel) and to increase the trust of the wider community to LN. We\nview this work as a small contribution to the amazing effort that the\nLightning community has expended both on the theoretical and the\npractical front throughout the last years.\n\nThe paper is authored by my PhD supervisor Prof. Aggelos Kiayias and me.\nAny feedback will be greatly appreciated.\n\nBest regards,\nOrfeas Stefanos Thyfronitis Litos\n\n-- \nThe University of Edinburgh is a charitable body, registered in\nScotland, with registration number SC005336.",
"sig": "5dd04ccb511785e46daeeb7deda297b98b5c565f5c4299f2630e3d93f0a49e9d65ed627feb4332eefa1062e6f2d2e1eb1fb70413549b04d62834148c4cf0f6a1"
}