Tim Zerrell

icon indicating an email [email protected]

icon company RISC Zero icon location Seattle, WA icon location Senior Software Engineer at RISC Zero. I also keep some of my personal projects here. (formerly Tim Carrell)

Results 13 issues of Tim Zerrell

Consider checking crates.io links

1 comment

(As discussed here: https://github.com/risc0/risc0/pull/370#issuecomment-1421654920) We currently have broken links on https://crates.io/crates/risc0-zkvm/0.12.0. We could probably create a weekly or manual link checker for our crates.io crates by adapting https://github.com/risc0/website/blob/main/.github/workflows/action.yml. (Weekly because...

enhancement

Fix BigInt Type Inference

1 comment

Make a number of fixes to BigInt dialect type inference. The bulk of the work is in https://github.com/risc0/zirgen/pull/45. What's in this PR is largely the change to the allocation in...

Upgrade bigint nondet_inv algorithm

1 comment

Switch the computation of modular inverses to use the standard `modinv` function, instead of a roundabout, slower, and more limited approach. Also remove a comment explaining the limitations of the...