eliavila10/project_biasAda/SPARKで実装された、ネイティブOSのエントロピープールを活用する高性能・バイアスフリーな暗号エンジン。
Adaで書かれ、SPARKで形式的検証された、高性能でバイアスのない暗号ストリームエンジン。 このエンジンは、モジュロバイアスを持つ値を破棄することで、生のエントロピーをカスタムアルファベットにマッピングする際に統計的バイアスがゼロであることを保証し、セキュリティバイトをネイティブOSカーネルプールから直接取得します。
このエンジンは、抽象化レイヤーとレイテンシを排除するために、Interfaces.C を介して低レベルのOS APIと直接インターフェースします：
ProcessPrng）を、生のセキュリティバイトの主要ソースとして利用します。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
バイアスのないマッピングアルゴリズムの数学的な均一性を検証するため、このエンジンは、69文字のアルファベットから 1,010,762,506,054 文字（1テラバイト超）を生成するストレステストを受けました。
以下は、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]: 主要な最新WindowsカーネルPRNGのバインディング。src/BcryptGenRandom_Wrapper.ad[s|b]: セカンダリ暗号フォールバックバインディング。src/Chain_Generator.ad[s|b]: バイアスのない抽出を調整するメインステートマシン。src/Math_Functions.ad[s|b]: マッピング操作の形式的な事前/事後条件。alr run