diff --git a/CHANGES.rst b/CHANGES.rst index a599a5d3fdcb3baed58c7f73578014df871a9c34..5ebdf651d6e43d7b009f827925db61442965e060 100644 --- a/CHANGES.rst +++ b/CHANGES.rst @@ -120,6 +120,9 @@ Protocol Compiler And Environment - Added a new version of the protocol environment (V13). (MR :gl:`!12966`) +- Remove with_legacy_attestation_name encodings from the protocol environment. + (MR :gl:`!14046`) + Codec ----- diff --git a/src/bin_client/test/proto_test_injection/main.ml b/src/bin_client/test/proto_test_injection/main.ml index 048e13ed7827af45443dd7a1a42097b26ec83cfc..0e45e96b57ce52d03db451c0e1d04ee860718705 100644 --- a/src/bin_client/test/proto_test_injection/main.ml +++ b/src/bin_client/test/proto_test_injection/main.ml @@ -37,32 +37,20 @@ type block_header_metadata = unit let block_header_metadata_encoding = Data_encoding.unit -let block_header_metadata_encoding_with_legacy_attestation_name = - Data_encoding.unit - type operation_data = unit let operation_data_encoding = Data_encoding.unit -let operation_data_encoding_with_legacy_attestation_name = - operation_data_encoding - type operation_receipt = unit let operation_receipt_encoding = Data_encoding.unit -let operation_receipt_encoding_with_legacy_attestation_name = - operation_receipt_encoding - let operation_data_and_receipt_encoding = Data_encoding.conv (function (), () -> ()) (fun () -> ((), ())) Data_encoding.unit -let operation_data_and_receipt_encoding_with_legacy_attestation_name = - operation_data_and_receipt_encoding - type operation = { shell : Operation.shell_header; protocol_data : operation_data; diff --git a/src/lib_protocol_environment/environment_V0.ml b/src/lib_protocol_environment/environment_V0.ml index 67a697bb9b069151175957ff91d5699c6bd4af8d..e3330ccf9c23b614f4c3ad63972d7326e2c9cc44 100644 --- a/src/lib_protocol_environment/environment_V0.ml +++ b/src/lib_protocol_environment/environment_V0.ml @@ -833,7 +833,7 @@ struct end module Lift (P : Updater.PROTOCOL) = struct - include IgnoreCaches (Environment_protocol_T.V0toV10 (LiftV0 (P))) + include IgnoreCaches (Environment_protocol_T.V0toV13 (LiftV0 (P))) let set_log_message_consumer _ = () diff --git a/src/lib_protocol_environment/environment_V1.ml b/src/lib_protocol_environment/environment_V1.ml index 8325d72e2a3bb7fe2d5b7620f41cfa4ae148bcc1..e53ff1cc44dc4eceabe6f27b4663aac8c9ddea5b 100644 --- a/src/lib_protocol_environment/environment_V1.ml +++ b/src/lib_protocol_environment/environment_V1.ml @@ -963,7 +963,7 @@ struct end module Lift (P : Updater.PROTOCOL) = struct - include IgnoreCaches (Environment_protocol_T.V0toV10 (LiftV1 (P))) + include IgnoreCaches (Environment_protocol_T.V0toV13 (LiftV1 (P))) let set_log_message_consumer _ = () diff --git a/src/lib_protocol_environment/environment_V13.ml b/src/lib_protocol_environment/environment_V13.ml index 3ce00d153b6c7b79c7c9aae0d2f106deb5c03b85..5ce404aeb98ab7512c68cedb56fad55097aa4ddf 100644 --- a/src/lib_protocol_environment/environment_V13.ml +++ b/src/lib_protocol_environment/environment_V13.ml @@ -1085,7 +1085,7 @@ struct let activate = Context.set_protocol module type PROTOCOL = - Environment_protocol_T_V10.T + Environment_protocol_T_V13.T with type context := Context.t and type cache_value := Environment_context.Context.cache_value and type cache_key := Environment_context.Context.cache_key diff --git a/src/lib_protocol_environment/environment_V2.ml b/src/lib_protocol_environment/environment_V2.ml index 63abd1a64dd975cbc8abec873be67cd34f2dfa04..1ccbcee9325e9256c125bcbd2f2e58106646042e 100644 --- a/src/lib_protocol_environment/environment_V2.ml +++ b/src/lib_protocol_environment/environment_V2.ml @@ -958,7 +958,7 @@ struct end module Lift (P : Updater.PROTOCOL) = struct - include IgnoreCaches (Environment_protocol_T.V0toV10 (LiftV2 (P))) + include IgnoreCaches (Environment_protocol_T.V0toV13 (LiftV2 (P))) let set_log_message_consumer _ = () diff --git a/src/lib_protocol_environment/environment_V3.ml b/src/lib_protocol_environment/environment_V3.ml index 40d9899b6e967842955cbf719e1c24f898a67501..14baa6efad1d3d61ff4bc8003c5b0da10a40beb0 100644 --- a/src/lib_protocol_environment/environment_V3.ml +++ b/src/lib_protocol_environment/environment_V3.ml @@ -1044,18 +1044,6 @@ struct include P - let block_header_metadata_encoding_with_legacy_attestation_name = - block_header_metadata_encoding - - let operation_data_encoding_with_legacy_attestation_name = - operation_data_encoding - - let operation_receipt_encoding_with_legacy_attestation_name = - operation_receipt_encoding - - let operation_data_and_receipt_encoding_with_legacy_attestation_name = - operation_data_and_receipt_encoding - let value_of_key ~chain_id ~predecessor_context ~predecessor_timestamp ~predecessor_level ~predecessor_fitness ~predecessor ~timestamp = let open Lwt_result_syntax in diff --git a/src/lib_protocol_environment/environment_V4.ml b/src/lib_protocol_environment/environment_V4.ml index 0627db62e94d0c0ebf283180fad8ab20d435f8a1..2e1375784bfc0d5260b6aee20599fbd83e0f7b48 100644 --- a/src/lib_protocol_environment/environment_V4.ml +++ b/src/lib_protocol_environment/environment_V4.ml @@ -1061,18 +1061,6 @@ struct include P - let block_header_metadata_encoding_with_legacy_attestation_name = - block_header_metadata_encoding - - let operation_data_encoding_with_legacy_attestation_name = - operation_data_encoding - - let operation_receipt_encoding_with_legacy_attestation_name = - operation_receipt_encoding - - let operation_data_and_receipt_encoding_with_legacy_attestation_name = - operation_data_and_receipt_encoding - let value_of_key ~chain_id ~predecessor_context ~predecessor_timestamp ~predecessor_level ~predecessor_fitness ~predecessor ~timestamp = let open Lwt_result_syntax in diff --git a/src/lib_protocol_environment/environment_V5.ml b/src/lib_protocol_environment/environment_V5.ml index 296a46b19f113a0067c640f55fc22149b3adc45f..e496b8bc6f6b6433909d47f9a5391bc002075d37 100644 --- a/src/lib_protocol_environment/environment_V5.ml +++ b/src/lib_protocol_environment/environment_V5.ml @@ -1038,18 +1038,6 @@ struct include P - let block_header_metadata_encoding_with_legacy_attestation_name = - block_header_metadata_encoding - - let operation_data_encoding_with_legacy_attestation_name = - operation_data_encoding - - let operation_receipt_encoding_with_legacy_attestation_name = - operation_receipt_encoding - - let operation_data_and_receipt_encoding_with_legacy_attestation_name = - operation_data_and_receipt_encoding - let value_of_key ~chain_id ~predecessor_context ~predecessor_timestamp ~predecessor_level ~predecessor_fitness ~predecessor ~timestamp = let open Lwt_result_syntax in diff --git a/src/lib_protocol_environment/environment_V6.ml b/src/lib_protocol_environment/environment_V6.ml index 081a8bf70e49ba503d6be7f9b22f53203a84bc0e..f8b235bdb42c9ba79309e4648886be925e9a533d 100644 --- a/src/lib_protocol_environment/environment_V6.ml +++ b/src/lib_protocol_environment/environment_V6.ml @@ -1131,18 +1131,6 @@ struct include P - let block_header_metadata_encoding_with_legacy_attestation_name = - block_header_metadata_encoding - - let operation_data_encoding_with_legacy_attestation_name = - operation_data_encoding - - let operation_receipt_encoding_with_legacy_attestation_name = - operation_receipt_encoding - - let operation_data_and_receipt_encoding_with_legacy_attestation_name = - operation_data_and_receipt_encoding - let value_of_key ~chain_id ~predecessor_context ~predecessor_timestamp ~predecessor_level ~predecessor_fitness ~predecessor ~timestamp = let open Lwt_result_syntax in diff --git a/src/lib_protocol_environment/environment_V7.ml b/src/lib_protocol_environment/environment_V7.ml index 9594346c47bf2851f42be0f69ba62158dcc27f39..5cf3114d9e5ef1734f03feb57bec3b12e8a4639f 100644 --- a/src/lib_protocol_environment/environment_V7.ml +++ b/src/lib_protocol_environment/environment_V7.ml @@ -1113,18 +1113,6 @@ struct include P - let block_header_metadata_encoding_with_legacy_attestation_name = - block_header_metadata_encoding - - let operation_data_encoding_with_legacy_attestation_name = - operation_data_encoding - - let operation_receipt_encoding_with_legacy_attestation_name = - operation_receipt_encoding - - let operation_data_and_receipt_encoding_with_legacy_attestation_name = - operation_data_and_receipt_encoding - let value_of_key ~chain_id ~predecessor_context ~predecessor_timestamp ~predecessor_level ~predecessor_fitness ~predecessor ~timestamp = let open Lwt_result_syntax in diff --git a/src/lib_protocol_environment/environment_V8.ml b/src/lib_protocol_environment/environment_V8.ml index 0d67854dd2c684f7efb8f6bb2407c9b718738581..4a1cd9cd360685dc33893dd63bf5cbefb2fca118 100644 --- a/src/lib_protocol_environment/environment_V8.ml +++ b/src/lib_protocol_environment/environment_V8.ml @@ -1191,18 +1191,6 @@ struct include P - let block_header_metadata_encoding_with_legacy_attestation_name = - block_header_metadata_encoding - - let operation_data_encoding_with_legacy_attestation_name = - operation_data_encoding - - let operation_receipt_encoding_with_legacy_attestation_name = - operation_receipt_encoding - - let operation_data_and_receipt_encoding_with_legacy_attestation_name = - operation_data_and_receipt_encoding - let value_of_key ~chain_id ~predecessor_context ~predecessor_timestamp ~predecessor_level ~predecessor_fitness ~predecessor ~timestamp = let open Lwt_result_syntax in diff --git a/src/lib_protocol_environment/environment_V9.ml b/src/lib_protocol_environment/environment_V9.ml index 8320b661c4f1c0622ffaaafe66a31e6f8c3cd6cc..85955703fa3e40287f640c5014a0e7c024736d14 100644 --- a/src/lib_protocol_environment/environment_V9.ml +++ b/src/lib_protocol_environment/environment_V9.ml @@ -1191,18 +1191,6 @@ struct include P - let block_header_metadata_encoding_with_legacy_attestation_name = - block_header_metadata_encoding - - let operation_data_encoding_with_legacy_attestation_name = - operation_data_encoding - - let operation_receipt_encoding_with_legacy_attestation_name = - operation_receipt_encoding - - let operation_data_and_receipt_encoding_with_legacy_attestation_name = - operation_data_and_receipt_encoding - let value_of_key ~chain_id ~predecessor_context ~predecessor_timestamp ~predecessor_level ~predecessor_fitness ~predecessor ~timestamp = let open Lwt_result_syntax in diff --git a/src/lib_protocol_environment/environment_protocol_T.ml b/src/lib_protocol_environment/environment_protocol_T.ml index c7ca0e0cd831883dcaed6c2efaf4966d4ff960c0..0f5d2b167a358d6c1e34b8e2d7448c47422ff22c 100644 --- a/src/lib_protocol_environment/environment_protocol_T.ml +++ b/src/lib_protocol_environment/environment_protocol_T.ml @@ -49,11 +49,11 @@ open Environment_context environment ([module type Vx_T]). If you want to mock this module type, see {!Environment_protocol_T_test}. *) -module type T = Environment_protocol_T_V10.T +module type T = Environment_protocol_T_V13.T (* Documentation for this interface may be found in module type [PROTOCOL] of [sigs/v6/updater.mli]. *) -module V0toV10 +module V0toV13 (E : Environment_protocol_T_V0.T with type context := Context.t and type quota := quota diff --git a/src/lib_protocol_environment/environment_protocol_T_V13.ml b/src/lib_protocol_environment/environment_protocol_T_V13.ml new file mode 100644 index 0000000000000000000000000000000000000000..422159a72f887a95e05f7633d707f7a8e2f0958f --- /dev/null +++ b/src/lib_protocol_environment/environment_protocol_T_V13.ml @@ -0,0 +1,211 @@ +(*****************************************************************************) +(* *) +(* Open Source License *) +(* Copyright (c) 2018 Dynamic Ledger Solutions, Inc. *) +(* Copyright (c) 2018 Nomadic Labs. *) +(* *) +(* Permission is hereby granted, free of charge, to any person obtaining a *) +(* copy of this software and associated documentation files (the "Software"),*) +(* to deal in the Software without restriction, including without limitation *) +(* the rights to use, copy, modify, merge, publish, distribute, sublicense, *) +(* and/or sell copies of the Software, and to permit persons to whom the *) +(* Software is furnished to do so, subject to the following conditions: *) +(* *) +(* The above copyright notice and this permission notice shall be included *) +(* in all copies or substantial portions of the Software. *) +(* *) +(* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR*) +(* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, *) +(* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL *) +(* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER*) +(* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING *) +(* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER *) +(* DEALINGS IN THE SOFTWARE. *) +(* *) +(*****************************************************************************) + +(* Documentation for this interface can be found in + module type [PROTOCOL] of [sigs/v13/updater.mli]. *) + +module type T = sig + type context + + type quota + + type validation_result + + type rpc_context + + type tztrace + + type 'a tzresult + + val max_block_length : int + + val max_operation_data_length : int + + val validation_passes : quota list + + type block_header_data + + val block_header_data_encoding : block_header_data Data_encoding.t + + type block_header = { + shell : Block_header.shell_header; + protocol_data : block_header_data; + } + + type block_header_metadata + + val block_header_metadata_encoding : block_header_metadata Data_encoding.t + + type operation_data + + type operation_receipt + + type operation = { + shell : Operation.shell_header; + protocol_data : operation_data; + } + + val operation_data_encoding : operation_data Data_encoding.t + + val operation_receipt_encoding : operation_receipt Data_encoding.t + + val operation_data_and_receipt_encoding : + (operation_data * operation_receipt) Data_encoding.t + + val acceptable_pass : operation -> int option + + val compare_operations : + Tezos_crypto.Hashed.Operation_hash.t * operation -> + Tezos_crypto.Hashed.Operation_hash.t * operation -> + int + + type validation_state + + type application_state + + type mode = + | Application of block_header + | Partial_validation of block_header + | Construction of { + predecessor_hash : Tezos_crypto.Hashed.Block_hash.t; + timestamp : Time.Protocol.t; + block_header_data : block_header_data; + } + | Partial_construction of { + predecessor_hash : Tezos_crypto.Hashed.Block_hash.t; + timestamp : Time.Protocol.t; + } + + val begin_validation : + context -> + Tezos_crypto.Hashed.Chain_id.t -> + mode -> + predecessor:Block_header.shell_header -> + validation_state tzresult Lwt.t + + val validate_operation : + ?check_signature:bool -> + validation_state -> + Tezos_crypto.Hashed.Operation_hash.t -> + operation -> + validation_state tzresult Lwt.t + + val finalize_validation : validation_state -> unit tzresult Lwt.t + + val begin_application : + context -> + Tezos_crypto.Hashed.Chain_id.t -> + mode -> + predecessor:Block_header.shell_header -> + application_state tzresult Lwt.t + + val apply_operation : + application_state -> + Tezos_crypto.Hashed.Operation_hash.t -> + operation -> + (application_state * operation_receipt) tzresult Lwt.t + + val finalize_application : + application_state -> + Block_header.shell_header option -> + (validation_result * block_header_metadata) tzresult Lwt.t + + val rpc_services : rpc_context Tezos_rpc.Directory.t + + val init : + Tezos_crypto.Hashed.Chain_id.t -> + context -> + Block_header.shell_header -> + validation_result tzresult Lwt.t + + type cache_value + + type cache_key + + val value_of_key : + chain_id:Tezos_crypto.Hashed.Chain_id.t -> + predecessor_context:context -> + predecessor_timestamp:Time.Protocol.t -> + predecessor_level:Int32.t -> + predecessor_fitness:Fitness.t -> + predecessor:Tezos_crypto.Hashed.Block_hash.t -> + timestamp:Time.Protocol.t -> + (cache_key -> cache_value tzresult Lwt.t) tzresult Lwt.t + + module Mempool : sig + type t + + type validation_info + + type conflict_handler = + existing_operation:Tezos_crypto.Hashed.Operation_hash.t * operation -> + new_operation:Tezos_crypto.Hashed.Operation_hash.t * operation -> + [`Keep | `Replace] + + type operation_conflict = + | Operation_conflict of { + existing : Tezos_crypto.Hashed.Operation_hash.t; + new_operation : Tezos_crypto.Hashed.Operation_hash.t; + } + + type add_result = + | Added + | Replaced of {removed : Tezos_crypto.Hashed.Operation_hash.t} + | Unchanged + + type add_error = + | Validation_error of tztrace + | Add_conflict of operation_conflict + + type merge_error = + | Incompatible_mempool + | Merge_conflict of operation_conflict + + val init : + context -> + Tezos_crypto.Hashed.Chain_id.t -> + head_hash:Tezos_crypto.Hashed.Block_hash.t -> + head:Block_header.shell_header -> + (validation_info * t) tzresult Lwt.t + + val encoding : t Data_encoding.t + + val add_operation : + ?check_signature:bool -> + ?conflict_handler:conflict_handler -> + validation_info -> + t -> + Tezos_crypto.Hashed.Operation_hash.t * operation -> + (t * add_result, add_error) result Lwt.t + + val remove_operation : t -> Tezos_crypto.Hashed.Operation_hash.t -> t + + val merge : + ?conflict_handler:conflict_handler -> t -> t -> (t, merge_error) result + + val operations : t -> operation Tezos_crypto.Hashed.Operation_hash.Map.t + end +end diff --git a/src/lib_protocol_environment/environment_protocol_T_test.ml b/src/lib_protocol_environment/environment_protocol_T_test.ml index f71431a53de26b96a099aa08a0280ae864b3d349..940e1b92bfd0b51b0cb674b10d1b60db66ba0925 100644 --- a/src/lib_protocol_environment/environment_protocol_T_test.ml +++ b/src/lib_protocol_environment/environment_protocol_T_test.ml @@ -98,22 +98,10 @@ module Mock_all_unit : let operation_data_and_receipt_encoding = Data_encoding.conv (Fun.const ()) (Fun.const ((), ())) Data_encoding.unit - let operation_data_and_receipt_encoding_with_legacy_attestation_name = - operation_data_and_receipt_encoding - let operation_receipt_encoding = Data_encoding.unit - let operation_receipt_encoding_with_legacy_attestation_name = - operation_receipt_encoding - let operation_data_encoding = Data_encoding.unit - let operation_data_encoding_with_legacy_attestation_name = - operation_data_encoding - - let block_header_metadata_encoding_with_legacy_attestation_name = - Data_encoding.unit - let block_header_metadata_encoding = Data_encoding.unit let block_header_data_encoding = Data_encoding.unit diff --git a/src/lib_protocol_environment/sigs/v13.ml b/src/lib_protocol_environment/sigs/v13.ml index a7de372574801c2845debd65955a09ae590c9e6a..b26d6fb35a80528677d59dcffc2fbac2d175c725 100644 --- a/src/lib_protocol_environment/sigs/v13.ml +++ b/src/lib_protocol_environment/sigs/v13.ml @@ -11427,11 +11427,6 @@ module type PROTOCOL = sig validation. *) type block_header_metadata - (** Encoding for economic protocol-specific block metadata. This encoding uses - the attestation legacy name: endorsement. *) - val block_header_metadata_encoding_with_legacy_attestation_name : - block_header_metadata Data_encoding.t - (** Encoding for economic protocol-specific block metadata. *) val block_header_metadata_encoding : block_header_metadata Data_encoding.t @@ -11452,28 +11447,13 @@ module type PROTOCOL = sig (** Encoding for protocol-specific operation data. *) val operation_data_encoding : operation_data Data_encoding.t - (** Encoding for protocol-specific operation data. This encoding uses the - attestation legacy name: endorsement. *) - val operation_data_encoding_with_legacy_attestation_name : - operation_data Data_encoding.t - (** Encoding for protocol-specific operation receipts. *) val operation_receipt_encoding : operation_receipt Data_encoding.t - (** Encoding for protocol-specific operation receipts. This encoding uses the - attestation legacy name: endorsement. *) - val operation_receipt_encoding_with_legacy_attestation_name : - operation_receipt Data_encoding.t - (** Encoding that mixes an operation data and its receipt. *) val operation_data_and_receipt_encoding : (operation_data * operation_receipt) Data_encoding.t - (** Encoding that mixes an operation data and its receipt. This encoding uses - the attestation legacy name: endorsement. *) - val operation_data_and_receipt_encoding_with_legacy_attestation_name : - (operation_data * operation_receipt) Data_encoding.t - (** [acceptable_pass op] gives the validation pass in which the input operation [op] can appear. For instance, it results in [Some 0] if [op] only belongs to the first pass. When [op] is diff --git a/src/lib_protocol_environment/sigs/v13/updater.mli b/src/lib_protocol_environment/sigs/v13/updater.mli index f0461c7a706cc31226ab12963871eedaf495de8e..587086b95e3949c2b4be760f9fb84c6f1085e634 100644 --- a/src/lib_protocol_environment/sigs/v13/updater.mli +++ b/src/lib_protocol_environment/sigs/v13/updater.mli @@ -101,11 +101,6 @@ module type PROTOCOL = sig validation. *) type block_header_metadata - (** Encoding for economic protocol-specific block metadata. This encoding uses - the attestation legacy name: endorsement. *) - val block_header_metadata_encoding_with_legacy_attestation_name : - block_header_metadata Data_encoding.t - (** Encoding for economic protocol-specific block metadata. *) val block_header_metadata_encoding : block_header_metadata Data_encoding.t @@ -126,28 +121,13 @@ module type PROTOCOL = sig (** Encoding for protocol-specific operation data. *) val operation_data_encoding : operation_data Data_encoding.t - (** Encoding for protocol-specific operation data. This encoding uses the - attestation legacy name: endorsement. *) - val operation_data_encoding_with_legacy_attestation_name : - operation_data Data_encoding.t - (** Encoding for protocol-specific operation receipts. *) val operation_receipt_encoding : operation_receipt Data_encoding.t - (** Encoding for protocol-specific operation receipts. This encoding uses the - attestation legacy name: endorsement. *) - val operation_receipt_encoding_with_legacy_attestation_name : - operation_receipt Data_encoding.t - (** Encoding that mixes an operation data and its receipt. *) val operation_data_and_receipt_encoding : (operation_data * operation_receipt) Data_encoding.t - (** Encoding that mixes an operation data and its receipt. This encoding uses - the attestation legacy name: endorsement. *) - val operation_data_and_receipt_encoding_with_legacy_attestation_name : - (operation_data * operation_receipt) Data_encoding.t - (** [acceptable_pass op] gives the validation pass in which the input operation [op] can appear. For instance, it results in [Some 0] if [op] only belongs to the first pass. When [op] is diff --git a/src/lib_shell/test/test_prevalidator.ml b/src/lib_shell/test/test_prevalidator.ml index 6777d48c5f1860f45a08b9647f737a8516506069..097fb893668a661e8cf9b6085c6617b5b72f51aa 100644 --- a/src/lib_shell/test/test_prevalidator.ml +++ b/src/lib_shell/test/test_prevalidator.ml @@ -66,15 +66,9 @@ module Mock_protocol : (fun () -> Low); ] - let operation_data_encoding_with_legacy_attestation_name = - operation_data_encoding - let operation_data_and_receipt_encoding = Data_encoding.conv fst (fun n -> (n, ())) operation_data_encoding - let operation_data_and_receipt_encoding_with_legacy_attestation_name = - operation_data_and_receipt_encoding - let acceptable_pass _ = assert false let compare_operations (oph1, {shell = _; protocol_data = n1}) diff --git a/src/lib_shell/test/test_prevalidator_bounding.ml b/src/lib_shell/test/test_prevalidator_bounding.ml index 905f2ac4db65feb89fb5c391500c8ca593de7654..a240a3b30df771489712bc88db991035b0c7eed7 100644 --- a/src/lib_shell/test/test_prevalidator_bounding.ml +++ b/src/lib_shell/test/test_prevalidator_bounding.ml @@ -60,15 +60,9 @@ module Mock_protocol : let operation_data_encoding = Data_encoding.int16 - let operation_data_encoding_with_legacy_attestation_name = - operation_data_encoding - let operation_data_and_receipt_encoding = Data_encoding.conv fst (fun n -> (n, ())) Data_encoding.int16 - let operation_data_and_receipt_encoding_with_legacy_attestation_name = - operation_data_and_receipt_encoding - let acceptable_pass _ = assert false let compare_operations (oph1, {shell = _; protocol_data = n1}) diff --git a/src/proto_alpha/lib_protocol/main.ml b/src/proto_alpha/lib_protocol/main.ml index a024d15066338b925f06aa02d33c9812095c6698..573bb82d59e46941802ddf316d33e833e1c36a92 100644 --- a/src/proto_alpha/lib_protocol/main.ml +++ b/src/proto_alpha/lib_protocol/main.ml @@ -37,9 +37,6 @@ let block_header_data_encoding = type block_header_metadata = Apply_results.block_metadata -let block_header_metadata_encoding_with_legacy_attestation_name = - Apply_results.block_metadata_encoding - let block_header_metadata_encoding = Apply_results.block_metadata_encoding type operation_data = Alpha_context.packed_protocol_data = @@ -49,9 +46,6 @@ type operation_data = Alpha_context.packed_protocol_data = let operation_data_encoding = Alpha_context.Operation.protocol_data_encoding -let operation_data_encoding_with_legacy_attestation_name = - Alpha_context.Operation.protocol_data_encoding - type operation_receipt = Apply_results.packed_operation_metadata = | Operation_metadata : 'kind Apply_results.operation_metadata @@ -60,15 +54,9 @@ type operation_receipt = Apply_results.packed_operation_metadata = let operation_receipt_encoding = Apply_results.operation_metadata_encoding -let operation_receipt_encoding_with_legacy_attestation_name = - Apply_results.operation_metadata_encoding - let operation_data_and_receipt_encoding = Apply_results.operation_data_and_metadata_encoding -let operation_data_and_receipt_encoding_with_legacy_attestation_name = - Apply_results.operation_data_and_metadata_encoding - type operation = Alpha_context.packed_operation = { shell : Operation.shell_header; protocol_data : operation_data; diff --git a/src/proto_demo_counter/lib_protocol/main.ml b/src/proto_demo_counter/lib_protocol/main.ml index ea4a75c9a88792cb0921cdca9a7adbbd9e173ba4..16c6db52b6f0e6e27ebd70d48c900b648e4cdf5b 100644 --- a/src/proto_demo_counter/lib_protocol/main.ml +++ b/src/proto_demo_counter/lib_protocol/main.ml @@ -42,33 +42,21 @@ let block_header_data_encoding = Header.encoding type block_header_metadata = State.t -let block_header_metadata_encoding_with_legacy_attestation_name = - State.encoding - let block_header_metadata_encoding = State.encoding type operation_data = Proto_operation.t let operation_data_encoding = Proto_operation.encoding -let operation_data_encoding_with_legacy_attestation_name = - operation_data_encoding - type operation_receipt = Receipt.t let operation_receipt_encoding = Receipt.encoding -let operation_receipt_encoding_with_legacy_attestation_name = - operation_receipt_encoding - let operation_data_and_receipt_encoding = (* we could merge data and receipt encoding for a lighter json *) Data_encoding.( obj2 (req "data" Proto_operation.encoding) (req "receipt" Receipt.encoding)) -let operation_data_and_receipt_encoding_with_legacy_attestation_name = - operation_data_and_receipt_encoding - type operation = { shell : Operation.shell_header; protocol_data : operation_data; diff --git a/src/proto_demo_noops/lib_protocol/main.ml b/src/proto_demo_noops/lib_protocol/main.ml index bf16332a4c2756bd6ac57df32b0df13188adf3a1..654bf6db673c8e1314bd1c5db730112409296b07 100644 --- a/src/proto_demo_noops/lib_protocol/main.ml +++ b/src/proto_demo_noops/lib_protocol/main.ml @@ -43,34 +43,22 @@ type block_header = { type block_header_metadata = unit -let block_header_metadata_encoding_with_legacy_attestation_name = - Data_encoding.unit - let block_header_metadata_encoding = Data_encoding.unit type operation_data = unit let operation_data_encoding = Data_encoding.unit -let operation_data_encoding_with_legacy_attestation_name = - operation_data_encoding - type operation_receipt = unit let operation_receipt_encoding = Data_encoding.unit -let operation_receipt_encoding_with_legacy_attestation_name = - operation_receipt_encoding - let operation_data_and_receipt_encoding = Data_encoding.conv (function ((), ()) -> ()) (fun () -> ((), ())) Data_encoding.unit -let operation_data_and_receipt_encoding_with_legacy_attestation_name = - operation_data_and_receipt_encoding - type operation = { shell : Operation.shell_header; protocol_data : operation_data;