From af321e6daff655d9a2f4f0c997ebb42ad51a3f05 Mon Sep 17 00:00:00 2001 From: Thorkil Vaerge Date: Wed, 6 Mar 2024 17:48:50 +0100 Subject: [PATCH] Next steps of compiled recufier --- src/tests_and_benchmarks/ozk/programs/recufier/verify.rs | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/src/tests_and_benchmarks/ozk/programs/recufier/verify.rs b/src/tests_and_benchmarks/ozk/programs/recufier/verify.rs index 6c6c5235..d7e9fa3f 100644 --- a/src/tests_and_benchmarks/ozk/programs/recufier/verify.rs +++ b/src/tests_and_benchmarks/ozk/programs/recufier/verify.rs @@ -119,7 +119,7 @@ impl RecufyDebug { return; } - pub fn _dump_xfe(thing: XFieldElement) { + pub fn dump_xfe(thing: XFieldElement) { tasm::tasm_io_write_to_stdout___xfe(thing); return; @@ -198,6 +198,13 @@ pub fn recufy() { ArithmeticDomain::generator_for_length(padded_height as u64); RecufyDebug::dump_bfe(trace_domain_generator); + let ___out_of_domain_point_curr_row: Vec = Tip5WithState::sample_scalars(1); + let out_of_domain_point_curr_row: XFieldElement = ___out_of_domain_point_curr_row[0]; + RecufyDebug::dump_xfe(out_of_domain_point_curr_row); + let out_of_domain_point_next_row: XFieldElement = + out_of_domain_point_curr_row * trace_domain_generator; + RecufyDebug::dump_xfe(out_of_domain_point_next_row); + // let revealed_indexed_leaves: Vec<(u32, XFieldElement)> = // tasm::tasm_recufier_fri_verify(&mut proof_iter, fri);