ORTHO Java SDK

Problem

Stable application-facing interfaces over the ORTHO system contracts.

Approach

Typed Java APIs for devices, tensor jobs, execution traces, and verification results, with a simulator transport.

Verification and limits

Simulator tests do not establish FPGA or ASIC performance. Hardware transport support must be checked against the current project documentation.

This project summary reviews public documentation. It does not substitute for the project's build, tests, proof audit, or independent evaluation.

License

BSL / AGPL / MPL — see terms. The actual project terms govern use.