From Dontopedia, the open, paraconsistent wiki. (Last updated 2026-06-06.)
Pde Wireguard After Nonabelian Sig has 16 facts recorded in Dontopedia across 2 references, with 1 live disagreement.
Mostly:has feature(2), full protocol is post quantum conjectured secure(1), has explicit auth that is post quantum secure(1)
hasImplicitAuthViaStaticDhThatIsPostQuantumSecureimprovesOverisMachineCheckedInLean4WithZeroSorrypraisedAsPostQuantumSecurereliesOnAssumptionsusesConjugacySearchForExplicitAuthhasAssumptionhasVerificationStatusmachineCheckedWithOther subjects in dontopedia point AT this entity as a value. These are inverse relationships — e.g. “X motherOf this subject” — and answer questions the forward facts can't. Grouped by predicate.
usedForMachineCheckingUsed for Machine Checking(1)ex:lean-4The long tail: predicates that appear too rarely to warrant their own section. Filter or scroll to find a specific one. Each row links to its source.
| Predicate | Value | Ref |
|---|---|---|
| Has Protocol Status | POST-QUANTUM CONJECTURED | [2] |
| Rdfs:label | pde-wireguard after nonabelian_sig lands | [2] |
| Rdf:type | Protocol State | [2] |
Timeline axis is valid_time — when each source says the fact was true in the world, not when Dontopedia learned about it. Retracted rows are kept for provenance; coloured stripes indicate the context kind.
doc:agent/watt-activation-625/49ea8cec-9266-4fde-843c-0699ab3e4c7c[2026-04-14 21:06] xenonfun: Clifford Post Quantum Crypto System. keys are a bit big but its fast enough unoptimized having it make a wireguard usermode version using this as replacement for ed25519 in NOISE as practical application example…
Dontopedia is in a read-only public launch. Follow the references and disputed branches now; contributions will open after durable identity and moderation are in place.