Bypass MPolynomial Representation of AIR Constraints#125

Merged

jan-ferdinand merged 27 commits intomasterfrom circuits_everywhere

Nov 21, 2022

+1,618-2,382

Commits on Nov 21, 2022

program: {initial, consistency, terminal} constraints as circuits

jan-ferdinand
authored and
sshine
committed
instruction: {initial, consistency, terminal} constraints as circuits

jan-ferdinand
authored and
sshine
committed
processor: {initial, consistency, terminal} constraints as circuits

jan-ferdinand
authored and
sshine
committed
op_stack: {initial, consistency, terminal} constraints as circuits

jan-ferdinand
authored and
sshine
committed
ram: {initial, consistency, terminal} constraints as circuits

jan-ferdinand
authored and
sshine
committed
jump_stack: {initial, consistency, terminal} constraints as circuits

jan-ferdinand
authored and
sshine
committed
hash: {initial, terminal} constraints as circuits

jan-ferdinand
authored and
sshine
committed
hash: consistency constraints as circuits

jan-ferdinand
authored and
sshine
committed
factor out method to turn circuits into string

jan-ferdinand
authored and
sshine
committed
construct initial constraints as circuits

jan-ferdinand
authored and
sshine
committed
generate code to implement trait Quotientable (#123 )

jan-ferdinand
authored and
sshine
committed
hash: transition constraints as circuits

jan-ferdinand
authored and
sshine
committed
auto-generate code for consistency constraints & quotients

jan-ferdinand
authored and
sshine
committed
auto-generate code for terminal constraints & quotients

jan-ferdinand
authored and
sshine
committed
remove memoization of AIR constraints and degree bounds

jan-ferdinand
authored and
sshine
committed
avoid use of MPolynomial for AIR constraints completely

jan-ferdinand
authored and
sshine
committed
slightly improve imports and method to_vec()

jan-ferdinand
authored and
sshine
committed
simplify match using if let and matches!, simplify qualifications

jan-ferdinand
authored and
sshine
committed
update CI

jan-ferdinand
and
sshine
committed
simplify code-template for table's constraints

jan-ferdinand
authored and
sshine
committed
add comments and clarify some method's names

authored and
sshine
committed
remove dependency on “heck” and build snake & camel case locally

jan-ferdinand
authored and
sshine
committed
remove obsolete trait methods for computing degree bounds

jan-ferdinand
authored and
sshine
committed
remove superfluous environment variable

jan-ferdinand
and
sshine
committed
Create Makefile, use Makefile in CI
sshine
committed
Bump triton-profiler to use twenty-first-0.6.0
sshine
committed
add stress test
jan-ferdinand
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Bypass MPolynomial Representation of AIR Constraints#125

Commits on Nov 21, 2022

program: {initial, consistency, terminal} constraints as circuits

instruction: {initial, consistency, terminal} constraints as circuits

processor: {initial, consistency, terminal} constraints as circuits

op_stack: {initial, consistency, terminal} constraints as circuits

ram: {initial, consistency, terminal} constraints as circuits

jump_stack: {initial, consistency, terminal} constraints as circuits

hash: {initial, terminal} constraints as circuits

hash: consistency constraints as circuits

factor out method to turn circuits into string

construct initial constraints as circuits

generate code to implement trait `Quotientable` (#123 )

hash: transition constraints as circuits

auto-generate code for consistency constraints & quotients

auto-generate code for terminal constraints & quotients

remove memoization of AIR constraints and degree bounds

avoid use of MPolynomial for AIR constraints completely

slightly improve imports and method `to_vec()`

simplify `match` using `if let` and `matches!`, simplify qualifications

update CI

simplify code-template for table's constraints

add comments and clarify some method's names

remove dependency on “heck” and build snake & camel case locally

remove obsolete trait methods for computing degree bounds

remove superfluous environment variable

Create Makefile, use Makefile in CI

Bump triton-profiler to use twenty-first-0.6.0

add stress test