Skip to main content

PadPool

Struct PadPool 

Source
pub struct PadPool { /* private fields */ }
Expand description

A shared, pre-provisioned pool of true random bytes for one pad epoch, split into two directional halves. Both peers build an identical pool from the same out-of-band material and split it the same way, so each direction is a private, agreed pad both sides index into.

Implementations§

Source§

impl PadPool

Source

pub fn shared(pad: Vec<u8>) -> Result<PadPool, PadError>

Build a pool from shared true-random material, refusing it (fail-closed) if it is too small to split or if the logicaffeine_proof::ait classifier finds it compressible — i.e. it is not actually random. This is the pad-quality gate: a weak pad is never silently accepted.

Source

pub fn shared_unchecked(pad: Vec<u8>) -> PadPool

Build a pool without the incompressibility gate — for trusted provisioning that has already validated the material, and for tests that craft pad contents directly.

Source

pub fn with_epoch(self, epoch: u32) -> PadPool

Label this pool with a pad epoch (the id peers agree on for this pad in the rollover sequence).

Source

pub fn epoch(&self) -> u32

The pad epoch of this pool.

Source

pub fn commitment(&self) -> [u8; 32]

A binding commitment to this pad — SHA3-256(epoch ‖ pad). Both peers compute it from their loaded material to confirm, over the authenticated PnpSuite::seal_roll handoff, that they hold the identical next pad. Preimage-resistant, so it is safe to exchange; it reveals nothing about the pad bytes.

Source

pub fn direction_len(&self) -> usize

Bytes available in each directional half.

Source

pub fn send_suite(&self, role: Role) -> PnpSuite

The suite this peer seals outbound covers with (its send half).

Source

pub fn recv_suite(&self, role: Role) -> PnpSuite

The suite this peer opens inbound covers with (its receive half — the peer’s send half).

Source

pub fn session(&self, role: Role) -> PnpSession

A live PnpSession for role — seals with this peer’s send half, opens with its receive half — ready to install on the channel’s active-session seam so the interpreter’s Send/receive path is one-time-pad protected end-to-end.

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
§

impl<T> Downcast for T
where T: Any,

§

fn into_any(self: Box<T>) -> Box<dyn Any>

Convert Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.
§

fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>

Convert Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be further downcast into Rc<ConcreteType> where ConcreteType implements Trait.
§

fn as_any(&self) -> &(dyn Any + 'static)

Convert &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &Any’s vtable from &Trait’s.
§

fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

Convert &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &mut Any’s vtable from &mut Trait’s.
§

impl<T> DowncastSync for T
where T: Any + Send + Sync,

§

fn into_any_arc(self: Arc<T>) -> Arc<dyn Any + Sync + Send>

Convert Arc<Trait> (where Trait: Downcast) to Arc<Any>. Arc<Any> can then be further downcast into Arc<ConcreteType> where ConcreteType implements Trait.
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

§

fn vzip(self) -> V

§

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,