chriseth b2a06c2b03 More prover functions for std. (#1762)

2024-09-11 14:20:09 +00:00

..

arith_test.asm

Instructions with link statements (#1439)

2024-06-18 17:31:38 +00:00

binary_bb_test_8.asm

Baby bear initial machine tests (#1682)

2024-08-30 12:43:07 +00:00

binary_bb_test_16.asm

Baby bear initial machine tests (#1682)

2024-08-30 12:43:07 +00:00

binary_test.asm

RISC-V machine: Use dynamic VADCOP (#1683)

2024-08-15 11:27:52 +00:00

btree_test.asm

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

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

bus_lookup_via_challenges_ext.asm

More prover functions for std. (#1762)

2024-09-11 14:20:09 +00:00

bus_lookup_via_challenges.asm

More prover functions for std. (#1762)

2024-09-11 14:20:09 +00:00

bus_permutation_via_challenges_ext.asm

More prover functions for std. (#1762)

2024-09-11 14:20:09 +00:00

bus_permutation_via_challenges.asm

More prover functions for std. (#1762)

2024-09-11 14:20:09 +00:00

lookup_via_challenges_ext_simple.asm

More prover functions for std. (#1762)

2024-09-11 14:20:09 +00:00

lookup_via_challenges_ext.asm

More prover functions for std. (#1762)

2024-09-11 14:20:09 +00:00

lookup_via_challenges.asm

More prover functions for std. (#1762)

2024-09-11 14:20:09 +00:00

memory_test_parallel_accesses.asm

Make main instantiate all submachines and pass them as arguments (#1606)

2024-07-26 13:23:31 +00:00

memory_test.asm

Make main instantiate all submachines and pass them as arguments (#1606)

2024-07-26 13:23:31 +00:00

memory_with_bootloader_write_test.asm

Make main instantiate all submachines and pass them as arguments (#1606)

2024-07-26 13:23:31 +00:00

permutation_via_challenges_ext.asm

More prover functions for std. (#1762)

2024-09-11 14:20:09 +00:00

permutation_via_challenges.asm

More prover functions for std. (#1762)

2024-09-11 14:20:09 +00:00

poseidon_bn254_test.asm

Instructions with link statements (#1439)

2024-06-18 17:31:38 +00:00

poseidon_gl_memory_test.asm

Make main instantiate all submachines and pass them as arguments (#1606)

2024-07-26 13:23:31 +00:00

poseidon_gl_test.asm

Instructions with link statements (#1439)

2024-06-18 17:31:38 +00:00

shift16_test.asm

BabyBear shift machine (#1784)

2024-09-11 13:28:23 +00:00

shift_test.asm

Make main instantiate all submachines and pass them as arguments (#1606)

2024-07-26 13:23:31 +00:00

split_bn254_test.asm

Make main instantiate all submachines and pass them as arguments (#1606)

2024-07-26 13:23:31 +00:00

split_gl_test.asm

Make main instantiate all submachines and pass them as arguments (#1606)

2024-07-26 13:23:31 +00:00

write_once_memory_test.asm

Instructions with link statements (#1439)

2024-06-18 17:31:38 +00:00