1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61
// Copyright (C) 2019-2023 Aleo Systems Inc.
// This file is part of the snarkVM library.
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at:
// http://www.apache.org/licenses/LICENSE-2.0
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
use super::*;
impl<N: Network> ToFields for Record<N, Plaintext<N>> {
type Field = Field<N>;
/// Returns this record as a list of field elements.
fn to_fields(&self) -> Result<Vec<Self::Field>> {
// Encode the data as little-endian bits.
let mut bits_le = self.to_bits_le();
// Adds one final bit to the data, to serve as a terminus indicator.
// During decryption, this final bit ensures we've reached the end.
bits_le.push(true);
// Pack the bits into field elements.
let fields = bits_le
.chunks(Field::<N>::size_in_data_bits())
.map(Field::<N>::from_bits_le)
.collect::<Result<Vec<_>>>()?;
// Ensure the number of field elements does not exceed the maximum allowed size.
match fields.len() <= N::MAX_DATA_SIZE_IN_FIELDS as usize {
true => Ok(fields),
false => bail!("Record<Plaintext> exceeds maximum allowed size"),
}
}
}
impl<N: Network> ToFields for Record<N, Ciphertext<N>> {
type Field = Field<N>;
/// Returns this record as a list of field elements.
fn to_fields(&self) -> Result<Vec<Self::Field>> {
// Encode the data as little-endian bits.
let mut bits_le = self.to_bits_le();
// Adds one final bit to the data, to serve as a terminus indicator.
// During decryption, this final bit ensures we've reached the end.
bits_le.push(true);
// Pack the bits into field elements.
let fields = bits_le
.chunks(Field::<N>::size_in_data_bits())
.map(Field::<N>::from_bits_le)
.collect::<Result<Vec<_>>>()?;
// Ensure the number of field elements does not exceed the maximum allowed size.
match fields.len() <= N::MAX_DATA_SIZE_IN_FIELDS as usize {
true => Ok(fields),
false => bail!("Record<Ciphertext> exceeds maximum allowed size"),
}
}
}