Vi presenterar en konstant-runda villkorslös svart-box kompilator som omvandlar alla ideal (dvs. statistiskt gömda och statistiskt bindande) straight-line utdragbara åtagandesystem, till ett utdragbart och tvetydigt åtagandesystem, vilket ger UC-säkerhet [Can01]. Vi exemplifierar nyttan av vår kompilator genom att tillhandahålla två (konstant runda) instantieringar av ideala raka utdragbara åtagande baserat på (skadliga) PUFs [OSVW13] och statslösa manipuleringssäkra hårdvara tokens [Kat07], därför att uppnå det första ovillkorligt UC-säkra åtagande med skadliga PUFs respektive statslösa tokens, respektive. Våra konstruktioner är säkra för motståndare som skapar godtyckligt illvilliga statiska PUF/tokens. Tidigare resultat med skadliga PUFs använde antingen beräkningsantaganden för att uppnå UC-säkra åtaganden eller var villkorslöst säkra men endast i oskiljaktig bemärkelse [OSVW13]. På samma sätt, med statslösa polletter, UC-säkra åtaganden är kända endast under beräkningsantaganden [CGS08, GIS + 10, CKS + 11], medan (inte UC) ovillkorliga åtagandeplan [GIMS10] är säker endast i en svagare modell där motståndaren inte tillåts att skapa statliga polletter. Förutom att tillåta oss att bevisa genomförbarheten av villkorslös UC-säkerhet med (skadliga) PUFs och statslösa tokens, vår kompilator kan omedelbar med alla idealiska raka utdragbara åtagandesystem, vilket gör det möjligt att använda olika uppställning antaganden som bättre kan passa applikationen eller den tillgängliga tekniken.
Deras åtagandeuppbyggnad förbättrades genom Ref för att uppnå UC-säkerhet.
Unconditionally Secure and Universally Composable Commitments from Physical Assumptions
{'venue': 'IACR Cryptology ePrint Archive', 'journal': 'IACR Cryptology ePrint Archive', 'mag_field_of_study': ['Computer Science']}