Skip to main content

ideal_functionality_ty

oxilean_std::cryptographic_protocols::functions

Function ideal_functionality_ty 

Source 
pub fn ideal_functionality_ty() -> Expr
Expand description

IdealFunctionality : Type

An ideal functionality F in the UC framework: a trusted third party that receives inputs from all parties and delivers outputs. Security is defined by emulating this ideal world in the real world.