Tooling
Pages grouped by this topic tag.
Checking Source ClaimsWorking Model BridgesHow to read public source IDs, claim status, and Open Questions without upgrading uncertainty.Toccata Application LifecycleWorking Model BridgesA status-safe bridge from transaction v1 through covenant state, inline ZK, and based-app observation.CovenantsToccataExplain covenant state, lineage, introspection, covenant IDs, and output constraints with clear implementation and proposal boundaries.Counter Covenant StarterToccataA counter covenant starter is a teaching pattern to verify, not an upstream-endorsed production recipe. It introduces successor checks, negative tests, and state encoding while keeping every concrete rule source-gated.Covenant Design PatternsToccataDesign patterns help readers recognize covenant shapes before building them.Vault Covenant StarterToccataA vault starter is design-question guidance until a concrete upstream vault implementation, wallet flow, and accepted-evidence path are verified.Developer IntegrationDeveloper IntegrationMap docs, APIs, SDKs, indexers, tests, and tooling into a source-checked integration guide.Indexers And Accepted EvidenceDeveloper IntegrationIndexers make accepted data usable, but they must recover, replay, and handle stale heads.SDKs And Wallet BuildersDeveloper IntegrationSDK pages teach build/decode/sign/submit/observe loops while keeping wallet authority and network evidence separate.Software EcosystemContextSoftware ecosystem pages help readers find public projects without claiming compatibility beyond sources.ToolsContextTool catalogs group resources by task while avoiding endorsement language.FAQFirst ContactQuestion-led answers for common first-contact Kaspa guide confusions.GlossaryFirst ContactShort definitions for recurring Kaspa guide terms, with links into deeper mechanics.Open Research GapsOpen Research GapsVisible unresolved source checking work that blocks a final authoritative release.SilverScript AuthoringToccataSilverScript authoring is a convenience layer for writing covenant scripts, not a replacement for protocol review.SilverScript Compiler And LoweringToccataCompiler and lowering pages explain how higher-level declarations become scripts and what still needs manual review.vProgs ArchitectureToccatavProgs is treated as evolving reference/runtime work that needs tooling-readiness labels.Status Labels: Current, Proposed, Historical, ResearchStart HereHow the guide labels claims so current behavior is not mixed with proposals, history, research, or local experience.Negative Cases And Failure MatrixToccataA failure matrix makes ZK safer by naming what must fail.RISC Zero Succinct Transition StarterToccataThe RISC Zero starter is a conceptual checklist until a concrete public upstream recipe is verified, and it makes image ID, journal digest, receipt/seal, and verifier boundaries explicit.