Replace sha256 with sha512

Author: Avaneesh-axiom

Cargo.lock

@@ -20,7 +20,7 @@ openvm-algebra-circuit = { workspace = true }
 openvm-rv32-adapters = { workspace = true }
 openvm-ecc-transpiler = { workspace = true }
 openvm-ecc-guest = { workspace = true, features = ["ed25519"] }
-openvm-sha256-circuit = { workspace = true }
+openvm-sha2-circuit = { workspace = true }
 
 num-bigint = { workspace = true }
 num-integer = { workspace = true }

extensions/ecc/circuit/Cargo.toml

@@ -2,7 +2,7 @@ use openvm_algebra_circuit::*;
 use openvm_circuit::arch::{InitFileGenerator, SystemConfig};
 use openvm_circuit_derive::VmConfig;
 use openvm_rv32im_circuit::*;
-use openvm_sha256_circuit::{Sha256, Sha256Executor, Sha256Periphery};
+use openvm_sha2_circuit::{Sha2, Sha2Executor, Sha2Periphery};
 use openvm_stark_backend::p3_field::PrimeField32;
 use serde::{Deserialize, Serialize};
 
@@ -23,7 +23,7 @@ pub struct Rv32EccConfig {
     #[extension]
     pub ecc: EccExtension,
     #[extension]
-    pub sha256: Sha256,
+    pub sha2: Sha2,
 }
 
 impl Rv32EccConfig {
@@ -47,7 +47,7 @@ impl Rv32EccConfig {
             io: Default::default(),
             modular: ModularExtension::new(primes),
             ecc: EccExtension::new(sw_curves, te_curves),
-            sha256: Default::default(),
+            sha2: Default::default(),
         }
     }
 }

extensions/ecc/circuit/src/config.rs

@@ -1,5 +1,5 @@
 use openvm_algebra_guest::{IntMod, Reduce};
-use openvm_sha2::sha256;
+use openvm_sha2::sha512;
 
 use crate::{edwards::TwistedEdwardsPoint, CyclicGroup, FromCompressed, IntrinsicCurve};
 
@@ -38,8 +38,7 @@ where
             return false;
         };
 
-        // TODO: replace with sha512
-        let prehash = sha256(message);
+        let prehash = sha512(message);
 
         // h = SHA512(dom2(F, C) || R || A || PH(M))
         // RFC reference: https://datatracker.ietf.org/doc/html/rfc8032#section-5.1.7
@@ -61,8 +60,7 @@ where
         sha_input.extend_from_slice(&encode_point::<C>(&self.point));
         sha_input.extend_from_slice(&prehash);
 
-        // TOOD: replace with sha512
-        let h = sha256(&sha_input);
+        let h = sha512(&sha_input);
 
         let h = C::Scalar::reduce_le_bytes(&h);
 

extensions/ecc/guest/src/eddsa.rs

@@ -12,7 +12,7 @@ openvm-stark-sdk.workspace = true
 openvm-circuit = { workspace = true, features = ["test-utils"] }
 openvm-transpiler.workspace = true
 openvm-algebra-transpiler.workspace = true
-openvm-sha256-transpiler.workspace = true
+openvm-sha2-transpiler.workspace = true
 openvm-ecc-transpiler.workspace = true
 openvm-ecc-circuit.workspace = true
 openvm-rv32im-transpiler.workspace = true

extensions/ecc/tests/Cargo.toml

@@ -26,7 +26,7 @@ mod tests {
         config::{AppConfig, SdkVmConfig},
         StdIn,
     };
-    use openvm_sha256_transpiler::Sha256TranspilerExtension;
+    use openvm_sha2_transpiler::Sha2TranspilerExtension;
     use openvm_stark_backend::p3_field::FieldAlgebra;
     use openvm_stark_sdk::{openvm_stark_backend, p3_baby_bear::BabyBear};
     use openvm_toolchain_tests::{
@@ -336,7 +336,7 @@ mod tests {
                 .with_extension(Rv32IoTranspilerExtension)
                 .with_extension(EccTranspilerExtension)
                 .with_extension(ModularTranspilerExtension)
-                .with_extension(Sha256TranspilerExtension),
+                .with_extension(Sha2TranspilerExtension),
         )?;
         air_test(config, openvm_exe);
         Ok(())