zacheryasc/messagebox-protocol
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
No description
4 commits 1 branch 0 tags 67 KiB
Rust 100%
Find a file
Zachery Aaron Shores-Chmielewski cc39f8a0a8 Initital Sender state machine logic implemented 
Implemented and tested the state machine model for the `Sender`. Tested against the rust bindings for libsodium using
the `crypto_box` api.
2026-01-19 11:09:17 +07:00
src Initital Sender state machine logic implemented 2026-01-19 11:09:17 +07:00
.gitignore Implement sender client state machine with comprehensive tests 2026-01-19 08:49:30 +07:00
Cargo.lock Initital Sender state machine logic implemented 2026-01-19 11:09:17 +07:00
Cargo.toml Initital Sender state machine logic implemented 2026-01-19 11:09:17 +07:00
README.md Implement sender client state machine with comprehensive tests 2026-01-19 08:49:30 +07:00
SPECIFICATION.md Initital Sender state machine logic implemented 2026-01-19 11:09:17 +07:00

README.md

About

A simple little protocol for a "message box" where people can send me messages that are sealed "on site" in their local client (most likely their web browser). Read SPECIFICATION.md for more details.

Purpose

This is intended to test a workflow using LLM pair design and programming. I've found LLMs to be great at dumping code that is annoying to read and understand, but mostly works. I would like to design systems that are pleasant and easy to understand, with the essential components displayed to the human in a way that is abstacted away from noisy implementation details, which are handled by the LLM.

Goals

  • Complete specification in informal markdown
  • Implement concretely in code
  • Apply standard code tests
  • Complete specification in formal language (P, Quint, etc.)