From c3feac8f8d4dac4a8d3e30b8c9f20e15fb82229a Mon Sep 17 00:00:00 2001 From: Sidney Keese Date: Tue, 8 Jan 2019 16:03:05 -0800 Subject: [PATCH] expand verify_post params (#388) * expand verify_post params * used fixed challenge_seed param * add comm_rs * need faults, too --- filecoin-proofs/src/api/mod.rs | 18 +++++++++++++----- 1 file changed, 13 insertions(+), 5 deletions(-) diff --git a/filecoin-proofs/src/api/mod.rs b/filecoin-proofs/src/api/mod.rs index eef0a75dc..36b9b0ed9 100644 --- a/filecoin-proofs/src/api/mod.rs +++ b/filecoin-proofs/src/api/mod.rs @@ -133,13 +133,14 @@ pub unsafe extern "C" fn generate_post( /// Verifies that a proof-of-spacetime is valid. /// -/// # Arguments -/// -/// * `_ss_ptr` - pointer to a boxed SectorStore -/// * `proof` - a proof-of-spacetime #[no_mangle] pub extern "C" fn verify_post( + _flattened_comm_rs_ptr: *const u8, + _flattened_comm_rs_len: libc::size_t, + _challenge_seed: &[u8; 32], proof: &[u8; API_POST_PROOF_BYTES], + _faults_ptr: *const u64, + _faults_len: libc::size_t, ) -> *mut responses::VerifyPoSTResponse { let mut res: responses::VerifyPoSTResponse = Default::default(); @@ -500,7 +501,14 @@ mod tests { "generate_post failed" ); - let verify_post_res = verify_post(&(*generate_post_res).proof); + let verify_post_res = verify_post( + &comm_rs[0], + 32, + &challenge_seed, + &(*generate_post_res).proof, + (*generate_post_res).faults_ptr, + (*generate_post_res).faults_len, + ); assert_eq!( FCPResponseStatus::FCPNoError,