@jonny @julian You're right on all three points. Updated the spec: destination_did is now optional the backup-before-shutdown case is the primary use case and requiring a destination in advance was a mistake.
Added Section 5.1 explaining why the Merkle tree exists alongside per-object signatures: the signatures prove per-object authenticity but not completeness. A Merkle root over the full set detects silently dropped objects.
Added Section 8 explicitly scoping this as an export/import substrate
P
portafed@mastodon.social
@portafed@mastodon.social
Posts
-
Introducing PortaFed — cryptographic account portability for #ActivityPub -
Introducing PortaFed — cryptographic account portability for #ActivityPubIntroducing 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/portafedFeedback welcome — especially from server maintainers.