Add benches for sha256 (#71)

mpz-circuits/Cargo.toml

@@ -30,3 +30,9 @@ itybity.workspace = true
 
 [dev-dependencies]
 aes.workspace = true
+criterion.workspace = true
+
+[[bench]]
+name = "sha256"
+harness = false
+

mpz-circuits/benches/sha256.rs

@@ -0,0 +1,27 @@
+use criterion::{black_box, criterion_group, criterion_main, Criterion};
+use mpz_circuits::{circuits::build_sha256, types::Value};
+
+fn criterion_benchmark(c: &mut Criterion) {
+    let length = 512;
+
+    c.bench_function("build_sha256", move |bench| {
+        bench.iter(|| black_box(build_sha256(0, length)))
+    });
+
+    let sha256 = build_sha256(0, length);
+    c.bench_function("compute_sha256", |bench| {
+        bench.iter(|| {
+            black_box(
+                sha256
+                    .evaluate(&[
+                        Value::Array(vec![Value::U32(0); 8]),
+                        Value::Array(vec![Value::U8(0); length]),
+                    ])
+                    .unwrap(),
+            )
+        })
+    });
+}
+
+criterion_group!(benches, criterion_benchmark);
+criterion_main!(benches);