Show HN: Orchid Mantis – PoC Zero Knowledge Proof of Exploit (ZKPoX) Framework
Orchid Mantis has introduced a new framework for Zero-Knowledge Proofs of Exploit Status (ZKPoX), currently in its experimental phase. This framework allows users to prove possession of an exploit for a public program without revealing the exploit itself. It includes binaries for proving and verifying exploit status, but users are advised against using it for real CVE disclosures until the stable version is released.
- ▪Orchid Mantis is a framework for producing and verifying zero-knowledge proofs of exploit status.
- ▪The current version is experimental and not recommended for real CVE disclosures until version 1.0 is released.
- ▪The framework includes two binaries: zkpox-prove for creating disclosure bundles and zkpox-verify for validating them.
Hacker News (Newest) files mainly under programming. We currently carry 5,306 of its stories.
Story provenance
Source · retrieval · rights · ranking — open for full record
inspect →
Story provenance
Attribution is not the same as permission. This drawer separates discovery metadata, excerpts, WeSearch-generated summaries, reuse status, and whether the publisher receives the visit. Nothing here claims a legal grant the publisher has not made.
Record
| Original publisher | GitHub |
| Canonical URL | https://github.com/unprovable/orchidmantis |
| Publication time | Sat, 16 May 2026 08:17:39 +0000 |
| Retrieval time | 2026-05-16T08:40:17.896Z |
| Last seen | 2026-05-16T08:40:17.896Z |
| Headline source | Publisher (no WeSearch rewrite) |
| Excerpt source | publisher body |
| Excerpt method | First ~120 words (~800 chars) of extracted publisher body, fair-use limited. |
| Summary | WeSearch · cerebras-chat (WeSearch summarizer) |
| Summary source text | contentText |
| Citation coverage | Summary is a WeSearch-generated derivative; primary citation is the original publisher URL. |
| Cluster | 7MFD8hIhRBwX |
| Cluster logic | Grouped by semantic title/content similarity across sources within a rolling window. Same-publisher template collisions are excluded from coverage comparison. |
| Ranking reason | Story pages are not engagement-ranked. Hub feeds use recency, with optional source-diversified chronological ordering (cap consecutive stories per source). No personalized ranking. |
| Publisher visit | Yes — open original |
| Substitutes article? | No — link-out required for full text |
Rights status (four layers)
WeSearch handling by dimension
| Indexing | May the item be indexed (stored, ranked, made findable)? | Allowed |
| Snippet | May a short excerpt of the publisher's text be shown? | Allowed |
| AI summary | May WeSearch generate its own short summary of the article? | Limited |
| Retrieval / RAG | May the content be exposed for third-party retrieval-augmented generation? | Not asserted |
| Model training | May the content be used to train AI models? | Not asserted |
| Commercial reuse | May the content be reused commercially? | Not permitted |
Basis: Derived from the published RSS/Atom feed. Contact: [email protected]. Reviewed: 2026-07-24.
Opening excerpt (first ~120 words) tap to expand
Orchid Mantis A Framework for ZKPoX — Zero-Knowledge Proofs of Exploit Status: experimental (v0.1). Bundle format, predicate library, and verifier semantics are not yet stable. Do not use for real CVE disclosure until v1.0 ships. See docs/SCOPE.md for the precise statement of what current bundles prove. zkpox is a standalone framework for producing and verifying zero-knowledge proofs that you possess an exploit for a public program, without revealing the exploit. It ships as two binaries: Binary What it does zkpox-prove Convert a target program + an exploit witness into a CBOR disclosure bundle. zkpox-verify Validate a bundle end-to-end: STARK proof, target binding, envelope, anchor. The proving backend is the SP1 zkVM.
…
Excerpt limited to ~120 words for fair-use compliance. The full article is at GitHub.