nullifier.rs 1.3 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152
  1. use std::io;
  2. use halo2_gadgets::primitives::{
  3. poseidon,
  4. poseidon::{ConstantLength, P128Pow5T3},
  5. };
  6. use pasta_curves::{arithmetic::FieldExt, pallas};
  7. use crate::{
  8. crypto::keypair::SecretKey,
  9. serial::{Decodable, Encodable, ReadExt, WriteExt},
  10. Result,
  11. };
  12. #[derive(Clone, Copy, Debug, PartialEq)]
  13. pub struct Nullifier(pub(crate) pallas::Base);
  14. impl Nullifier {
  15. pub fn new(secret: SecretKey, serial: pallas::Base) -> Self {
  16. let nullifier = [secret.0, serial];
  17. let nullifier = poseidon::Hash::init(P128Pow5T3, ConstantLength::<2>).hash(nullifier);
  18. Nullifier(nullifier)
  19. }
  20. pub fn from_bytes(bytes: &[u8; 32]) -> Self {
  21. pallas::Base::from_bytes(bytes).map(Nullifier).unwrap()
  22. }
  23. pub fn to_bytes(self) -> [u8; 32] {
  24. self.0.to_bytes()
  25. }
  26. pub(crate) fn inner(&self) -> pallas::Base {
  27. self.0
  28. }
  29. }
  30. impl Encodable for Nullifier {
  31. fn encode<S: io::Write>(&self, mut s: S) -> Result<usize> {
  32. s.write_slice(&self.to_bytes()[..])?;
  33. Ok(32)
  34. }
  35. }
  36. impl Decodable for Nullifier {
  37. fn decode<D: io::Read>(mut d: D) -> Result<Self> {
  38. let mut bytes = [0u8; 32];
  39. d.read_slice(&mut bytes)?;
  40. let result = Self::from_bytes(&bytes);
  41. Ok(result)
  42. }
  43. }