Tootfinder

Requirements for Active Assistance of Natural Questions in Software Architecture
Diogo Lemos, Ademar Aguiar, Neil B. Harrison
https://arxiv.org/abs/2506.23898

Requirements for Active Assistance of Natural Questions in Software Architecture
Natural questions are crucial to shaping key architectural decisions and preserving architectural knowledge. They arise organically during the architectural design process, often resulting from the existing architectural experience of the designer and the distinctive characteristics of the system being designed. However, natural questions are often mismanaged or ignored, which can lead to architectural drift, knowledge loss, inefficient resource use, or poor understandability of the system's ar…

Cryptographic Data Exchange for Nuclear Warheads
Neil Perry, Daniil Zhukov
https://arxiv.org/abs/2507.20074 https://arxiv.org/pdf/2507.20074

Cryptographic Data Exchange for Nuclear Warheads
Nuclear arms control treaties have historically focused on strategic nuclear delivery systems, leaving nuclear warheads outside formal verification frameworks. This paper presents a cryptographic protocol for secure and verifiable warhead tracking, addressing challenges in nuclear warhead verification without requiring intrusive physical inspections. Our system leverages commitment schemes and zero-knowledge succinct non-interactive arguments of knowledge (zkSNARKs) to ensure compliance with tr…