mit s fiat cryptography stelsel automates die proses van securing byna enigiets
die rekenaar wetenskap en artificial intelligensie laboratorium csail op mit ontwerp 'n stelsel te loop komplekse mathematical algorithms te veilige aanlyn kommunikasie fiat cryptography soos die kode is genoem tans secures oor 90 persent van google chrome kommunikasie
researchers aangebied hul papier op die eee symposium op sekuriteit en privaatheid in kan al die tegnologie was oorspronklik theorized en deployed in mit labs in 2018
fiat cryptography is ontwerp te outomaties generate en simultaneously verifieer optimized cryptographic algorithms vir al hardeware platforms 'n proses wat gebruik te wees gedoen deur hand
jy gehoor wat reg soos het onlangs soos 'n jaar gelede die internet s data encryption was achieved deur 'n gaggle van cryptographers wat sou skryf en herskryf algorithms manually weeg verskillende mathematical techniques en chip architectures te optimize vir prestasie
mekaar uit die voor die hand liggend kwessie van mens ingevoer foute en nonoptimal algorithms oortyd die maths of chip architecture die algorithms was geskryf vir sou geword obsolete betekenis pen sou het te kras papier weer
researchers gekyk vir 'n oplossing eerste in c ontwikkeling en vergadering languages en oorgedra wat techniques te hul kode biblioteek 'n lys van die beste presterende algorithms vir elke architecture
gebruik 'n compiler te convert ontwikkeling languages in kode die algorithms is dan outomaties proofed met coq 'n mathematical theorem prover elke iteration is getoets voordat die die beste presterende 'n is selected vir 'n name chip architecture
gedurende die proses researchers leveraged die liggaam van mens geskryf kode reeds in bestaan en gevind wat die automated proses van generating sleutels en certificates vir data encryption wedstryde die prestasie van die die beste handwritten kode maar completes dit baie vinniger
dit s basies soos neem 'n proses wat gehardloop in mens brein en begrip dit goed genoeg te skryf kode wat mimics wat proses gesê: adam chlipala 'n csail researcher wat gewerk het op die projek in 'n onderhoud met mit nuus
fiat cryptography het sedert is deployed deur google s boringssl 'n oop bron cryptographic biblioteek gebruik deur google chrome android apps en ander programme
chlipala was aangesluit deur csail gegradueerde studente andres erbsen soos eerste skrywer en jade philipoom en jason bruto soos mede authors soos goed soos robert sloan 'n ingenieursdienste gegradueerde student
die researchers is tans werk op maniere te maak hul compiler loop selfs vinniger in op soek vir optimized algorithms