BioBind binds biometric deduplication to zero-knowledge authentication
A prototype rejects tested composition attacks; its unlinkable circuit uses 31,445 constraints and about 305,000 gas.
23 stories, newest first · one card per story
A prototype rejects tested composition attacks; its unlinkable circuit uses 31,445 constraints and about 305,000 gas.
At constant soundness the verifier runs in (n+1) poly(L, log S, b); the honest prover needs O(S log S) complex operations.
Authors say the design holds 94% of clean CIFAR-100 accuracy under a gradient-scaling attack that drops FedAvg to 2.1%.

TideCloak delivers OIDC-compatible IAM with zero-knowledge auth and E2EE via threshold cryptography on the Tide Fabric.
VerfGraph cuts prover memory by 4.5x-6.6x and delivers 33.9x-59.7x speedups over ZKGraph on LDBC benchmarks.
The NOVY commitment is shown sum-binding and collapse-binding against quantum polynomial-time committers.

The editorial list scores ten vendors on governance, usability, encryption, compliance evidence and pricing, with no lab testing.
Authors say widely used RSD parameters miss 128-bit targets, with losses approaching 67 bits.
A zero-knowledge scheme lets QKD providers certify policy-compliant routes without revealing network topology.
ZKS-PQC swaps bulky post-quantum V2X signatures for compact zero-knowledge proofs, cutting message size over 95%.
Researchers prove interactive arguments for oracle-aided AI computations cannot, in general, be zero knowledge.
A complexity paper characterizes two-message quantum proofs with short prover messages via state distinguishability.
Researchers prove succinct arguments for QMA from collapsing hash functions, without public-key assumptions.
Researchers propose information-theoretic zero-knowledge proofs for multiparty quantum networks.
BenX, a new permutation hash, matches Poseidon2 FPGA throughput while improving hardware sharing and some zero-knowledge proving costs.
Researchers propose spatiotemporal MPC that keeps location and time private yet physically consistent.
A cs.CR paper defines certifiable keys for trapdoor claw-free functions and compiles quantumness proofs into zero-knowledge.
Cryptographers present ZK-JPEG, a zero-knowledge proof system verifying a published JPEG was correctly compressed from a signed camera image.
ServeGuard proves open-weight adapters contain no hidden monitor-blind channel without exposing certified weights.
TrustBOM lets vendors prove SBOMs lack specified vulnerabilities or licenses without revealing dependencies.

Product showcase reviews mSecure password manager's AES-256 zero-knowledge vault with passkeys, 2FA storage, and multi-device sync options.
Automated framework soundly removes up to 48.7% of redundant constraints in ezkl and zkml ZK-ML circuits, cutting prover time by up to 72.8%.
ZK-Trace combines Tardos fingerprints and zero-knowledge credentials to trace leaked classifier copies in federated GNSS monitoring without leaker cooperation.
Today 1.5K readers · 2.4K views · 754 reads · all time 189K views