tRust
An SDK to write “Rust code you can trust”
- Writing/auditing code in Rust once and execute it on any proving environment
- An abstraction layer for off-chain computation systems (i.e. zkVMs, teeVMs)
SafeJunction Engine
A database for proofs
- A unified interface to submit, index, and query verified statements
- Integrate with proof-aggregation systems to ensure efficient on-chain verification
SafeJunction Explorer
The Off-chain Fact Explorer
- Simplifies access to information in the proofs database
- Enables the visual discovery and reusability of verified statements by different parties.