pllmR11: Factored Edge-Valued Binary Decision Diagrams
Factored edge-valued diagrams share subfunctions through additive and multiplicative edge normalization. PLLM status: tracked.
Status: tracked
Year: 1997
Authors: Paul Tafertshofer, Massoud Pedram
External source: Factored Edge-Valued Binary Decision Diagrams
Source contribution
Factored edge-valued diagrams share subfunctions through additive and multiplicative edge normalization.
PLLM perspective
Port public EVBDD/FEVBDD compilation, canonical residual normalization and variable-order search to Rust. Keep encrypted traversal as a separate experimental method.
Prior tenx archive contains exact public diagram experiments and a custom encrypted extension.
This paper remains tracked. Named modules below are implementation targets, not finished PLLM components; no reproduction, integration, assurance, or matched benchmark is claimed.
The source's boundary remains binding: This is function compression, not a privacy protocol. No security claim follows from a smaller public graph.
PLLM modules and documentation
Target module identifiers: compiler.weighted_decision_diagram, compiler.variable_order. These identifiers describe scoped work unless this page explicitly links an implementation source. Dependencies: None.
Backlog
This source is assigned to reimplementation priority 6, Decision structures and regional selection. Its source-registry order is 11. Follow current gates and unfinished work in the research backlog.
R10: Oblivious decision program evaluation
Oblivious decision-program protocols evaluate protected decision structures using OT-based reductions. PLLM status: tracked.
R12: Piranha: A GPU Platform for Secure Computation
Piranha separates device, protocol and application layers for GPU-accelerated secret-sharing computation. PLLM status: tracked.