Zilch: A Framework for Developing Zero-Knowledge Proofs for Any Application
-
Updated
Apr 1, 2022 - C++
#
trustworthy-computing
Here are 3 public repositories matching this topic...
Windows Sandbox Tool - Trustworthy Computing
-
Updated
Jun 17, 2018 - C#
Mathematical evidence kernel for agents: exact, checked, bounded, formal-bounded, and refusal-preserving computation. JACKAL v1.7.3 provides the released 41-tool surface for JACKAL, Codex, and Hermes.
scientific-computing interval-arithmetic formal-verification numerical-analysis reproducible-builds evidence trustworthy-computing lean4 anubis-lang claim-compiler hermes-plugin-backend
-
Updated
Aug 29, 2026 - Python
Improve this page
Add a description, image, and links to the trustworthy-computing topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the trustworthy-computing topic, visit your repo's landing page and select "manage topics."