Glossary
Oracle
Calyx’s consequence predictor: it builds a butterfly consequence tree and walks it in reverse, gated by an honesty rule (panel_bits ≥ anchor_entropy) so it only speaks when it has the signal to.
Calyx’s consequence predictor: it builds a butterfly consequence tree and walks it in reverse, gated by an honesty rule (panel_bits ≥ anchor_entropy) so it only speaks when it has the signal to.
Related concepts
Sources
- calyxdocs/16
- paper: The Oracle and the Kernel