Georg Wiese b3272db4c9 Add Arith256Memory machine (#2109) ...

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](7f2c159f1e...arith-memory).

2024-11-22 18:18:52 +00:00

..

machines

Add Arith256Memory machine (#2109)

2024-11-22 18:18:52 +00:00

math

Add std::math::fp4::square_ext (#1990)

2024-11-19 11:05:04 +00:00

protocols

Add phantom permutation in std::protocols::permutation::permutation() + change tests (#2069)

2024-11-18 13:30:41 +00:00

test

Test runner. (#1999)

2024-10-31 18:37:35 +00:00

array.asm

Check length. (#1806)

2024-09-19 14:04:38 +00:00

btree.asm

Use true/false from the prelude. (#1367)

2024-05-10 10:52:30 +00:00

check.asm

Rename more machines (small vs large) and add runtime checks (#1881)

2024-10-11 13:56:41 +00:00

constraints.asm

Function to increment pointer by one word in small fields. (#1933)

2024-10-29 11:48:33 +00:00

convert.asm

Document and test conversion to expr.

2024-03-14 13:16:36 +01:00

debug.asm

Allow the type checker to accept empty values (#1393)

2024-06-11 15:12:39 +00:00

field.asm

Add KoalaBear. (#1929)

2024-10-21 10:13:37 +00:00

mod.asm

Test runner. (#1999)

2024-10-31 18:37:35 +00:00

prelude.asm

Add PhantomLookup and PhantomPermutation to Constr (#1934)

2024-10-24 13:09:13 +00:00

prover.asm

Query input/output rework (#1828)

2024-09-24 13:58:38 +00:00

utils.asm

Function to increment pointer by one word in small fields. (#1933)

2024-10-29 11:48:33 +00:00

well_known.asm

Remove std::well_known::one (#2101)

2024-11-16 12:07:54 +00:00