Validate then throw.
Hydra S1 Proving scheme
A highlightjs language grammar for the Lean theorem proving language.
Pythia 1 Proving scheme
A library to generate chains of trust proving DNS records via DNSSEC
MidnightJS module for reading proving and verifying keys and ZK intermediate representation
Tool to download proving keys for Penumbra
MidnightJS module for retrieving proving and verifying keys and ZK intermediate representation
Proving out an API for spawning Jupyter kernels
A library for proving DNS records to the ENS DNSSEC oracle contracts
Proving things in the Ethereum Patricia Trie (tree)
Hydra S3 Proving scheme
Delegate [Aztec](https://aztec.network) transaction proving to a Trusted Execution Environment.
Implementation of proof provider leveraging the DApp Connector's proving API
An adapter for apidog proving reports in allure format
Groth16 proving artifacts for test node.js environments
React Native SDK for zkap-zkp — on-device ZK proving with Groth16 (BN254) and Poseidon hash.
UpHill Health library proving service abstraction for react applications using Axios and TanStack Query
EVM adapter for the ShieldPay SDK: viem-backed chain, vault, burner, stealth, protocol-aware stealth integrations, deposit, transfer, withdraw, recovery, discovery, proving, and event-source implementations.
This library includes functions for proving and verifying ECDSA signatures over the Baby Jubjub elliptic curve. Some included functionality:
Hydra S2 Proving scheme
ZK Simple Merkle Proving Scheme
TypeScript SDK that routes Aztec private kernel proving to a local native accelerator, bypassing browser WASM throttling. Zero-config — auto-detects the [Aztec Accelerator](../../packages/accelerator) desktop app on localhost, falls back to WASM if unavai
NPM Modules for proving and verifying using TLSNotary in the browser.
OtterSec plonky2 proof of reserves
Binary that integrates XLS capabilities into a driver program
Miden rollup proving service
Propositional logic with exponentials
ACIR is the IR that the VM processes, it is analogous to LLVM IR
Ligerito polynomial commitment scheme over binary extension fields
ZK DevKit for Stellar/Soroban — unified CLI for Groth16, UltraHonk, and RISC Zero
Core library for stellar-zk: traits, config, pipeline, templates
Groth16 backend for stellar-zk (Circom + snarkjs)
RISC Zero backend for stellar-zk (zkVM + Groth16 wrapper)
Noir + UltraHonk backend for stellar-zk (nargo + Barretenberg)
Spartan ZKP system over arkworks (fork for golden-dkg crate)
Guard::Prove automatically run your Perl tests (much like autotest)
A gem to prove the entire gem building and deploying process
Check https://iwilcox.me.uk/2014/proving-bitcoin-reserves for more details.
You can prove anything with facts!
Coming soon: gemophilia.
Ruby gem to prove client has the other half of a keypair
Originally written by github user bradleyjames, minitest-proveit forces all tests to prove success (via at least one assertion) rather than rely on the absence of failure.
You can prove anything with facts!
n-dimensional table interpolation
Production system (or model). Load facts and rules from files and than prove other facts.
My first gem with various utilities (colors and tests now). My name is Riccardo, hence 'ric' (ok I admit it, this was just ot prove Im able to build a sentence with hence!)
Provee los servicios de creacion de cargos verificacion etc.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.