Life & fun · February 23, 2023
Moochacha, quantum-safe file encryption (analyzed by Frama-C)
Moochacha, quantum-safe file encryption (analyzed by Frama-C) launched on February 23, 2023 with 75 votes, #776 of 3,829 launches that month and more than 90% of that year's launches. The site was still online in September 2026, 3 years on.
In plain words
Moochacha is a file encryption tool designed to be resistant to quantum computing threats. It was formally analyzed using Frama-C, a verification framework that examines code for security and correctness. The software is intended for users who want to protect their files with encryption methods believed to withstand future quantum attacks. Moochacha launched in February 2023 and is available on Codeberg.
written from the facts on this page · September 2026
From the sources
moochacha
WARNING: This is a personal project, unsafe for real data. Don't use it. Encrypt files using a random keyfile, like enchive without public keys. Plain 256-bit encryption satisfies even the most paranoid quantum computing fears. Each file's encryption key derives from a common keyfile plus a 256-bit random seed. Keep the keyfile secret. Its passphrase discourages only casual snooping, given that passphrases can be discovered by brute-force or hidden camera. Currently uses Argon2id, BLAKE2b, and ChaCha20-Poly1305 from libsodium . Copyright 2022-2023 Mark Dascher Licensed under the ISC License . Argon2id makes two passes of 1 GiB by default. The memory limit is adjustable between 1 MiB and 512…from codeberg.org
Does a similar job
all alternatives →
FractalCrypt 2.0 – free deniable encryption cryptoarchiver2021 · github.com · ▲128Free cross-platform deniable encryption cryptoarchiver - GitHub - zorggomat/FractalCryptGUI: Free cross-platform deniable encryption cryptoarchiver
filippo.io/mlkem768 – Post-Quantum Cryptography for the Go Ecosystem2024 · words.filippo.io · ▲315filippo.io/mlkem768 is a pure-Go implementation of the post-quantum key exchange mechanism ML-KEM-768 optimized for correctness and readability.
A hash array-mapped trie implementation in C2023 · github.com · ▲171Long-simmering side project that is finally ready to see the light. HAMTs are a cool persistent data structure and implementing one has been a lot of fun. Beyond the code, there is likely some value in the extensive and largely complete implementation docs; basic benchmarks are linked in the README, too. Kind of aiming to be "the libavl for HAMTs". That is obviously a high and aspirational bar but a distinct possibility if it stirs up a little interest and/or contribution. Anyways, it's time for this to go out, collect feedback and maybe even some use outside of toy projects. Let me…
More life & fun this month
the category →
A free city-building game in your browser. You are the mayor. You know what the city needs. Now get it past the zoning board, the neighbors, the appeals court and the next election.
Life & fun · 2d ago · permit.petercai.com
- IV
Life & fun · 14d ago · tanzaniaeducationproject.org
Turn a phone, tablet or TV into a sign. Type a message and it fills the screen: welcome signs, timers, Wi-Fi passwords and more. No app, no account, free.
Life & fun · 15d ago · bigwords.page
Play a free virtual guitar online with your keyboard or by touch. Slow songs down and see every chord, string and strum. Acoustic, classic, electric and bass.
Life & fun · 9d ago · guitoro.com
Carrier settings from iPhone, Pixel and Galaxy firmware, decoded and compared: APNs, VoLTE, 5G and Wi-Fi Calling per carrier, and what each build changed.
Life & fun · 13d ago · carrierexplode.com
Life & fun · 23d ago · space.bl2.net
Source: Show HN post ↗
