Search results

Fix input tape loading

Status: Open.

#46 In Orbis-Tertius/tiny-ram-halo2;

· moreSocratic opened on Nov 10, 2022

Fix right shift

Status: Open.

#45 In Orbis-Tertius/tiny-ram-halo2;

· moreSocratic opened on Nov 10, 2022

Unify evaluation in trace and aux

refactor

Status: Open.

#42 In Orbis-Tertius/tiny-ram-halo2;

· moreSocratic opened on Oct 12, 2022

Implement memory consistency checks

Status: Open.

#37 In Orbis-Tertius/tiny-ram-halo2;

· moreSocratic opened on Jul 21, 2022

Add a circuit-friendly hash coprocessor

Status: Open.

#36 In Orbis-Tertius/tiny-ram-halo2;

· morganthomas opened on Jul 19, 2022

Create a layout optimizer

Status: Open.

#35 In Orbis-Tertius/tiny-ram-halo2;

· morganthomas opened on Jul 19, 2022

Do a selection vector combining optimization

Status: Open.

#34 In Orbis-Tertius/tiny-ram-halo2;

· morganthomas opened on Jul 19, 2022

Check our evaluator against the Haskell TinyRam emulator

Status: Open.

#16 In Orbis-Tertius/tiny-ram-halo2;

· moreSocratic opened on Apr 27, 2022