Skip to content
Fast
Search
Ctrl
K
Cancel
Fast
Resources
Papers
GitHub
About
Team
Career
Connect
Contact us
Investors
Menu
Fast
Resources
Papers
GitHub
About
Team
Career
Connect
Contact us
Investors
Welcome to Fast
Get Started
Choose your Fast tool
AI agent documentation access
Multisig AllSet withdrawals with the CLI
SDK References
Overview
Fast ID and fastid-sdk
Fast Sign and sign-sdk
Core SDK Execution
Core SDK Execution
fast-sdk
allset-sdk
Payment Protocol Adapters
Payment Protocol Adapters
x402-sdk
x402-sdk
x402-client
x402-server
x402-facilitator
Funding Abstraction
Funding Abstraction
Swapper On-ramp
API Reference
REST API
REST API
Transactions
Accounts
Tokens
Certificates
Escrow
Models
JSON-RPC API
Advanced
FastSet Protocol
AllSet Portal
AllSet Services Prometheus Metrics
K Framework and Formal Verification
FAQ
Legal
Get Started (Archived)
Quickstart
Core Concepts
Use Cases
Fast (Archived)
Overview
Core Concepts
Core Concepts
Claims
Accounts
Weak Independence
Fast Protocol
Guarantees and Properties
Developers
Developers
Tutorials
Tutorials
Create an account
Fetch next nonce
Sign a transaction
Fund account from faucet
Submit a transaction to proxy
Fast API
Fast API
Validator API
Proxy API
Data types
RPC Endpoints
Applications
Applications
Block Verification Explorer
AllSet and AllSwap
FAQ
AllSet (Archived)
Overview
Architecture
Developers
Applications
Applications
AllSwap
FAQ
K Framework (Archived)
Overview
Formal Semantics
LLVM-K Backend
What is "K"? (previous)
Semantics-Based Compilation
Proof of Proof (Archived)
Overview
Architecture
Math Proof Generation
Math Proof Checker
ZK Proof Generation
Applications
Core technologies
Core technologies
Formal Semantics & the K Framework
Matching Logic
Zero-Knowledge Proofs & zkVMs
Select theme
Dark
Light
Auto
Get Started (Archived)
Archived
Get Started (Archived)
Core Concepts
On this page
Overview
Copy page
View as Markdown
Select theme
Dark
Light
Auto
