@julian @julian@activitypub.social Yes, fair question and you deserve a direct answer.
The README and proposal documentation were drafted with AI assistance
(Claude/Anthropic) and then reviewed and edited by me. The cryptographic
design ed25519 keypairs, JCS/RFC 8785 canonicalisation, Merkle
construction, MigrationProof signing input is my own technical work.
The Rust code in portafed-core implements real cryptographic primitives
and passes real tests. It is not generated boilerplate.
Introducing PortaFed — cryptographic account portability for #ActivityPub
When your server shuts down, your identity and posts are gone.
PortaFed fixes this with a MigrationProof: a Merkle commitment
over your full export, signed by your ed25519 key, verifiable
by any destination server without contacting the origin.
No blockchain. No registry. No core spec changes.
Spec + Rust implementation:
https://codeberg.org/portafed/portafed
Feedback welcome — especially from server maintainers.