Property-based testing for distributed protocols . Contribute to unfoldml/propsim development by creating an account on GitHub.
atproto-experiments - Ha Ja Ba Ra La
A foundation for building tools on the AT Protocol using Unison Programming Language.
Hypothesis: A new approach to property-based testing
The property-based testing library for Python
Hegel
A universal property-based testing protocol and family of libraries, built on Hypothesis
The Unreasonable Sufficiency of Protocols | Summer of Protocols
DRAFT Version 0.99, March 6th, 2023
Protocol Reader - Summer of Protocols
The Protocol Reader The Protocol Reader is an 358-page book (currently only available as an epub) comprising 26 foundational essays by 31 authors from the Summer of Protocols program, carefully edited and sequenced to introduce you to the fascinating new discipline of Protocol Studies. It can serve as
Theorizing Protocolization II: Atomic Protocol Questions
Solving real coordination problems to discover the formal laws of protocols.
ATProtocol Attestations: Cryptographic Signatures for the Decentralized Web - Nick's Blog
This post introduces the formal ATProtocol attestation specification, a framework for adding cryptographic signatures to ATProto records through two complementary patterns: inline attestations that embed signatures directly in records, and remote attestations that store proof in separate repository records. The specification prevents replay attacks through repository binding, uses CID-based content addressing for integrity, and provides the cryptographic foundation for verified credentials, trusted content, and authenticated interactions in the decentralized ATProtocol ecosystem.
Introducing attested.network: Proof of Payment for ATProtocol - Nick's Blog
attested.network is an open spec for decentralized proof of payments on ATProtocol, built on what we learned making atprotofans.com. It formalizes the three-party attestation model and opens it up for any app to implement.
IPFS: Building blocks for a better web | IPFS
Open protocols to store, verify, and share data across distributed networks.