eliavila10/project_biasAda/SPARK로 구현된 고성능·무편향 암호화 엔진으로, 네이티브 OS 엔트로피 풀을 활용합니다.
Ada로 작성되고 SPARK로 정형 검증된 고성능, 바이어스 없는 암호화 스트림 엔진입니다. 이 엔진은 모듈로 바이어스가 있는 값을 버려 원시 엔트로피를 사용자 정의 알파벳으로 매핑할 때 통계적 바이어스가 전혀 발생하지 않음을 보장하며, 보안 바이트를 네이티브 OS 커널 풀에서 직접 가져옵니다.
이 엔진은 추상화 계층과 지연 시간을 제거하기 위해 Interfaces.C를 통해 저수준 OS API와 직접 인터페이스합니다:
ProcessPrng)를 원시 보안 바이트의 주요 소스로 활용합니다.bcrypt.dll)를 사용하는 강력한 2차 대체 계층을 구현합니다.-- 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]: 2차 암호화 대체 바인딩.src/Chain_Generator.ad[s|b]: 바이어스 없는 추출을 조율하는 메인 상태 머신.src/Math_Functions.ad[s|b]: 매핑 연산을 위한 정형 사전/사후 조건.alr run