Skip to content

Commit

Permalink
Add Arith256Memory machine (#2109)
Browse files Browse the repository at this point in the history
Depends on #2117 

This PR adds a new `Arith256Memory` machine. It is largely a copy of
`std::machines::large_field::arith::Arith`, but receives its inputs /
writes its outputs via a memory pointer.

The first commit copies the existing machine and test. So, I would
recommend reviewing the [diff to the first
commit](7f2c159...arith-memory).
  • Loading branch information
georgwiese authored Nov 22, 2024
1 parent 81196ae commit b3272db
Show file tree
Hide file tree
Showing 5 changed files with 1,487 additions and 1 deletion.
19 changes: 19 additions & 0 deletions pipeline/tests/powdr_std.rs
Original file line number Diff line number Diff line change
Expand Up @@ -137,6 +137,25 @@ fn arith_large_test() {
test_halo2(make_simple_prepared_pipeline(f));
}

#[test]
#[ignore = "Too slow"]
fn arith256_memory_large_test() {
let f = "std/arith256_memory_large_test.asm";
let pipeline = make_simple_prepared_pipeline(f);
test_pilcom(pipeline.clone());

// Running gen_estark_proof(f, Default::default())
// is too slow for the PR tests. This will only create a single
// eStark proof instead of 3.
#[cfg(feature = "estark-starky")]
pipeline
.with_backend(powdr_backend::BackendType::EStarkStarky, None)
.compute_proof()
.unwrap();

test_halo2(make_simple_prepared_pipeline(f));
}

#[test]
#[ignore = "Too slow"]
fn memory_large_test() {
Expand Down
Loading

0 comments on commit b3272db

Please sign in to comment.