Zero-Knowledge Proofs "for (not too much 😉 ) dummies"
Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
📝 A Rocq library written by members of PnV Discord Server
A formal definition and verification of System F. To be extended to System Fc
He Reiter, Ho Reiter, He Reiter, Immer weiter!
"Testing Static Analyses for Precision and Soundness". This is an artifact of our work accepted at the CGO 2020.
Modular Soundness Checking for Feature Model Evolution Plans
Workflow-net runtime for DeepSeek Harness: resource-aware concurrency, native loops and fan-out, static soundness checking before a plan becomes durable, and process mining over its own event log.
A New Coq Formalisation of Classical First-Order Logic with Proofs of the Soundness and Completeness Theorems
The maintained successor to cgmath 0.18 — same API, known soundness issues fixed.
Concrete soundness modelling for FRI-based STARKs: where the exploitable slack is
AI soundness reviewer for plonky2 zero-knowledge circuits
Soundness protocol interaction and cryptographic verification scripts
Sound, target-agnostic Oracle for validating write-BOLA/IDOR vulnerabilities in APIs. Canary-witnessed soundness, honest audit reporting, ARES-native integration. Proven on real third-party apps (Juice Shop, crAPI).
How often does your verifier claim success on input it could not check? A benchmark for unearned passes
Prove a document cannot match a regex before an engine reads it. Register-sized SP-quotients of the pattern's automaton, sound one way by construction - a sieve may pass a non-match, never reject a match.
To associate your repository with the soundness topic, visit your repo's landing page and select "manage topics."