667 packages matching “proving”
proving
v0.1.0 · 9 years ago
Validate then throw.
No known vulnerabilities
@provex/proving
v1.9.2 · 20 days ago
Headless enclave proving orchestrator for the Provex buy flow
No known vulnerabilities
highlightjs-lean
v1.2.0 · 2 years ago
A highlightjs language grammar for the Lean theorem proving language.
No known vulnerabilities
@ensdomains/dnsprovejs
v0.5.4 · 3 months ago
A library to generate chains of trust proving DNS records via DNSSEC
No known vulnerabilities
@penumbra-zone/keys
v4.2.3 · 1 year ago
Tool to download proving keys for Penumbra
No known vulnerabilities
@midnight-ntwrk/midnight-js-node-zk-config-provider
v4.1.1 · 2 months ago
MidnightJS module for reading proving and verifying keys and ZK intermediate representation
No known vulnerabilities
@sismo-core/hydra-s1
v1.0.7 · 3 years ago
Hydra S1 Proving scheme
No known vulnerabilities
@sismo-core/hydra-s3
v1.0.3 · 3 years ago
Hydra S3 Proving scheme
No known vulnerabilities
@midnight-ntwrk/midnight-js-fetch-zk-config-provider
v4.1.1 · 2 months ago
MidnightJS module for retrieving proving and verifying keys and ZK intermediate representation
No known vulnerabilities
eth-proof
v2.1.6 · 5 years ago
Proving things in the Ethereum Patricia Trie (tree)
No known vulnerabilities
@midnight-ntwrk/midnight-js-dapp-connector-proof-provider
v4.1.1 · 2 months ago
Implementation of proof provider leveraging the DApp Connector's proving API
No known vulnerabilities
@ensdomains/dnssecoraclejs
v0.2.8 · 3 years ago
A library for proving DNS records to the ENS DNSSEC oracle contracts
No known vulnerabilities
@getvouch/mobile-sdk
v0.1.4 · 1 day ago
React Native SDK for the Vouch proving flow
No known vulnerabilities
@sismo-core/pythia-1
v1.0.6 · 3 years ago
Pythia 1 Proving scheme
No known vulnerabilities
@sharptrick/parley-sqlite
v0.9.0 · 12 days ago
Parley SQLite backend: zero-infra, polling-only seam implementation. The seam-proving reference backend.
No known vulnerabilities
@opaquecash/psr-prover
v0.2.4 · 9 days ago
Circom witness helpers and Groth16 proving (snarkjs) for PSR
No known vulnerabilities
@finallyfavor/jalisa
v0.7.0 · 1 day ago
Jalisa — agent-governance kit for AI coding agents: git-backed shared memory, machine-enforced protocol, self-proving results.
No known vulnerabilities
spawnteract
v5.0.1 · 6 years ago
Proving out an API for spawning Jupyter kernels
No known vulnerabilities
@wisp_/sdk
v0.3.0 · 1 month ago
TypeScript SDK for proving, settling, and auditing Wisp compliant transfers on Stellar
No known vulnerabilities
@baerae/zkap-zkp-react-native
v0.1.14 · 9 days ago
React Native SDK for zkap-zkp — on-device ZK proving with Groth16 (BN254) and Poseidon hash.
No known vulnerabilities