proof — здоров'я програмного забезпечення з відкритим кодом

crates.io

98Винятковийіндекс здоров'я

zama-ai/tfhe-rs

TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.

Rust · Assembly · Cuda★ 1 652↓ 126.2K/міс5 вер. 2026 р.

Власна ліцензія5 вер. 2026 р. · метрики 2.10.0

crates.io

89Відміннийіндекс здоров'я

creusot-rs/creusot

Creusot helps you prove your Rust code is correct.

Rust★ 1 812↓ 13.3K/міс27 лип. 2026 р.

LGPL-2.127 лип. 2026 р. · метрики 2.10.0

npm

84Відміннийіндекс здоров'я

eyereasoner/eye-js

A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.

TypeScript · JavaScript★ 69↓ 6 382/міс17 лип. 2026 р.

MIT17 лип. 2026 р. · метрики 2.10.0

npm

77Добрийіндекс здоров'я

neus/network

The trust layer for people and AI. Portable identity, context, and authorization that travels.

JavaScript · Solidity★ 25↓ 2 025/міс21 лип. 2026 р.

Власна ліцензія21 лип. 2026 р. · метрики 2.10.0

crates.io

71Добрийіндекс здоров'я

aretta-ai/aristo

An SDK for verifiable intent, inline with code: one-line claims above your functions, verified at the rigor you choose and flagged when they drift. Agent-first, MIT.

Rust★ 32↓ 68K/міс23 лип. 2026 р.

MIT23 лип. 2026 р. · метрики 2.10.0

npm

69Добрийіндекс здоров'я

reclaimprotocol/reclaim-js-sdk

JavaScript SDK for easy integration of Reclaim Protocol that enables authenticated web data export via HTTPS and zero-knowledge proofs

TypeScript★ 37↓ 18.9K/міс22 серп. 2026 р.

Без ліцензії22 серп. 2026 р. · метрики 2.10.0

crates.io · npm · PyPI

67Добрийіндекс здоров'я

cool-japan/oxiz

OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to reimplement Z3 in Pure Rust. Pure Rust is a fundamental requirement - no C/C++ dependencies, no FFI bindings, just clean, safe Rust code.

Rust★ 49↓ 9 818/міс19 лип. 2026 р.

Apache-2.019 лип. 2026 р. · метрики 2.10.0

PyPI · crates.io

67Добрийіндекс здоров'я