Successful initial integration of #blossom support for #nostr #safebox. The binary data is served from a back end blossom server and served via a safebox app endpoint.
Symbolic Software
On the Promises of 'High-Assurance' Cryptography
A case study on Cryspen's libcrux exposing the gap between formal verification marketing and engineering reality.