Ik weet even niet meer hoe het heet maar je kunt bewijzen dat een binary gebaseerd is op een source dmv de source te builden waardoor de binary er 1 op 1 hetzelfde uitziet.
Als ze exact hetzelfde zijn, kan je gewoon een md5sum of shasum draaien. Het probleem is dat ze vaak niet 100% hetzelfde zijn, en één tekentje anders of een nét iets andere volgorde en je sum is compleet anders.
Absoluut gezien (zwart-wit) niet; relatief gezien wel, als je statistisch gaat kijken en in het achterhoofd houdt dat je mensen in kunt huren voor een audit (of een crowdsource er voor op zet).
Dat geeft je enkel een optie extra, maar wederom geen extra garanties.
Als je het bij een bedrijf vraagt, en je huurt een professioneel bedrijf in (dat netjes alle NDA's tekent en weet ik veel wat), dan mag je ook op closed source misschien wel een audit laten uitvoeren.
Dat de mogelijkheid tot een audit minder bereikbaar is, wil niet zeggen dat het niet kan - noch wil het zeggen dat daarom de software betrouwbaarder/onveiliger is. Wel kan het zo zijn dat je niet overtuigd genoeg bent. En *dat* kan ik wel snappen.
Maar zeg nou eens eerlijk - wat zegt jou overtuiging over de *werkelijke* veiligheid? Als je niet overtuigd bent, is er geen garantie dat er werkelijk problemen zijn. Als je wel overtuigd bent, is er geen garantie dat er geen problemen zijn.
Je zit altijd in 't zelfde bootje.
Het probleem met WhatsApp is dat we niet in de broncode kunnen kijken. We kunnen dus niet bewijzen dat Axolotl goed werkt. We kunnen niet bewijzen dat er geen backdoors in zitten. We kunnen niet bewijzen dat er geen inval bij Facebook is, die ontwikkelaars dwingt een versie met een backdoor uit te brengen.
Het is nu meerdere malen bewezen dat Signal Protocol (het heet geen axolotl meer) en de implementatie daarvan in WhatsApp naar behoren functioneert en zoals verwacht. Die werkt gewoon.
Volgens audits zitten er geen backdoors in de code.
En dat laatste: nee, dat kan je niet. Maar bij opensource is een binary in de store ook zo vervangen hoor, en dat het dan afwijkt van de versie in GitHub zegt niet meteen iets noch heb je meteen enig bewijs. Dat kan nog dagen, weken, maanden duren - omdat het op dezelfde manier benadert moet worden als closed source. Dus ben je eigenlijk nog geen stap verder.
Dat je dan misschien vragen kan gaan stellen of het niet meer vertrouwt: prima. Al ken ik eigenlijk maar een persoon die daadwerkelijk elke update van z'n software bronnen cross-referenced en handmatig compileert - dus de impact als dit gebeurt zal waarschijnlijk niet al te boeiend zijn.
Ik snap je laatste passage even niet helemaal.
Als ik het lees krijg ik het idee dat je zegt dat open standaarden vermeden zouden moeten worden, en "everybody rolls their own" veiliger zou zijn... Maar ik denk zomaar dat dat absoluut niet je bedoeling was. Tenminste, dat hoop ik dan maar.