From 63d87bbb388c964a9cc758397677ac2d6951c342 Mon Sep 17 00:00:00 2001
From: Garand Tyson <garand@stellar.org>
Date: Wed, 12 Feb 2025 15:25:03 -0800
Subject: [PATCH] Remove ColdArchive and proof structs (#232)

---
 Stellar-ledger-entries.x |  3 +--
 Stellar-transaction.x    | 50 ----------------------------------------
 2 files changed, 1 insertion(+), 52 deletions(-)

diff --git a/Stellar-ledger-entries.x b/Stellar-ledger-entries.x
index 5bf4f9d..b9a313f 100644
--- a/Stellar-ledger-entries.x
+++ b/Stellar-ledger-entries.x
@@ -682,8 +682,7 @@ enum EnvelopeType
 enum BucketListType
 {
     LIVE = 0,
-    HOT_ARCHIVE = 1,
-    COLD_ARCHIVE = 2
+    HOT_ARCHIVE = 1
 };
 
 /* Entries used to define the bucket list */
diff --git a/Stellar-transaction.x b/Stellar-transaction.x
index 7d32481..f768509 100644
--- a/Stellar-transaction.x
+++ b/Stellar-transaction.x
@@ -823,56 +823,6 @@ struct LedgerFootprint
     LedgerKey readWrite<>;
 };
 
-enum ArchivalProofType
-{
-    EXISTENCE = 0,
-    NONEXISTENCE = 1
-};
-
-struct ArchivalProofNode
-{
-    uint32 index;
-    Hash hash;
-};
-
-typedef ArchivalProofNode ProofLevel<>;
-
-struct NonexistenceProofBody
-{
-    ColdArchiveBucketEntry entriesToProve<>;
-
-    // Vector of vectors, where proofLevels[level]
-    // contains all HashNodes that correspond with that level
-    ProofLevel proofLevels<>;
-};
-
-struct ExistenceProofBody
-{
-    LedgerKey keysToProve<>;
-
-    // Bounds for each key being proved, where bound[n]
-    // corresponds to keysToProve[n]
-    ColdArchiveBucketEntry lowBoundEntries<>;
-    ColdArchiveBucketEntry highBoundEntries<>;
-
-    // Vector of vectors, where proofLevels[level]
-    // contains all HashNodes that correspond with that level
-    ProofLevel proofLevels<>;
-};
-
-struct ArchivalProof
-{
-    uint32 epoch; // AST Subtree for this proof
-
-    union switch (ArchivalProofType t)
-    {
-    case EXISTENCE:
-        NonexistenceProofBody nonexistenceProof;
-    case NONEXISTENCE:
-        ExistenceProofBody existenceProof;
-    } body;
-};
-
 // Resource limits for a Soroban transaction.
 // The transaction will fail if it exceeds any of these limits.
 struct SorobanResources