Michael Zhu

Results 32 comments of Michael Zhu

Integrate arkmsm optimizations

Hey @4rgon4ut, any updates on this?

Integrate arkmsm optimizations

@4rgon4ut any update? If not, do you mind if I reassign this?

Prover can provide larger `proof.trace_length` value that is still valid

hmm I think in theory the verifier shouldn't need the trace length at all; it's currently being passed around to generate the Spartan key but I think that's an artifact...

Streaming Dory

Sounds good, though I will note that in order to take advantage of the benefits offered by the alternative approach (avoiding the cloning/rerunning) we'll need to modify things in the...

WASM support broken due to incompatible dependencies

Hmm does https://github.com/a16z/jolt/pull/462 fix the issue?

WASM support broken due to incompatible dependencies

hmm I guess we could just slap a `#[cfg(not(target_arch = "wasm32"))]` on all the Binius stuff... we'll need an upstream fix eventually though if we want to support Binius+wasm

Compilation errors in ONNX ML Inference guest code: "could not find unix in os" from filetime dependency

@grandchildrice `filetime` is not in our `Cargo.lock`, so I think it might be some incompatibility between ONNX and your target?

Compilation errors in ONNX ML Inference guest code: "could not find unix in os" from filetime dependency

@grandchildrice were you able to resolve this issue?

Cleanup, optimize, and snapshot witness generation

Adding some color here: > 1. There are likely parts of the risc-v emulation that is not being used. Clean this up and remove unused parts. In particular, I think...

Draft: Implement streaming version of `BytecodePolynomials`

I think this is on the right track. I believe it should be fine that the final state isn't materialized until the stream is consumed, and I imagine doing so...