Attestrun: Verifiable Reports on Closed Software Without Outside Access to Its Code -- Full Design Description (deposited 31 October 2026)

Attestrun (working name "Witness") is a design for letting an outside party -- for example a funder or an insurer -- learn the state of closed software without the author showing its code. This deposit is a dated record of authorship of the full design description as of 31 October 2026, by Dmitriy Bush. The full description (English and Russian originals) is held in closed files and is available from the author on request; the files are identified here by SHA-256 hashes. This public record deliberately gives no details of how the method works. SHA-256: attestrun_full_en.pdf = c3a5fcad3e2127345001765bdab4865954e7f35a4f34468ac2cfd95c29740516; attestrun_full_ru.pdf = fa6dca35be64319cd2fd8af02bec44b7c779f96025c5b74a9d8bdd7a874e0e10. Attestrun (рабочее имя «Свидетель») -- замысел способа, которым внешняя сторона, например фонд или страховщик, может узнать состояние закрытой программы, не получая её кода. Депонирование фиксирует с датой авторство полного описания замысла по состоянию на 31 октября 2026 года; автор -- Dmitriy Bush. Полное описание (оригиналы на русском и английском) хранится в закрытых файлах и выдаётся автором по запросу; файлы опознаются по хешам SHA-256. Устройство способа в этой публичной записи намеренно не раскрывается. SHA-256: attestrun_full_en.pdf = c3a5fcad3e2127345001765bdab4865954e7f35a4f34468ac2cfd95c29740516; attestrun_full_ru.pdf = fa6dca35be64319cd2fd8af02bec44b7c779f96025c5b74a9d8bdd7a874e0e10.

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-10-31
DOI
https://doi.org/10.5281/zenodo.23834623
Primary Topic
Security and Verification in Computing
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Attestrun: Verifiable Reports on Closed Software Without Outside Access to Its Code -- Full Design Description (deposited 31 October 2026)

Dmitriy Bush
Zenodo (CERN European Organization for Nuclear Research)
Security and Verification in Computing
article

Attestrun: Verifiable Reports on Closed Software Without Outside Access to Its Code -- Full Design Description (deposited 31 October 2026)

Dmitriy Bush
article en

Abstract

Attestrun (working name "Witness") is a design for letting an outside party -- for example a funder or an insurer -- learn the state of closed software without the author showing its code. This deposit is a dated record of authorship of the full design description as of 31 October 2026, by Dmitriy Bush. The full description (English and Russian originals) is held in closed files and is available from the author on request; the files are identified here by SHA-256 hashes. This public record deliberately gives no details of how the method works. SHA-256: attestrun_full_en.pdf = c3a5fcad3e2127345001765bdab4865954e7f35a4f34468ac2cfd95c29740516; attestrun_full_ru.pdf = fa6dca35be64319cd2fd8af02bec44b7c779f96025c5b74a9d8bdd7a874e0e10. Attestrun (рабочее имя «Свидетель») -- замысел способа, которым внешняя сторона, например фонд или страховщик, может узнать состояние закрытой программы, не получая её кода. Депонирование фиксирует с датой авторство полного описания замысла по состоянию на 31 октября 2026 года; автор -- Dmitriy Bush. Полное описание (оригиналы на русском и английском) хранится в закрытых файлах и выдаётся автором по запросу; файлы опознаются по хешам SHA-256. Устройство способа в этой публичной записи намеренно не раскрывается. SHA-256: attestrun_full_en.pdf = c3a5fcad3e2127345001765bdab4865954e7f35a4f34468ac2cfd95c29740516; attestrun_full_ru.pdf = fa6dca35be64319cd2fd8af02bec44b7c779f96025c5b74a9d8bdd7a874e0e10.

Zenodo (CERN European Organization for Nuclear Research)
Openalex Percentile: Top 13%
Security and Verification in Computing
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Laika access coming soon