PatStiles comments

Results 29 comments of


                                            PatStiles

feat(icicle): Add icicle msm support

I've isolated a failing test case (below) where msm_bigint() is different from icicle_msm(). This is for msm_length = 3 on bn254 G1. I compared the output of msm_bigint, icicle_msm to...

EVM Friendly Transcript

@moodlezoup Interested in taking this on!

EVM Friendly Transcript

Hey @aleph-v Is your plan to finish the on chain verifier?

perf: add batch proving and verification for Merkle trees

Is this in reference to https://eprint.iacr.org/2021/1672.pdf ?

Pub/Sub socket stats: dropped messages due to full buffers

@mempirate down to take this on!

(Operator): Update ffi_binding to check buffers

This pr now addresses: - Addresses: out of bounds errors from audits - Refactors Halo2 ffi bindings - Updates the merkle_tree ffi test files - Adds ci test for merkle_tree

feat(Verifier): Add Jolt Verifier to Aligned

Uses this branch https://github.com/a16z/jolt/pull/387/files pending merge within Jolt

feat(aggregator): add check for Tx inclusion for Aggregated Responses in case of Re-orgs

Done!

make sane decisions about where to create the rngs in the code.

> Could we use one of the seedable rngs rather than thread rngs? for reference https://rust-random.github.io/book/guide-seeding.html https://docs.rs/proptest/latest/proptest/prelude/trait.Rng.html

Disable the udis86 worker/decoder

I'm down to take this on