-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#71 In hartsock/content-addressable;
feat(merkle): Merkle Time-Series Ring — retention-proof circular log
enhancementNew feature or requestNew feature or requestmerkle-catalogMerkle structure catalog epic workMerkle structure catalog epic workspeculativeNovel/invented structure — explicitly speculativeNovel/invented structure — explicitly speculativeStatus: Open.#67 In hartsock/content-addressable;feat(atlas): CID Indirection Atlas — cyclic graphs in a DAG-only CAS
enhancementNew feature or requestNew feature or requestmerkle-catalogMerkle structure catalog epic workMerkle structure catalog epic workspeculativeNovel/invented structure — explicitly speculativeNovel/invented structure — explicitly speculativeStatus: Open.#66 In hartsock/content-addressable;feat(merkle): persistent Merkle vector (CID-RRB) — verifiable Vec
enhancementNew feature or requestNew feature or requestmerkle-catalogMerkle structure catalog epic workMerkle structure catalog epic workspeculativeNovel/invented structure — explicitly speculativeNovel/invented structure — explicitly speculativeStatus: Open.#65 In hartsock/content-addressable;feat(merkle): SeqHash uniquely-represented sequence tree (VerSum)
enhancementNew feature or requestNew feature or requestmerkle-catalogMerkle structure catalog epic workMerkle structure catalog epic workStatus: Open.#64 In hartsock/content-addressable;feat(merkle): entangled Merkle forest (Snarl parity + version chain)
enhancementNew feature or requestNew feature or requestmerkle-catalogMerkle structure catalog epic workMerkle structure catalog epic workStatus: Open.#63 In hartsock/content-addressable;feat(verkle): vector-commitment carrier nodes + CAS walk
enhancementNew feature or requestNew feature or requestmerkle-catalogMerkle structure catalog epic workMerkle structure catalog epic workStatus: Open.#62 In hartsock/content-addressable;feat(merkle): persistent authenticated dictionary (treap-profile MVP)
enhancementNew feature or requestNew feature or requestformalLean/TLA+/algebra formalizationLean/TLA+/algebra formalizationmerkle-catalogMerkle structure catalog epic workMerkle structure catalog epic workStatus: Open.#61 In hartsock/content-addressable;feat(imt): zk-friendly append-only trees — frontier IMT MVP
enhancementNew feature or requestNew feature or requestmerkle-catalogMerkle structure catalog epic workMerkle structure catalog epic workStatus: Open.#60 In hartsock/content-addressable;feat(merkle): verifiable-map head chain (key transparency spine)
enhancementNew feature or requestNew feature or requestmerkle-catalogMerkle structure catalog epic workMerkle structure catalog epic workStatus: Open.#59 In hartsock/content-addressable;feat(merkle): annotated Merkle trees (sum/aggregate/range/spatial)
enhancementNew feature or requestNew feature or requestformalLean/TLA+/algebra formalizationLean/TLA+/algebra formalizationmerkle-catalogMerkle structure catalog epic workMerkle structure catalog epic workStatus: Open.#58 In hartsock/content-addressable;feat(utreexo): accumulator forest for O(log n) stateless verification
enhancementNew feature or requestNew feature or requestformalLean/TLA+/algebra formalizationLean/TLA+/algebra formalizationmerkle-catalogMerkle structure catalog epic workMerkle structure catalog epic workStatus: Open.#57 In hartsock/content-addressable;