pub fn extract_p_bottom(maybe_point: Option<Point>) -> Option<Base>Expand description
Extract⊥ P: P ∪ {⊥} → P𝑥 ∪ {⊥} such that
Extract⊥ P(︀⊥)︀ = ⊥ Extract⊥ P(︀𝑃: P)︀ = ExtractP(𝑃).
https://zips.z.cash/protocol/nu5.pdf#concreteextractorpallas
pub fn extract_p_bottom(maybe_point: Option<Point>) -> Option<Base>Extract⊥ P: P ∪ {⊥} → P𝑥 ∪ {⊥} such that
Extract⊥ P(︀⊥)︀ = ⊥ Extract⊥ P(︀𝑃: P)︀ = ExtractP(𝑃).
https://zips.z.cash/protocol/nu5.pdf#concreteextractorpallas