Where the design ideas came from
OpenChainGraph and its kernels build on ideas published elsewhere. This page lists every one of them in a single place, with attribution, license, and whether the idea has shipped as a live tool or is specced but not yet built.
Ideas only, never text or code
Every entry below is a design idea we studied and adapted in our own words and our own implementation: an aggregation formula, a delegation construction, a verification pattern. None of it is a runtime dependency, and none of it is copied text or copied source. Where a project's license requires attribution for that kind of design reuse, we give it here and again inline wherever the idea is used.
Borrow the idea, credit the source, never the text or the code. If a page or a spec section on this site uses one of these ideas, it links back to this entry.
Every borrowed idea, one entry each
Reputation aggregation design: combining a set of signed attestations into a single decaying score across multiple dimensions, self-issued attestations excluded.
Used in: the reputation score aggregator kernel. github.com/vouch-protocol ↗
Weakest-link claim-strength composition across a chain of steps, named determinism classes for kernel outputs, and a PRNG-keying rider for reproducible randomness.
Used in: §CLAIMSTR-1 (claim_strength composition) and §DETCLASS-1 (per-kernel determinism class) in the OpenChainGraph spec. FrankenSim's license carries unvetted terms, so only the ideas were taken, never any of its text or code.
The awesome-zk-ai list surfaced the discovery path; opML's optimistic assert-then-challenge verification (arXiv 2401.17555) and the Merkle sampled-trace commitment from eprint 2026/541 inform the planned execution_claim surface.
Used in: the EXECLAIM-1 execution_claim design (specced, not yet a shipped kernel).
Robocorp's work-item taxonomy and Windmill's counted-resume approval flow shape how a stalled agent run gets escalated to a named human and resumed as a signed artifact.
Used in: the EXQ-1 exception-queue spec rider. Windmill's core is AGPLv3; only the approval semantics were borrowed, never its code.
Three separate borrows landed together in the SPEC-TICK-088 pass: C2SP's checkpoint/cosignature format for witness cosigning anchor batches, the IETF RATS EAR/AR4SI trustworthiness-vector shape for signed failure receipts, and Eclipse Biscuit's offline attenuation-block chaining for multi-hop mandate delegation. Biscuit's Datalog authorization runtime was not adopted, only its block-chaining construction.
Used in: §WITNESS-1, §VERDICT-1, and §ATTEN-1 of the OpenChainGraph spec.
The W3C Deterministic Profile enumerates the escape hatches a deterministic Wasm/JS guest must close; the RISC-V frozen base-ISA policy is the model for never revising a ratified kernel-semantics profile in place, only adding a new one alongside it.
Used in: §24 of the OpenChainGraph spec (the Deterministic Compute Profile and its §24.2 freeze clause).