From aab74a105311d2f8236c722883374c8aff0d2ceb Mon Sep 17 00:00:00 2001
From: Ratan Kaliani <ratankaliani@berkeley.edu>
Date: Wed, 8 Nov 2023 10:10:50 -0800
Subject: [PATCH] fix(plonky2x): register EcOp and SHA512 hints (#283)

---
 .../src/backend/circuit/serialization/hints.rs    | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/plonky2x/core/src/backend/circuit/serialization/hints.rs b/plonky2x/core/src/backend/circuit/serialization/hints.rs
index 146d7298d..dbd27cf02 100644
--- a/plonky2x/core/src/backend/circuit/serialization/hints.rs
+++ b/plonky2x/core/src/backend/circuit/serialization/hints.rs
@@ -5,6 +5,7 @@ use curta::chip::hash::blake::blake2b::generator::{
     BLAKE2BAirParameters, BLAKE2BGenerator, BLAKE2BHintGenerator,
 };
 use curta::machine::hash::sha::sha256::SHA256;
+use curta::machine::hash::sha::sha512::SHA512;
 use curta::plonky2::cubic::arithmetic_gate::ArithmeticCubicGenerator;
 use curta::plonky2::cubic::mul_gate::MulCubicGenerator;
 use plonky2::field::extension::Extendable;
@@ -38,6 +39,8 @@ use plonky2::util::serialization::{Buffer, IoResult, Read, WitnessGeneratorSeria
 use super::registry::{SerializationRegistry, Serializer};
 use super::PlonkParameters;
 use crate::frontend::builder::watch::WatchGenerator;
+use crate::frontend::ecc::curve25519::curta::proof_hint::EcOpProofHint;
+use crate::frontend::ecc::curve25519::curta::result_hint::EcOpResultHint;
 use crate::frontend::eth::beacon::generators::{
     BeaconAllWithdrawalsHint, BeaconBalanceBatchWitnessHint, BeaconBalanceGenerator,
     BeaconBalanceWitnessHint, BeaconBalancesGenerator, BeaconBlockRootsHint,
@@ -400,6 +403,18 @@ where
         r.register_hint::<SHAProofHint<SHA256, 64>>();
         r.register_async_hint::<Async<SHAProofHint<SHA256, 64>>>();
 
+        r.register_hint::<SHADigestHint<SHA512, 80>>();
+        r.register_async_hint::<Async<SHADigestHint<SHA512, 80>>>();
+
+        r.register_hint::<SHAProofHint<SHA512, 80>>();
+        r.register_async_hint::<Async<SHAProofHint<SHA512, 80>>>();
+
+        r.register_hint::<EcOpProofHint>();
+        r.register_async_hint::<Async<EcOpProofHint>>();
+
+        r.register_hint::<EcOpResultHint>();
+        r.register_async_hint::<Async<EcOpResultHint>>();
+
         register_powers_of_two!(r, BeaconHeadersFromOffsetRangeHint);
 
         register_watch_generator!(