chriseth 044de121ff Prover functions for small arith. (#2608) ...

Tests working for "small":
- memory
- add_sub
- rotate
- shift
- memory
- arith256

Not working:
- keccak
- poseidon
- poseidon2

---------

Co-authored-by: Georg Wiese <georgwiese@gmail.com>

2025-05-19 12:40:55 +00:00

..

machines

Prover functions for small arith. (#2608)

2025-05-19 12:40:55 +00:00

math

Add PIL extension field unit test (#2431)

2025-02-03 14:58:48 +00:00

protocols

Create bus.asm call to expose native BusInteraction to the backend (#2510)

2025-03-26 16:45:47 +00:00

test

Test runner. (#1999)

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

array.asm

Add variant of fingerprint() that yields intermediate columns (#2072)

2024-11-27 11:43:50 +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 M31 as known field (#2341)

2025-01-15 09:19:01 +00:00

mod.asm

Test runner. (#1999)

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

prelude.asm

Native bus interaction (#2508)

2025-02-27 09:52:36 +00:00

prover.asm

Prover functions for small arith. (#2608)

2025-05-19 12:40:55 +00:00

utils.asm

Pil util for transposing generic matrix (#2456)

2025-02-07 10:22:17 +00:00

well_known.asm

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

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