Kevin Jue

icon location San Francisco

Results 19 issues of Kevin Jue

chore(recursion): document IR

fix(recursion): assert curve bit length in circuit p2_hash

fix(recursion): num2bits fixes

added serialization support

This PR adds serialization support for the generators and gates defined in this repo. Also, there are other formatting changes from running `cargo fmt`.

fix(recursion): assign noop instructions as read only (for A operand)

perf: local bus

WIP: local memory table

perm: trace checkpoint optimizations

perf: split core cpu table