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 in Anubis: every answer declares its epistemic class (exact / checked / estimated / bounded / Lean-checked formal-bounded / model-based) or refuses. 34 Hermes tools, certified bound_step composition (int_cert_sound), content-addressed claim bundles with independent replay, byte-reproducible sealed releases.
scientific-computing interval-arithmetic formal-verification numerical-analysis reproducible-builds evidence trustworthy-computing lean4 anubis-lang claim-compiler hermes-plugin-backend
-
Updated
Aug 18, 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."