SShortSingh.
Back to feed

Tunjo: Open-Source Tool Uses Merkle Trees and Hybrid Signatures to Seal Digital Files

0
·1 views

Developer Juan Carlos Isaza has released Tunjo, an open-source command-line tool written in Rust under the AGPL-3.0 license, designed to cryptographically seal sets of digital files so their integrity can be independently verified. The tool builds a Merkle tree from file metadata and content, producing a root hash that is then signed using a triple hybrid signature combining Ed25519, ML-DSA-87 (FIPS 204), and SLH-DSA-SHA2-256s (FIPS 205) to guard against both current and future cryptographic threats. Each file leaf includes path, timestamps, and content hash rather than content alone, ensuring that renaming or moving a file is also detected as a change. When run, Tunjo recalculates the full tree before checking the signature, so any discrepancy between the sealed record and files on disk is reported explicitly rather than silently skipped. The project includes a test suite simulating 240 integrity checks, altering one byte across 120 files to verify the tool detects each change without producing false positives once files are restored.

Read the full story at DEV Community

This is an AI-generated summary. ShortSingh links to the original source for the complete article.

Discussion (0)

Log in to join the discussion and vote.

Log in

Related stories

0
ProgrammingDEV Community ·

DCAB 0.9.0 Tracks Word Editable Range Changes Without Altering Document Text

Document Change Assurance Benchmark (DCAB) version 0.9.0 addresses how editable range markers in Word documents can change independently of the underlying text content. The update focuses on the w:permStart and w:permEnd boundary elements in Open XML, which define editable ranges by storing numeric IDs and editor assignments. DCAB 0.9.0 expands its test corpus and includes an independent verifier that checks marker attributes, ordering, and pairing across 40 .docx fixtures using python-docx. The optional DocFence 0.27.0 tool complements the release with a word permission range inventory feature. The source code, corpus, and verifier are all MIT-licensed and available on GitHub.

0
ProgrammingDEV Community ·

Wind and Solar Surpass Fossil Fuels in Germany's Annual Power Mix for First Time

Germany reached a historic energy milestone in 2025, with wind and solar power together generating more electricity than fossil fuels for an entire year. According to the Fraunhofer Institute for Solar Energy Systems, renewables as a whole supplied over 62% of Germany's net public electricity, while fossil fuels fell to just 28%. Wind energy led the way at roughly 38% of generation, followed by solar at 16%, with the country also adding around 10 GW of new solar capacity and retiring its last hard coal plants in 2024. Battery storage capacity doubled to 12 GW, and Germany exported a net 22 TWh of electricity, demonstrating that a high share of variable renewables can coexist with grid reliability. Analysts describe the shift as structural rather than weather-driven, representing the outcome of more than a decade of steady capacity growth and coal phase-down under Germany's Energiewende policy.

0
ProgrammingDEV Community ·

Kermit File Transfer Protocol Gets Modern C Rewrite on Its 45th Anniversary

The Kermit file transfer protocol, originally developed by Frank da Cruz and Bill Catchings at Columbia University in 1981, is marking its 45th anniversary in 2026 with a brand-new open-source implementation. Known for its portability across incompatible systems and reliability over low-quality serial connections, Kermit became widely used in academic, government, and military environments during the 1980s and 1990s. A new project called kermit-c rewrites the protocol from scratch in ISO C11, replacing the original monolithic codebase with a modular, thread-safe, and cross-platform design. The new implementation targets modern operating systems such as Windows, Linux, and macOS, as well as embedded real-time operating systems. Its simplicity and minimal overhead continue to make Kermit relevant for embedded systems, industrial controllers, and legacy hardware applications.

0
ProgrammingDEV Community ·

AI and Human Mathematicians Claim Ten Major Breakthroughs in Math and CS in 2026

The year 2026 has seen a series of significant advances at the intersection of artificial intelligence and pure mathematics, according to a detailed review published by DEV Community. Notable achievements include an AI system called LeanMind co-developing a formally verified proof of the Sylvester-Gallai conjecture — reportedly the first major open problem solved by AI without substantial human guidance. Researchers from Oxford and MIT also claimed to have fully proved the long-standing Hadamard conjecture using combinatorial design theory and quantum annealing. Additionally, the matrix multiplication exponent was pushed below a key threshold using deep reinforcement learning, while Carnegie Mellon University produced a fully machine-checked formal proof of the Kepler conjecture in Lean. These developments are being highlighted as potential paradigm shifts in how mathematical research is conducted, with formal verification and machine learning playing increasingly central roles.

Tunjo: Open-Source Tool Uses Merkle Trees and Hybrid Signatures to Seal Digital Files · ShortSingh