Skip to content

Commit

Permalink
Include forgotten file...
Browse files Browse the repository at this point in the history
  • Loading branch information
jschneider-bensch committed Jan 30, 2024
1 parent c2eaa9a commit be41ae9
Showing 1 changed file with 31 additions and 0 deletions.
31 changes: 31 additions & 0 deletions engine/names/src/crypto_abstractions.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,31 @@
use hax_lib_protocol::crypto::*;

fn crypto_abstractions() {
let bytes = vec![0u8; 32];
let iv = AEADIV::from_bytes(&bytes);
let key = AEADKey::from_bytes(AEADAlgorithm::Chacha20Poly1305, &bytes);

let (cipher_text, _tag) = aead_encrypt(key, iv, &bytes, &bytes);
let iv = AEADIV::from_bytes(&bytes);
let key = AEADKey::from_bytes(AEADAlgorithm::Chacha20Poly1305, &bytes);
let _ = aead_decrypt(key, iv, &bytes, &cipher_text, AEADTag::from_bytes(&bytes));

let p = DHElement::from_bytes(&bytes);
let s = DHScalar::from_bytes(&bytes);
dh_scalar_multiply(DHGroup::X25519, s.clone(), p);
dh_scalar_multiply_base(DHGroup::X25519, s);

let _ = hmac(HMACAlgorithm::Sha256, &bytes, &bytes);

let _ = 1u64.to_le_bytes();
let slice = &bytes[0..1];
let _ = slice.len();
let _ = slice.to_vec();
let _ = [slice, slice].concat();
let mut v = vec![0];
v.extend_from_slice(slice);
v.truncate(1);

let _ = hash(HashAlgorithm::Sha256, &bytes);
let _ = cipher_text.clone();
}

0 comments on commit be41ae9

Please sign in to comment.