Manuscript Oai283-A@1 · Oai283-A.tex · section · 6fb75895
Frozen circuit instance
Channels, norms, and finite oracle circuits › Frozen circuit instance · lines 327–332
This is the complete-program certificate pattern of En02-B/C CheungEn02B,CheungEn02C. A successful branch alone is not the deterministic channel.