[zk-token-sdk] Refactor `zk-token-elgamal` pod types (#31814)
* move `pod.rs` to separate submodule * refactor `ElGamalCiphertext` and `ElGamalPubkey` to separate submodule * refactor `PedersenCommitment` and `DecryptHandle` to separate submodule * refactor pod sigma proof types to separate submodule * refactor pod range proof types to separate submodule * refactor `AeCiphertext` into a separate submodule * refactor instruction-related pod types to separate submodule * Apply suggestions from code review Co-authored-by: Tyera <teulberg@gmail.com> --------- Co-authored-by: Tyera <teulberg@gmail.com>
This commit is contained in:
parent
fc97b7d88e
commit
6d28fd455b
|
@ -1,276 +0,0 @@
|
|||
pub use bytemuck::{Pod, Zeroable};
|
||||
use {
|
||||
crate::zk_token_proof_instruction::ProofType,
|
||||
base64::{prelude::BASE64_STANDARD, Engine},
|
||||
num_traits::{FromPrimitive, ToPrimitive},
|
||||
solana_program::instruction::InstructionError,
|
||||
std::fmt,
|
||||
};
|
||||
|
||||
#[derive(Clone, Copy, Debug, Default, PartialEq, Eq, Pod, Zeroable)]
|
||||
#[repr(transparent)]
|
||||
pub struct PodU16([u8; 2]);
|
||||
impl From<u16> for PodU16 {
|
||||
fn from(n: u16) -> Self {
|
||||
Self(n.to_le_bytes())
|
||||
}
|
||||
}
|
||||
impl From<PodU16> for u16 {
|
||||
fn from(pod: PodU16) -> Self {
|
||||
Self::from_le_bytes(pod.0)
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(Clone, Copy, Debug, Default, PartialEq, Eq, Pod, Zeroable)]
|
||||
#[repr(transparent)]
|
||||
pub struct PodU64([u8; 8]);
|
||||
impl From<u64> for PodU64 {
|
||||
fn from(n: u64) -> Self {
|
||||
Self(n.to_le_bytes())
|
||||
}
|
||||
}
|
||||
impl From<PodU64> for u64 {
|
||||
fn from(pod: PodU64) -> Self {
|
||||
Self::from_le_bytes(pod.0)
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(Clone, Copy, Debug, Default, PartialEq, Eq, Pod, Zeroable)]
|
||||
#[repr(transparent)]
|
||||
pub struct PodProofType(u8);
|
||||
impl From<ProofType> for PodProofType {
|
||||
fn from(proof_type: ProofType) -> Self {
|
||||
Self(ToPrimitive::to_u8(&proof_type).unwrap())
|
||||
}
|
||||
}
|
||||
impl TryFrom<PodProofType> for ProofType {
|
||||
type Error = InstructionError;
|
||||
|
||||
fn try_from(pod: PodProofType) -> Result<Self, Self::Error> {
|
||||
FromPrimitive::from_u8(pod.0).ok_or(Self::Error::InvalidAccountData)
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(Clone, Copy, Pod, Zeroable, PartialEq, Eq)]
|
||||
#[repr(transparent)]
|
||||
pub struct CompressedRistretto(pub [u8; 32]);
|
||||
|
||||
#[derive(Clone, Copy, Pod, Zeroable, PartialEq, Eq)]
|
||||
#[repr(transparent)]
|
||||
pub struct ElGamalCiphertext(pub [u8; 64]);
|
||||
|
||||
impl fmt::Debug for ElGamalCiphertext {
|
||||
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
||||
write!(f, "{:?}", self.0)
|
||||
}
|
||||
}
|
||||
|
||||
impl fmt::Display for ElGamalCiphertext {
|
||||
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
||||
write!(f, "{}", BASE64_STANDARD.encode(self.0))
|
||||
}
|
||||
}
|
||||
|
||||
impl Default for ElGamalCiphertext {
|
||||
fn default() -> Self {
|
||||
Self::zeroed()
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(Clone, Copy, Default, Pod, Zeroable, PartialEq, Eq)]
|
||||
#[repr(transparent)]
|
||||
pub struct ElGamalPubkey(pub [u8; 32]);
|
||||
|
||||
impl fmt::Debug for ElGamalPubkey {
|
||||
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
||||
write!(f, "{:?}", self.0)
|
||||
}
|
||||
}
|
||||
|
||||
impl fmt::Display for ElGamalPubkey {
|
||||
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
||||
write!(f, "{}", BASE64_STANDARD.encode(self.0))
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(Clone, Copy, Default, Pod, Zeroable, PartialEq, Eq)]
|
||||
#[repr(transparent)]
|
||||
pub struct PedersenCommitment(pub [u8; 32]);
|
||||
|
||||
impl fmt::Debug for PedersenCommitment {
|
||||
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
||||
write!(f, "{:?}", self.0)
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(Clone, Copy, Default, Pod, Zeroable, PartialEq, Eq)]
|
||||
#[repr(transparent)]
|
||||
pub struct DecryptHandle(pub [u8; 32]);
|
||||
|
||||
impl fmt::Debug for DecryptHandle {
|
||||
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
||||
write!(f, "{:?}", self.0)
|
||||
}
|
||||
}
|
||||
|
||||
/// Serialization of `CiphertextCommitmentEqualityProof`
|
||||
#[derive(Clone, Copy)]
|
||||
#[repr(transparent)]
|
||||
pub struct CiphertextCommitmentEqualityProof(pub [u8; 192]);
|
||||
|
||||
// `CiphertextCommitmentEqualityProof` is a Pod and Zeroable.
|
||||
// Add the marker traits manually because `bytemuck` only adds them for some `u8` arrays
|
||||
unsafe impl Zeroable for CiphertextCommitmentEqualityProof {}
|
||||
unsafe impl Pod for CiphertextCommitmentEqualityProof {}
|
||||
|
||||
/// Serialization of `CtxtCtxtEqualityProof`
|
||||
#[derive(Clone, Copy)]
|
||||
#[repr(transparent)]
|
||||
pub struct CiphertextCiphertextEqualityProof(pub [u8; 224]);
|
||||
|
||||
// `CtxtCtxtEqualityProof` is a Pod and Zeroable.
|
||||
// Add the marker traits manually because `bytemuck` only adds them for some `u8` arrays
|
||||
unsafe impl Zeroable for CiphertextCiphertextEqualityProof {}
|
||||
unsafe impl Pod for CiphertextCiphertextEqualityProof {}
|
||||
|
||||
/// Serialization of validity proofs
|
||||
#[derive(Clone, Copy)]
|
||||
#[repr(transparent)]
|
||||
pub struct ValidityProof(pub [u8; 160]);
|
||||
|
||||
// `ValidityProof` is a Pod and Zeroable.
|
||||
// Add the marker traits manually because `bytemuck` only adds them for some `u8` arrays
|
||||
unsafe impl Zeroable for ValidityProof {}
|
||||
unsafe impl Pod for ValidityProof {}
|
||||
|
||||
/// Serialization of aggregated validity proofs
|
||||
#[derive(Clone, Copy)]
|
||||
#[repr(transparent)]
|
||||
pub struct AggregatedValidityProof(pub [u8; 160]);
|
||||
|
||||
// `AggregatedValidityProof` is a Pod and Zeroable.
|
||||
// Add the marker traits manually because `bytemuck` only adds them for some `u8` arrays
|
||||
unsafe impl Zeroable for AggregatedValidityProof {}
|
||||
unsafe impl Pod for AggregatedValidityProof {}
|
||||
|
||||
/// Serialization of zero balance proofs
|
||||
#[derive(Clone, Copy)]
|
||||
#[repr(transparent)]
|
||||
pub struct ZeroBalanceProof(pub [u8; 96]);
|
||||
|
||||
// `ZeroBalanceProof` is a Pod and Zeroable.
|
||||
// Add the marker traits manually because `bytemuck` only adds them for some `u8` arrays
|
||||
unsafe impl Zeroable for ZeroBalanceProof {}
|
||||
unsafe impl Pod for ZeroBalanceProof {}
|
||||
|
||||
/// Serialization of fee sigma proof
|
||||
#[derive(Clone, Copy, Pod, Zeroable)]
|
||||
#[repr(transparent)]
|
||||
pub struct FeeSigmaProof(pub [u8; 256]);
|
||||
|
||||
/// Serialization of public-key sigma proof
|
||||
#[derive(Clone, Copy, Pod, Zeroable)]
|
||||
#[repr(transparent)]
|
||||
pub struct PubkeyValidityProof(pub [u8; 64]);
|
||||
|
||||
/// Serialization of range proofs for 64-bit numbers (for `Withdraw` instruction)
|
||||
#[derive(Clone, Copy)]
|
||||
#[repr(transparent)]
|
||||
pub struct RangeProof64(pub [u8; 672]);
|
||||
|
||||
// `PodRangeProof64` is a Pod and Zeroable.
|
||||
// Add the marker traits manually because `bytemuck` only adds them for some `u8` arrays
|
||||
unsafe impl Zeroable for RangeProof64 {}
|
||||
unsafe impl Pod for RangeProof64 {}
|
||||
|
||||
/// Serialization of range proofs for 128-bit numbers (for `TransferRangeProof` instruction)
|
||||
#[derive(Clone, Copy)]
|
||||
#[repr(transparent)]
|
||||
pub struct RangeProof128(pub [u8; 736]);
|
||||
|
||||
// `PodRangeProof128` is a Pod and Zeroable.
|
||||
// Add the marker traits manually because `bytemuck` only adds them for some `u8` arrays
|
||||
unsafe impl Zeroable for RangeProof128 {}
|
||||
unsafe impl Pod for RangeProof128 {}
|
||||
|
||||
/// Serialization of range proofs for 128-bit numbers (for `TransferRangeProof` instruction)
|
||||
#[derive(Clone, Copy)]
|
||||
#[repr(transparent)]
|
||||
pub struct RangeProof256(pub [u8; 800]);
|
||||
|
||||
// `PodRangeProof256` is a Pod and Zeroable.
|
||||
// Add the marker traits manually because `bytemuck` only adds them for some `u8` arrays
|
||||
unsafe impl Zeroable for RangeProof256 {}
|
||||
unsafe impl Pod for RangeProof256 {}
|
||||
|
||||
/// Serialization for AeCiphertext
|
||||
#[derive(Clone, Copy, PartialEq, Eq)]
|
||||
#[repr(transparent)]
|
||||
pub struct AeCiphertext(pub [u8; 36]);
|
||||
|
||||
// `AeCiphertext` is a Pod and Zeroable.
|
||||
// Add the marker traits manually because `bytemuck` only adds them for some `u8` arrays
|
||||
unsafe impl Zeroable for AeCiphertext {}
|
||||
unsafe impl Pod for AeCiphertext {}
|
||||
|
||||
impl fmt::Debug for AeCiphertext {
|
||||
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
||||
write!(f, "{:?}", self.0)
|
||||
}
|
||||
}
|
||||
|
||||
impl fmt::Display for AeCiphertext {
|
||||
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
||||
write!(f, "{}", BASE64_STANDARD.encode(self.0))
|
||||
}
|
||||
}
|
||||
|
||||
impl Default for AeCiphertext {
|
||||
fn default() -> Self {
|
||||
Self::zeroed()
|
||||
}
|
||||
}
|
||||
|
||||
// TODO: refactor this code into the instruction module
|
||||
#[derive(Clone, Copy, Pod, Zeroable)]
|
||||
#[repr(C)]
|
||||
pub struct TransferPubkeys {
|
||||
pub source_pubkey: ElGamalPubkey,
|
||||
pub destination_pubkey: ElGamalPubkey,
|
||||
pub auditor_pubkey: ElGamalPubkey,
|
||||
}
|
||||
|
||||
#[derive(Clone, Copy, Pod, Zeroable)]
|
||||
#[repr(C)]
|
||||
pub struct TransferWithFeePubkeys {
|
||||
pub source_pubkey: ElGamalPubkey,
|
||||
pub destination_pubkey: ElGamalPubkey,
|
||||
pub auditor_pubkey: ElGamalPubkey,
|
||||
pub withdraw_withheld_authority_pubkey: ElGamalPubkey,
|
||||
}
|
||||
|
||||
#[derive(Clone, Copy, Pod, Zeroable)]
|
||||
#[repr(C)]
|
||||
pub struct TransferAmountEncryption {
|
||||
pub commitment: PedersenCommitment,
|
||||
pub source_handle: DecryptHandle,
|
||||
pub destination_handle: DecryptHandle,
|
||||
pub auditor_handle: DecryptHandle,
|
||||
}
|
||||
|
||||
#[derive(Clone, Copy, Pod, Zeroable)]
|
||||
#[repr(C)]
|
||||
pub struct FeeEncryption {
|
||||
pub commitment: PedersenCommitment,
|
||||
pub destination_handle: DecryptHandle,
|
||||
pub withdraw_withheld_authority_handle: DecryptHandle,
|
||||
}
|
||||
|
||||
#[derive(Clone, Copy, Pod, Zeroable)]
|
||||
#[repr(C)]
|
||||
pub struct FeeParameters {
|
||||
/// Fee rate expressed as basis points of the transfer amount, i.e. increments of 0.01%
|
||||
pub fee_rate_basis_points: PodU16,
|
||||
/// Maximum fee assessed on transfers, expressed as an amount of tokens
|
||||
pub maximum_fee: PodU64,
|
||||
}
|
|
@ -0,0 +1,33 @@
|
|||
use {
|
||||
crate::zk_token_elgamal::pod::{Pod, Zeroable},
|
||||
base64::{prelude::BASE64_STANDARD, Engine},
|
||||
std::fmt,
|
||||
};
|
||||
|
||||
/// Serialization for AeCiphertext
|
||||
#[derive(Clone, Copy, PartialEq, Eq)]
|
||||
#[repr(transparent)]
|
||||
pub struct AeCiphertext(pub [u8; 36]);
|
||||
|
||||
// `AeCiphertext` is a Pod and Zeroable.
|
||||
// Add the marker traits manually because `bytemuck` only adds them for some `u8` arrays
|
||||
unsafe impl Zeroable for AeCiphertext {}
|
||||
unsafe impl Pod for AeCiphertext {}
|
||||
|
||||
impl fmt::Debug for AeCiphertext {
|
||||
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
||||
write!(f, "{:?}", self.0)
|
||||
}
|
||||
}
|
||||
|
||||
impl fmt::Display for AeCiphertext {
|
||||
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
||||
write!(f, "{}", BASE64_STANDARD.encode(self.0))
|
||||
}
|
||||
}
|
||||
|
||||
impl Default for AeCiphertext {
|
||||
fn default() -> Self {
|
||||
Self::zeroed()
|
||||
}
|
||||
}
|
|
@ -0,0 +1,43 @@
|
|||
use {
|
||||
crate::zk_token_elgamal::pod::{Pod, Zeroable},
|
||||
base64::{prelude::BASE64_STANDARD, Engine},
|
||||
std::fmt,
|
||||
};
|
||||
|
||||
#[derive(Clone, Copy, Pod, Zeroable, PartialEq, Eq)]
|
||||
#[repr(transparent)]
|
||||
pub struct ElGamalCiphertext(pub [u8; 64]);
|
||||
|
||||
impl fmt::Debug for ElGamalCiphertext {
|
||||
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
||||
write!(f, "{:?}", self.0)
|
||||
}
|
||||
}
|
||||
|
||||
impl fmt::Display for ElGamalCiphertext {
|
||||
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
||||
write!(f, "{}", BASE64_STANDARD.encode(self.0))
|
||||
}
|
||||
}
|
||||
|
||||
impl Default for ElGamalCiphertext {
|
||||
fn default() -> Self {
|
||||
Self::zeroed()
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(Clone, Copy, Default, Pod, Zeroable, PartialEq, Eq)]
|
||||
#[repr(transparent)]
|
||||
pub struct ElGamalPubkey(pub [u8; 32]);
|
||||
|
||||
impl fmt::Debug for ElGamalPubkey {
|
||||
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
||||
write!(f, "{:?}", self.0)
|
||||
}
|
||||
}
|
||||
|
||||
impl fmt::Display for ElGamalPubkey {
|
||||
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
||||
write!(f, "{}", BASE64_STANDARD.encode(self.0))
|
||||
}
|
||||
}
|
|
@ -0,0 +1,46 @@
|
|||
use crate::zk_token_elgamal::pod::{
|
||||
DecryptHandle, ElGamalPubkey, PedersenCommitment, Pod, PodU16, PodU64, Zeroable,
|
||||
};
|
||||
|
||||
#[derive(Clone, Copy, Pod, Zeroable)]
|
||||
#[repr(C)]
|
||||
pub struct TransferPubkeys {
|
||||
pub source_pubkey: ElGamalPubkey,
|
||||
pub destination_pubkey: ElGamalPubkey,
|
||||
pub auditor_pubkey: ElGamalPubkey,
|
||||
}
|
||||
|
||||
#[derive(Clone, Copy, Pod, Zeroable)]
|
||||
#[repr(C)]
|
||||
pub struct TransferWithFeePubkeys {
|
||||
pub source_pubkey: ElGamalPubkey,
|
||||
pub destination_pubkey: ElGamalPubkey,
|
||||
pub auditor_pubkey: ElGamalPubkey,
|
||||
pub withdraw_withheld_authority_pubkey: ElGamalPubkey,
|
||||
}
|
||||
|
||||
#[derive(Clone, Copy, Pod, Zeroable)]
|
||||
#[repr(C)]
|
||||
pub struct TransferAmountEncryption {
|
||||
pub commitment: PedersenCommitment,
|
||||
pub source_handle: DecryptHandle,
|
||||
pub destination_handle: DecryptHandle,
|
||||
pub auditor_handle: DecryptHandle,
|
||||
}
|
||||
|
||||
#[derive(Clone, Copy, Pod, Zeroable)]
|
||||
#[repr(C)]
|
||||
pub struct FeeEncryption {
|
||||
pub commitment: PedersenCommitment,
|
||||
pub destination_handle: DecryptHandle,
|
||||
pub withdraw_withheld_authority_handle: DecryptHandle,
|
||||
}
|
||||
|
||||
#[derive(Clone, Copy, Pod, Zeroable)]
|
||||
#[repr(C)]
|
||||
pub struct FeeParameters {
|
||||
/// Fee rate expressed as basis points of the transfer amount, i.e. increments of 0.01%
|
||||
pub fee_rate_basis_points: PodU16,
|
||||
/// Maximum fee assessed on transfers, expressed as an amount of tokens
|
||||
pub maximum_fee: PodU64,
|
||||
}
|
|
@ -0,0 +1,76 @@
|
|||
mod auth_encryption;
|
||||
mod elgamal;
|
||||
mod instruction;
|
||||
mod pedersen;
|
||||
mod range_proof;
|
||||
mod sigma_proofs;
|
||||
|
||||
use {
|
||||
crate::zk_token_proof_instruction::ProofType,
|
||||
num_traits::{FromPrimitive, ToPrimitive},
|
||||
solana_program::instruction::InstructionError,
|
||||
};
|
||||
pub use {
|
||||
auth_encryption::AeCiphertext,
|
||||
bytemuck::{Pod, Zeroable},
|
||||
elgamal::{ElGamalCiphertext, ElGamalPubkey},
|
||||
instruction::{
|
||||
FeeEncryption, FeeParameters, TransferAmountEncryption, TransferPubkeys,
|
||||
TransferWithFeePubkeys,
|
||||
},
|
||||
pedersen::{DecryptHandle, PedersenCommitment},
|
||||
range_proof::{RangeProof128, RangeProof256, RangeProof64},
|
||||
sigma_proofs::{
|
||||
AggregatedValidityProof, CiphertextCiphertextEqualityProof,
|
||||
CiphertextCommitmentEqualityProof, FeeSigmaProof, PubkeyValidityProof, ValidityProof,
|
||||
ZeroBalanceProof,
|
||||
},
|
||||
};
|
||||
|
||||
#[derive(Clone, Copy, Debug, Default, PartialEq, Eq, Pod, Zeroable)]
|
||||
#[repr(transparent)]
|
||||
pub struct PodU16([u8; 2]);
|
||||
impl From<u16> for PodU16 {
|
||||
fn from(n: u16) -> Self {
|
||||
Self(n.to_le_bytes())
|
||||
}
|
||||
}
|
||||
impl From<PodU16> for u16 {
|
||||
fn from(pod: PodU16) -> Self {
|
||||
Self::from_le_bytes(pod.0)
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(Clone, Copy, Debug, Default, PartialEq, Eq, Pod, Zeroable)]
|
||||
#[repr(transparent)]
|
||||
pub struct PodU64([u8; 8]);
|
||||
impl From<u64> for PodU64 {
|
||||
fn from(n: u64) -> Self {
|
||||
Self(n.to_le_bytes())
|
||||
}
|
||||
}
|
||||
impl From<PodU64> for u64 {
|
||||
fn from(pod: PodU64) -> Self {
|
||||
Self::from_le_bytes(pod.0)
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(Clone, Copy, Debug, Default, PartialEq, Eq, Pod, Zeroable)]
|
||||
#[repr(transparent)]
|
||||
pub struct PodProofType(u8);
|
||||
impl From<ProofType> for PodProofType {
|
||||
fn from(proof_type: ProofType) -> Self {
|
||||
Self(ToPrimitive::to_u8(&proof_type).unwrap())
|
||||
}
|
||||
}
|
||||
impl TryFrom<PodProofType> for ProofType {
|
||||
type Error = InstructionError;
|
||||
|
||||
fn try_from(pod: PodProofType) -> Result<Self, Self::Error> {
|
||||
FromPrimitive::from_u8(pod.0).ok_or(Self::Error::InvalidAccountData)
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(Clone, Copy, Pod, Zeroable, PartialEq, Eq)]
|
||||
#[repr(transparent)]
|
||||
pub struct CompressedRistretto(pub [u8; 32]);
|
|
@ -0,0 +1,24 @@
|
|||
use {
|
||||
crate::zk_token_elgamal::pod::{Pod, Zeroable},
|
||||
std::fmt,
|
||||
};
|
||||
|
||||
#[derive(Clone, Copy, Default, Pod, Zeroable, PartialEq, Eq)]
|
||||
#[repr(transparent)]
|
||||
pub struct PedersenCommitment(pub [u8; 32]);
|
||||
|
||||
impl fmt::Debug for PedersenCommitment {
|
||||
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
||||
write!(f, "{:?}", self.0)
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(Clone, Copy, Default, Pod, Zeroable, PartialEq, Eq)]
|
||||
#[repr(transparent)]
|
||||
pub struct DecryptHandle(pub [u8; 32]);
|
||||
|
||||
impl fmt::Debug for DecryptHandle {
|
||||
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
|
||||
write!(f, "{:?}", self.0)
|
||||
}
|
||||
}
|
|
@ -0,0 +1,31 @@
|
|||
use crate::zk_token_elgamal::pod::{Pod, Zeroable};
|
||||
|
||||
/// Serialization of range proofs for 64-bit numbers (for `Withdraw` instruction)
|
||||
#[derive(Clone, Copy)]
|
||||
#[repr(transparent)]
|
||||
pub struct RangeProof64(pub [u8; 672]);
|
||||
|
||||
// `PodRangeProof64` is a Pod and Zeroable.
|
||||
// Add the marker traits manually because `bytemuck` only adds them for some `u8` arrays
|
||||
unsafe impl Zeroable for RangeProof64 {}
|
||||
unsafe impl Pod for RangeProof64 {}
|
||||
|
||||
/// Serialization of range proofs for 128-bit numbers (for `TransferRangeProof` instruction)
|
||||
#[derive(Clone, Copy)]
|
||||
#[repr(transparent)]
|
||||
pub struct RangeProof128(pub [u8; 736]);
|
||||
|
||||
// `PodRangeProof128` is a Pod and Zeroable.
|
||||
// Add the marker traits manually because `bytemuck` only adds them for some `u8` arrays
|
||||
unsafe impl Zeroable for RangeProof128 {}
|
||||
unsafe impl Pod for RangeProof128 {}
|
||||
|
||||
/// Serialization of range proofs for 128-bit numbers (for `TransferRangeProof` instruction)
|
||||
#[derive(Clone, Copy)]
|
||||
#[repr(transparent)]
|
||||
pub struct RangeProof256(pub [u8; 800]);
|
||||
|
||||
// `PodRangeProof256` is a Pod and Zeroable.
|
||||
// Add the marker traits manually because `bytemuck` only adds them for some `u8` arrays
|
||||
unsafe impl Zeroable for RangeProof256 {}
|
||||
unsafe impl Pod for RangeProof256 {}
|
|
@ -0,0 +1,61 @@
|
|||
use crate::zk_token_elgamal::pod::{Pod, Zeroable};
|
||||
|
||||
/// Serialization of `CiphertextCommitmentEqualityProof`
|
||||
#[derive(Clone, Copy)]
|
||||
#[repr(transparent)]
|
||||
pub struct CiphertextCommitmentEqualityProof(pub [u8; 192]);
|
||||
|
||||
// `CiphertextCommitmentEqualityProof` is a Pod and Zeroable.
|
||||
// Add the marker traits manually because `bytemuck` only adds them for some `u8` arrays
|
||||
unsafe impl Zeroable for CiphertextCommitmentEqualityProof {}
|
||||
unsafe impl Pod for CiphertextCommitmentEqualityProof {}
|
||||
|
||||
/// Serialization of `CiphertextCiphertextEqualityProof`
|
||||
#[derive(Clone, Copy)]
|
||||
#[repr(transparent)]
|
||||
pub struct CiphertextCiphertextEqualityProof(pub [u8; 224]);
|
||||
|
||||
// `CiphertextCiphertextEqualityProof` is a Pod and Zeroable.
|
||||
// Add the marker traits manually because `bytemuck` only adds them for some `u8` arrays
|
||||
unsafe impl Zeroable for CiphertextCiphertextEqualityProof {}
|
||||
unsafe impl Pod for CiphertextCiphertextEqualityProof {}
|
||||
|
||||
/// Serialization of validity proofs
|
||||
#[derive(Clone, Copy)]
|
||||
#[repr(transparent)]
|
||||
pub struct ValidityProof(pub [u8; 160]);
|
||||
|
||||
// `ValidityProof` is a Pod and Zeroable.
|
||||
// Add the marker traits manually because `bytemuck` only adds them for some `u8` arrays
|
||||
unsafe impl Zeroable for ValidityProof {}
|
||||
unsafe impl Pod for ValidityProof {}
|
||||
|
||||
/// Serialization of aggregated validity proofs
|
||||
#[derive(Clone, Copy)]
|
||||
#[repr(transparent)]
|
||||
pub struct AggregatedValidityProof(pub [u8; 160]);
|
||||
|
||||
// `AggregatedValidityProof` is a Pod and Zeroable.
|
||||
// Add the marker traits manually because `bytemuck` only adds them for some `u8` arrays
|
||||
unsafe impl Zeroable for AggregatedValidityProof {}
|
||||
unsafe impl Pod for AggregatedValidityProof {}
|
||||
|
||||
/// Serialization of zero balance proofs
|
||||
#[derive(Clone, Copy)]
|
||||
#[repr(transparent)]
|
||||
pub struct ZeroBalanceProof(pub [u8; 96]);
|
||||
|
||||
// `ZeroBalanceProof` is a Pod and Zeroable.
|
||||
// Add the marker traits manually because `bytemuck` only adds them for some `u8` arrays
|
||||
unsafe impl Zeroable for ZeroBalanceProof {}
|
||||
unsafe impl Pod for ZeroBalanceProof {}
|
||||
|
||||
/// Serialization of fee sigma proof
|
||||
#[derive(Clone, Copy, Pod, Zeroable)]
|
||||
#[repr(transparent)]
|
||||
pub struct FeeSigmaProof(pub [u8; 256]);
|
||||
|
||||
/// Serialization of public-key sigma proof
|
||||
#[derive(Clone, Copy, Pod, Zeroable)]
|
||||
#[repr(transparent)]
|
||||
pub struct PubkeyValidityProof(pub [u8; 64]);
|
Loading…
Reference in New Issue