Files
c-kzg-4844/fuzz/fuzz_targets/fuzz_compute_kzg_proof.rs
2025-06-03 09:04:31 -05:00

111 lines
3.6 KiB
Rust

// Run with the following command:
// cargo fuzz run fuzz_compute_kzg_proof
#![no_main]
extern crate core;
use arbitrary::Arbitrary;
use lazy_static::lazy_static;
use libfuzzer_sys::fuzz_target;
use rust_eth_kzg::DASContext;
use std::cell::UnsafeCell;
use std::env;
use std::path::PathBuf;
use std::sync::{Arc, OnceLock};
///////////////////////////////////////////////////////////////////////////////
// Helper Functions
///////////////////////////////////////////////////////////////////////////////
fn get_root_dir() -> PathBuf {
if let Ok(manifest) = env::var("CARGO_MANIFEST_DIR") {
// When running locally
PathBuf::from(manifest)
.parent()
.expect("CARGO_MANIFEST_DIR has no parent")
.to_path_buf()
} else {
// When running with oss-fuzz
env::current_dir().expect("Failed to get current directory")
}
}
///////////////////////////////////////////////////////////////////////////////
// Initialization
///////////////////////////////////////////////////////////////////////////////
lazy_static! {
static ref KZG_SETTINGS: c_kzg::KzgSettings = {
let trusted_setup_file = get_root_dir().join("src").join("trusted_setup.txt");
c_kzg::KzgSettings::load_trusted_setup_file(&trusted_setup_file, 0).unwrap()
};
static ref DAS_CONTEXT: DASContext = DASContext::default();
}
struct SafeEthKzgContext {
inner: UnsafeCell<constantine::EthKzgContext<'static>>,
}
unsafe impl Send for SafeEthKzgContext {}
unsafe impl Sync for SafeEthKzgContext {}
impl SafeEthKzgContext {
fn new(ctx: constantine::EthKzgContext<'static>) -> Self {
SafeEthKzgContext {
inner: UnsafeCell::new(ctx),
}
}
fn get(&self) -> &constantine::EthKzgContext<'static> {
unsafe { &*self.inner.get() }
}
}
static CONSTANTINE_CTX: OnceLock<Arc<SafeEthKzgContext>> = OnceLock::new();
fn initialize_constantine_ctx() -> Arc<SafeEthKzgContext> {
let trusted_setup_file = get_root_dir().join("src").join("trusted_setup.txt");
let eth_kzg_context =
constantine::EthKzgContext::load_trusted_setup(&trusted_setup_file).unwrap();
Arc::new(SafeEthKzgContext::new(eth_kzg_context))
}
///////////////////////////////////////////////////////////////////////////////
// Fuzz Target
///////////////////////////////////////////////////////////////////////////////
#[derive(Arbitrary, Debug)]
struct Input {
blob: c_kzg::Blob,
z: c_kzg::Bytes32,
}
fuzz_target!(|input: Input| {
let cnst = CONSTANTINE_CTX
.get_or_init(|| initialize_constantine_ctx())
.get();
let ckzg_result = KZG_SETTINGS.compute_kzg_proof(&input.blob, &input.z);
let cnst_result = cnst.compute_kzg_proof(&input.blob, &input.z);
let rkzg_result = DAS_CONTEXT.compute_kzg_proof(&input.blob, *input.z);
match (&ckzg_result, &cnst_result, &rkzg_result) {
(Ok((ckzg_proof, ckzg_y)), Ok((cnst_proof, cnst_y)), Ok((rkzg_proof, rkzg_y))) => {
// Ensure the results are the same.
assert_eq!(*ckzg_proof.as_slice(), *cnst_proof.as_slice());
assert_eq!(*ckzg_proof.as_slice(), *rkzg_proof.as_slice());
assert_eq!(*ckzg_y.as_slice(), *cnst_y.as_slice());
assert_eq!(*ckzg_y.as_slice(), *rkzg_y.as_slice());
}
(Err(_), Err(_), Err(_)) => {
// Cannot compare errors, they are unique.
}
_ => {
// There is a disagreement.
panic!(
"mismatch: {:?}, {:?}, {:?}",
&ckzg_result, &cnst_result, &rkzg_result
);
}
}
});