Documentation Index

Fetch the complete documentation index at: https://docs.astral.global/llms.txt

Use this file to discover all available pages before exploring further.

​

Research

Astral sits at the intersection of geospatial science, cryptography, and trusted computing. We’re actively publishing research and welcome academic collaboration.

​

Papers

​

Towards stronger location proofs

Our foundational paper on composable location proofs — how to combine evidence from multiple proof-of-location systems into credible, verifiable claims about physical presence. Read on Flashbots Collective

​

Research agenda

We’re working on three interconnected problems:

​

Composable location proofs

How do you combine evidence from independent proof-of-location systems (device attestation, network triangulation, institutional records) into a single credibility assessment? Our location proofs framework addresses this — defining claims, stamps, and multi-factor verification.

​

Verifiable geocomputation

How do you prove that a spatial computation (distance, containment, intersection) was performed correctly on specific inputs? Today we use TEE execution with signed results. Future work explores zero-knowledge proofs for spatial predicates.

​

Spatial accountability for autonomous systems

As autonomous agents (drones, vehicles, robots) operate in physical space, how do you create verifiable records of where they were and what spatial constraints they respected? This connects geofence compliance, corridor verification, and auditable spatial logs.

​

Open source

All of Astral’s core infrastructure is open source. Contributions, issues, and research collaborations are welcome. GitHub

​

Get involved

If you’re working on related problems — verifiable computation, location privacy, spatial data integrity, or autonomous systems accountability — we’d like to hear from you. Open an issue on GitHub or reach out through the channels listed there.