Koch Laboratory

Koch Laboratory

Publiczny dziennik badawczy o prywatności, kryptografii stosowanej i systemach odpornych.

Pieczęć BSFZ 2026 — FuE (badania i rozwój); objaśnienie na bescheinigung-forschungszulage.de

Potwierdzone jako prace badawczo-rozwojowe

W październiku 2026 r. niemiecka Bescheinigungsstelle Forschungszulage (BSFZ) uznała dziewięć projektów tego laboratorium za prace badawczo-rozwojowe w rozumieniu ustawy FZulG:

Pieczęć poświadcza, że to badania — nie bezpieczeństwo produktu i nie dotację. BSFZ oceniała pisemne opisy projektów; nie ma dostępu do kodu, danych ani systemów.

Koch Laboratory to publiczny dziennik badawczy o prywatności, kryptografii stosowanej i systemach odpornych: od komunikacji odpornej na metadane i niskoenergetycznych sieci mesh, przez kryptografię czasu i dostępu warunkowego, dowodową integralność dokumentów i ewidencji oraz steganografię nad własnym kanałem generatywnym, po kompresję strukturalną. Osobną linią idą kierunki, w których przedmiotem pomiaru jest sam pomiar: przesiew kondycji poznawczej na konsumenckim EEG, prognozy maszynowe z mierzoną własną omylnością i moderacja treści bez przechowywania treści. Dokumentuje rozumowanie i wyniki — nie produkty i nie obietnice.

Jak to czytać

Czym to nie jest

BSFZ 2026 · potwierdzone B+R

Ygoow: prerejestrowany pomiar własnych twierdzeń o bezpieczeństwie

Kontynuuje wpis z 2026-07-10, już z nazwą produktu. Od lipca do września 2026 twierdzenia Ygoow o bezpieczeństwie zamieniano w dwuetapowe karty — najpierw kryteria i predykcje, potem pomiar — na docelowym telefonie albo w symulacji: 37 kart (24 z rejestracją zapisaną przed pomiarem), 199 predykcji w rejestrze, z czego 36 chybionych, osiem opublikowanych twierdzeń obalonych i wycofanych oraz korekty nieaktualnych stwierdzeń wpisu lipcowego. Konstrukcje wstrzymane; wyniki o ruchu pochodzą z modelu, nie z przechwyconego ruchu Tor.

Przejdź do kierunku →

BSFZ 2026 · potwierdzone B+R

Dwa badania wypowiedzi generowanych maszynowo: kryteria przed wynikami

Dwa badania z programu prognoz, każde rozstrzygane własnym pomiarem: czy system pracujący bez nadzoru się uczy, a nie racjonalizuje — sprawdzane na pytaniach rozstrzygniętych po dacie odcięcia danych treningowych jego modelu, z zabezpieczeniami, które zatrzymują wyjście zamiast dołączać ostrzeżenie — oraz jak obniżenie precyzji liczbowej modelu wpływa na wierność faktograficzną wypowiedzi wyprowadzanych z dokumentów źródłowych. Wyników jeszcze nie ma; kryteria są opublikowane przed jakimkolwiek wynikiem, a wpis prostuje wcześniejsze twierdzenie, że implementacja nie ruszyła.

Przejdź do kierunku →

Czas jako dowód, raz jeszcze: incydent z kluczem i log, który można skontrolować z zewnątrz

Kontynuuje i koryguje wpis z 20 sierpnia 2026, już pod nazwą Sigelith. Klucz podpisujący współdzielony z lustrem deweloperskim obalił założenie, że ważny podpis wskazuje nasze korzenie; zaufanie przeszło na log, który każdy może pobrać i przeliczyć (RFC 9162), oraz na kopie i kotwice w cudzych rękach. Do tego przedziały czasu dla każdego wpisu z Bitcoina i banku zamiast z naszego zegara, kopie zapasowe niosące własny dowód i przegląd tego, co klient pokazywał jako sprawdzone — z granicami każdego z tych elementów.

Przejdź do kierunku →

Walidacja łańcucha analizy EEG przed pierwszym prawdziwym nagraniem

Ciąg dalszy wpisu „neuro”: zanim powstało pierwsze prawdziwe nagranie, łańcuch analizy sprawdzono na danych syntetycznych o znanej prawdzie podstawowej, z kontrolami negatywnymi. Wyniki negatywne dotyczące bodźca i sygnału, cztery ustalenia audytu metodycznego wraz z poprawkami, norma ograniczona do amplitud — oraz korekty wpisu z 2026-08-12, w tym wycofane zdanie o przeznaczeniu.

Przejdź do kierunku →

Kompresja strukturalna zmierzona: oś zależności zamknięta, nisza zawężona

Dwa benchmarki na jawnym korpusie kontynuują wpis z 2026-07-14, negatywy w pierwszej kolejności: kodowanie zależnościowe XOR obalone w 1D i 2D, historyczna wersja kodeka, która nie odkodowywała własnego wyniku, i pozytyw, który nie przeniósł się na realne skany — jedyną niszą zostają rastry generowane cyfrowo z powtarzalnością co do bitu. Wraz z korektami wcześniejszego wpisu.

Przejdź do kierunku →

Linia TimeVault, rewizja: przeszłość poświadczona, przyszłość wymuszana przez zewnętrzne kworum czasu

Kontynuuje wpis z 2026-07-14: wymuszanie przyszłości istnieje już dla pojedynczych wpisów — przez zewnętrzne kworum czasu zamiast time-lock puzzle, z jawnie podanymi granicami zaufania — warunek miejsca przeszedł z polityki aplikacji do klucza, a wyniki negatywne od lipca publikujemy razem z korektami nieaktualnych stwierdzeń wpisu lipcowego.

Przejdź do kierunku →

Moderacja obrazów bez przechowywania obrazów

To nie badanie nad modelem — klasyfikator jest gotowy i jest to powiedziane wprost — tylko nad reżimem jego pracy: zero retencji, wynik liczbowy zamiast werdyktu, fail-closed przy awarii i obalona hipoteza o moderacji reaktywnej jako tańszym zamienniku skanu. Wraz z tym, czego nie zmierzono.

Przejdź do kierunku →

Czas jako uzgodniona jednostka i jako dowód

Sześć kierunków wokół usługi czasu, której wskazanie ma się bronić przed kimś, kto nie ufa ani nam, ani naszemu serwerowi: jednostka bez stref, zegar tykający bez pytania serwera i publikujący własny błąd, tygodniowy log Merkle, kotwica w tytule przelewu obok Bitcoina, losowanie, którego nikt nie steruje, oraz dowód współstemplowania chwili bez tożsamości stron.

Przejdź do kierunku →

Ewidencja, która ma przekonać kogoś, kto nie ufa jej autorowi

Siedem kierunków wokół ewidencji czasu prac badawczych, której wiarygodność nie może zależeć od dobrej woli autora: niezmienność ze stornem zamiast edycji, dwie daty, kotwice uprawdopodabniające zamiast mierzących, dowód przeżywający utratę systemu, materiał dowodowy bez ujawniania treści i ewidencja, która sama odcina własne godziny.

Przejdź do kierunku →

Prognozy z mierzoną własną omylnością

Program w fazie koncepcyjnej o prognozach maszynowych, których pierwszym mierzonym obiektem jest własna omylność: kalibracja bez samooceny modelu, rozstrzygalność przy nielosowo brakującej prawdzie, mechanizmy zamiast zdarzeń i samoweryfikacja fail-closed — konstrukcja w całości wstrzymana.

Przejdź do kierunku →

Tani przesiew kondycji poznawczej: EEG konsumenckie, film z markerami i norma wiekowa

Sześć kierunków wokół przesiewu starzenia poznawczego na konsumenckim EEG: znakowanie zdarzeń w przeglądarce, ERP i korelacja międzyosobnicza na tle normy wiekowej, zdalny hyperscanning diad, obiektywne endpointy farmako-EEG, dowodliwość zapisu wobec prawa do usunięcia oraz porównywalność danych mimo aktualizacji sprzętu — ze statusem każdego kierunku oznaczonym jawnie.

Przejdź do kierunku →