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 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104
// Copyright (C) 2019-2022 Aleo Systems Inc.
// This file is part of the snarkVM library.
// The snarkVM library is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
// The snarkVM library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
// You should have received a copy of the GNU General Public License
// along with the snarkVM library. If not, see <https://www.gnu.org/licenses/>.
use super::*;
impl<N: Network> Record<N, Plaintext<N>> {
/// Encrypts `self` for the record owner under the given randomizer.
pub fn encrypt(&self, randomizer: Scalar<N>) -> Result<Record<N, Ciphertext<N>>> {
// Ensure the randomizer corresponds to the record nonce.
if self.nonce == N::g_scalar_multiply(&randomizer) {
// Compute the record view key.
let record_view_key = (**self.owner * randomizer).to_x_coordinate();
// Encrypt the record.
self.encrypt_symmetric(&record_view_key)
} else {
bail!("Illegal operation: Record::encrypt() randomizer does not correspond to the record nonce.")
}
}
/// Encrypts `self` under the given record view key.
pub fn encrypt_symmetric(&self, record_view_key: &Field<N>) -> Result<Record<N, Ciphertext<N>>> {
// Determine the number of randomizers needed to encrypt the record.
let num_randomizers = self.num_randomizers()?;
// Prepare a randomizer for each field element.
let randomizers = N::hash_many_psd8(&[N::encryption_domain(), *record_view_key], num_randomizers);
// Encrypt the record.
self.encrypt_with_randomizers(&randomizers)
}
/// Encrypts `self` under the given randomizers.
fn encrypt_with_randomizers(&self, randomizers: &[Field<N>]) -> Result<Record<N, Ciphertext<N>>> {
// Initialize an index to keep track of the randomizer index.
let mut index: usize = 0;
// Encrypt the owner.
let owner = match self.owner.is_public() {
true => self.owner.encrypt_with_randomizer(&[])?,
false => self.owner.encrypt_with_randomizer(&[randomizers[index]])?,
};
// Increment the index if the owner is private.
if owner.is_private() {
index += 1;
}
// Encrypt the gates.
let gates = match self.gates.is_public() {
true => self.gates.encrypt_with_randomizer(&[])?,
false => self.gates.encrypt_with_randomizer(&[randomizers[index]])?,
};
// Increment the index if the gates is private.
if gates.is_private() {
index += 1;
}
// Encrypt the data.
let mut encrypted_data = IndexMap::with_capacity(self.data.len());
for (id, entry, num_randomizers) in self.data.iter().map(|(id, entry)| (id, entry, entry.num_randomizers())) {
// Retrieve the result for `num_randomizers`.
let num_randomizers = num_randomizers? as usize;
// Retrieve the randomizers for this entry.
let randomizers = &randomizers[index..index + num_randomizers];
// Encrypt the entry.
let entry = match entry {
// Constant entries do not need to be encrypted.
Entry::Constant(plaintext) => Entry::Constant(plaintext.clone()),
// Public entries do not need to be encrypted.
Entry::Public(plaintext) => Entry::Public(plaintext.clone()),
// Private entries are encrypted with the given randomizers.
Entry::Private(private) => Entry::Private(Ciphertext::try_from(
private
.to_fields()?
.iter()
.zip_eq(randomizers)
.map(|(plaintext, randomizer)| *plaintext + randomizer)
.collect::<Vec<_>>(),
)?),
};
// Insert the encrypted entry.
if encrypted_data.insert(*id, entry).is_some() {
bail!("Duplicate identifier in record: {}", id);
}
// Increment the index.
index += num_randomizers;
}
// Return the encrypted record.
Self::from_ciphertext(owner, gates, encrypted_data, self.nonce)
}
}