jungly on Nostr: Verification of HotStuff BFT Consensus Protocol With TLA+/TLC in an Industrial ...
Published at
2025-02-23 06:43:38 UTCEvent JSON
{
"id": "3138a052565daa22d732e9db334a31725645e26fdd5e82d200e305c6b9487c37",
"pubkey": "33c8e961d628a494cdb37b9753d0c6d1ee7612cd020a412c9df7f38a766f457e",
"created_at": 1740293018,
"kind": 1,
"tags": [
[
"t",
"readings"
]
],
"content": "Verification of HotStuff BFT Consensus\nProtocol With TLA+/TLC in an Industrial Setting\n\nhttps://www.shs-conferences.org/articles/shsconf/pdf/2021/04/shsconf_nid2020_01006.pdf?utm_source=chatgpt.com\n\n#readings",
"sig": "cd35af431765324842c61c3f3389f29cca5cda7ab10be04bd5f7590ff951a0f65518131138562f7f04191028b3a396bf678f919432796ce5a9416e12e07bdc5e"
}
