Johnx.co/Research Notes
ResearchAbout

Subscribe to get a short note when I publish something new.

A digital garden, tended with care

Johnx.co/Research Notes
ResearchAbout

Subscribe to get a short note when I publish something new.

A digital garden, tended with care

Johnx.co/Research Notes
ResearchAbout

Library · 2025

Astral Compute

Co-founder, AstralPreview

Astral Compute evaluates spatial predicates -- distance, containment, intersection -- inside a trusted execution environment and returns cryptographically signed results that a third party can verify.

docs.astral.global

Purpose

Verified locations and trusted zones still need a trustworthy join -- an evaluation whose result a third party can check rather than take on faith.

Approach

A geospatial compute service running PostGIS operations -- distance, containment, intersection -- inside a trusted execution environment, returning signed results usable off-chain or on-chain.

Status

Research preview; live hosted service with documentation.

astralverifiable-computationtee

Connections

Related Notes

Astral API

Preview

The Astral API indexes location attestations from the Ethereum Attestation Service across chains and serves them through OGC-compliant REST and GraphQL interfaces backed by PostGIS.

Astral Docs: Location Proofs

Active

The Astral documentation describes location proofs as verifiable artifacts pairing a claim about the timing and position of an event with corroborating evidence, graded along a certainty spectrum rather than treated as absolute.

Astral Docs: Location Records

Active

The Astral documentation describes location records -- signed, verifiable location data artifacts that add cryptographic attribution and integrity checking to raw geospatial data.

Astral: a spatial extension for the decentralized web

Active

This FOSS4G North America 2025 talk introduces Astral: the Location Protocol for signed spatial records, a modular library of location-proof strategies, and Spatial.sol utilities for smart contracts.

Astral SDK

Active

The Astral SDK is a TypeScript library for creating and verifying location attestations -- signed records that bind location data to a signer and a time, off-chain or on-chain via the Ethereum Attestation Service.

Subscribe to get a short note when I publish something new.

A digital garden, tended with care