Statik XOR'dan faz oracle'ına adaptörler

Amaç ve kapsam

XOR oracle'dan faz etkisine yalnız statik ve doğrulanmış bir dönüşüm önerir. Çalışma zamanı kübitini yakalayan dinamik oracle değerleri ve denetlenmeyen örtük dönüşümler kabul edilmez.

Tasarımın ana kuralları

• Dönüşüm tek yönlüdür; XorOracle<N,1> ile çağıranın sahip olduğu |-> kaynağını birleştirir.
• MinusAncilla<1> sahipliği ve eski duruma dönüş koşulu açıkça doğrulanır.
• Üretilen faz etkisi tam işaret/faz ve restorasyon denetimleriyle mevcut Tier B doğrulamasına tabi olur.

Özgün belgeden örnek

Bu örnek özgün kaynakta yer alan tasarımı gösterir. Tek başına çalıştırılabilirlik veya kararlı destek iddiası değildir; gereken seçenekleri ve güncel sürümü kontrol edin.

derive phase_oracle marked_by_f<const N: Int>
  from xor_oracle package.example@1.2.3::f
  using MinusAncilla<1>;

Sınırlar ve sonuçların yorumu

• Revizyon 2 tasarım sözleşmesidir; yürütülebilir hazır aralık, paket çıktısı veya Playground anahtarı oluşturmaz.
• Dönüşüm kübit, doğrulama veya çalışma zamanı bütçelerini yükseltmez.

Durum ve uygulama sınırı

Belge öneri durumunda ve uygulama öncesi inceleme kaydına bağlıdır. Statik adaptör tasarımını mevcut oracle çağrılarıyla veya otomatik çalışma zamanı dönüşümüyle karıştırmayın.