attested.network — Proof of Payment for ATProtocol

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.

Payments on Protocol - Nick's Blog

atprotofans.com was a proof of concept for payments on ATProtocol built at Graze Social. This post is about what we built, why proof of payment on protocol matters, and what it makes possible.

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.

LinkedClaims — Decentralized Verifiable Claims on ATProto

LinkedClaims: publish and verify decentralized claims about any URI-addressable subject on the AT Protocol. Open standard by DIF Labs.

ATProtoFans - Support Your Favorite Creators

Decentralized supporter attestation service for the ATProtocol ecosystem. Support creators with cryptographically verifiable relationships.

ATProtoFans - Support Your Favorite Creators

Decentralized supporter attestation service for the ATProtocol ecosystem. Support creators with cryptographically verifiable relationships.

Building Unforgeable Professional Endorsements with ATProtocol - Nick's Blog

Traditional professional endorsements on platforms like LinkedIn lack cryptographic proof—anyone could forge them, and the platform controls the truth. This article introduces a two-record architecture using ATProtocol's Content Identifiers (CIDs) and Decentralized Identifiers (DIDs) to create mathematically unforgeable mutual attestations. By separating proof creation from endorsement acceptance and leveraging the firehose for distributed validation, we build a system where both parties cryptographically consent and no central authority can manipulate the record.

reliqlabs/zkat

Zero Knowledge Proofs of/for the ATProtocol

Rashid Aziz: Extending ATproto for private data - ATProto Community

DID - AT Protocol

Persistent decentralized identifiers (as used in atproto)

aTIProto — ATProto-native Payments

aTIProto is an ATProto-native payments protocol. Build payments, subscriptions, and pay-what-you-want experiences on the Bluesky network.

Automated Verification of Proofs in the Universal Composability Framework with Markov Decision Processes

Designing cryptographic protocols and proving these rigorously secure is an arduous and challenging task. Among the methods commonly used to prove security of cryptographic protocols, formalizing it in Canneti's Universal Composability (UC) Framework offers several benefits: (1) Modular design, (2) demonstrating that security remains under arbitrary composition and concurrent execution, (3) the security against any computationally polynomially bound adversary. However, working within the UC Framework can be cumbersome, requires a long time commitment by the prover, and it is prone to errors. While utilization of proof assistants in Cryptography and IT Security is a prominent research area, proof assistants for UC are still in their infancy. Here we show our ongoing work to utilize model checking for verification of proofs in the UC Framework, which to the best of our knowledge is the first attempt to do so. In this work we (1) formally create a Markov Decision Process (MDP) encoding a given proof in the UC Framework, (2) define and proof notions of soundness and completeness for the constructed MDP, (3) implement a proof of concept and (4) demonstrate practical feasibility through experimental evaluation. In summary, in this work we lay out the formal foundations for model checking UC proofs and create a tool that can not only be used for proof verification but also as an assistant for developing proofs in the UC Framework.

Attested Network

Welcome to the Attested Network category.