eliavila10/project_biasMotore crittografico ad alte prestazioni e senza bias in Ada/SPARK che sfrutta i pool di entropia nativi del sistema operativo.
Un motore di flusso crittografico ad alte prestazioni e privo di bias, scritto in Ada e verificato formalmente con SPARK. Il motore garantisce zero bias statistico quando mappa l'entropia grezza in alfabeti personalizzati, scartando i valori con bias modulo e prelevando byte di sicurezza direttamente dai pool del kernel del sistema operativo nativo.
Il motore si interfaccia direttamente con le API di basso livello del sistema operativo tramite Interfaces.C per eliminare i livelli di astrazione e la latenza:
ProcessPrng) come fonte principale di byte di sicurezza grezzi.bcrypt.dll).-- Formula applied to enforce uniform distribution without modulo bias:
-- Formul = Charset'Length * (256 / Charset'Length) - 1
-- Any extracted byte > Formula'result = it is ruled out
Per verificare l'uniformità matematica dell'algoritmo di mappatura senza bias, il motore è stato sottoposto a uno stress test che ha generato 1.010.762.506.054 caratteri (oltre 1 Terabyte) da un alfabeto di 69 caratteri.
Di seguito è riportato il log di verifica completo e grezzo generato dalla suite di analisi il 2026-08-06:
=========================================================================================================================================================================================
=== = = = = = = = = = = = = = = = = = = = = = = = = = = = = Date : 2026-08-06| Day : Thursday | Hour : 05:27 AM = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = ===
=========================================================================================================================================================================================
Charset => 0123456789ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz!@#%_*-
Charset'Length => 69
--- Character Frequency [ Total Chars 1010762506054 ] ---
Character => '0' Appear => 14649023982 times
Character => '1' Appear => 14648736386 times
Character => '2' Appear => 14648696512 times
Character => '3' Appear => 14648653062 times
Character => '4' Appear => 14648843467 times
Character => '5' Appear => 14648860346 times
Character => '6' Appear => 14648673812 times
Character => '7' Appear => 14648829622 times
Character => '8' Appear => 14648564528 times
Character => '9' Appear => 14648559744 times
Character => 'A' Appear => 14648686958 times
Character => 'B' Appear => 14648868103 times
Character => 'C' Appear => 14648717763 times
Character => 'D' Appear => 14648704036 times
Character => 'E' Appear => 14648711001 times
Character => 'F' Appear => 14648733166 times
Character => 'G' Appear => 14648527493 times
Character => 'H' Appear => 14648868334 times
Character => 'I' Appear => 14648851708 times
Character => 'J' Appear => 14648737136 times
Character => 'K' Appear => 14648711054 times
Character => 'L' Appear => 14648833717 times
Character => 'M' Appear => 14648761212 times
Character => 'N' Appear => 14648842295 times
Character => 'O' Appear => 14648607563 times
Character => 'P' Appear => 14648743969 times
Character => 'Q' Appear => 14648701143 times
Character => 'R' Appear => 14648617680 times
Character => 'S' Appear => 14648675946 times
Character => 'T' Appear => 14648679521 times
Character => 'U' Appear => 14648377186 times
Character => 'V' Appear => 14648803564 times
Character => 'W' Appear => 14648826843 times
Character => 'X' Appear => 14648814157 times
Character => 'Y' Appear => 14648745507 times
Character => 'Z' Appear => 14648797929 times
Character => 'a' Appear => 14648855410 times
Character => 'b' Appear => 14648660410 times
Character => 'c' Appear => 14648704634 times
Character => 'd' Appear => 14648752856 times
Character => 'e' Appear => 14648570222 times
Character => 'f' Appear => 14649012159 times
Character => 'g' Appear => 14648541356 times
Character => 'h' Appear => 14648683165 times
Character => 'i' Appear => 14648788877 times
Character => 'j' Appear => 14648773938 times
Character => 'k' Appear => 14648796827 times
Character => 'l' Appear => 14648580917 times
Character => 'm' Appear => 14648806120 times
Character => 'n' Appear => 14648548612 times
Character => 'o' Appear => 14648765478 times
Character => 'p' Appear => 14648801238 times
Character => 'q' Appear => 14648873563 times
Character => 'r' Appear => 14648752656 times
Character => 's' Appear => 14648578407 times
Character => 't' Appear => 14648875270 times
Character => 'u' Appear => 14648683708 times
Character => 'v' Appear => 14648869846 times
Character => 'w' Appear => 14648816676 times
Character => 'x' Appear => 14648601253 times
Character => 'y' Appear => 14648776500 times
Character => 'z' Appear => 14648684743 times
Character => '!' Appear => 14648535737 times
Character => '@' Appear => 14648510145 times
Character => '#' Appear => 14648629803 times
Character => '%' Appear => 14649098064 times
Character => '_' Appear => 14648723722 times
Character => '*' Appear => 14648785828 times
Character => '-' Appear => 14648781469 times
-------------------------------------------------------------------------------------------
Max Repeats => Character '0' => 14649023982 times
Min Repeats => Character 'U' => 14648377186 times
Divergence Variance Delta => 646796 units.
Theoretical Ideal Average => 14648731971.80
Real Standard Deviation => 122205.17
Percet Deviation => 0.00 %
Real Time Duration => 7780.991359500
Process MB/s => 123.88MB/s
Free Unbiased Range => 0 .. 206
Unused Bytes => 49
Reject Percent => 19.14 %
Free Unbiased Formula => Charset'Length * (256 / Charset'Length) - 1
Entropy Source => ProcessPrng (Principal) - BcryptGenRandom (Secondary)
Entropy Default => ProcessPrng
Entropy Fallback => BcryptGenRandom
-------------------------------------------------------------------------------------------
Distribution Stability => 100.00 % (Optimal Objective > 99.50%)
Audit Verdict => [ PERFECT ] -> Uniformity matches military-grade physical noise.
-------------------------------------------------------------------------------------------
src/ProcessPrng_Wrapper.ad[s|b]: Binding per il PRNG primario moderno del kernel Windows.src/BcryptGenRandom_Wrapper.ad[s|b]: Binding crittografico secondario di fallback.src/Chain_Generator.ad[s|b]: Macchina a stati principale che orchestra l'estrazione senza bias.src/Math_Functions.ad[s|b]: Pre/post-condizioni formali per le operazioni di mappatura.alr run