Yang Hau

Results 82 issues of Yang Hau

### What problem does your feature solve? Let other developers learn how to program on zkvm ### What would you like to see? A comprehensive contract demo of zkvm ###...

Loading a mask normally is only couple bytes. Maybe a mask loading function takes immediate number as input can save overhead?

snarkjs and websnark are pretty popular on zk-snark projects. I am curious how can I generate proof with websnark or snarkjs, then verify the proof with ark-circom

I am trying to verify the result with snarkjs generated files (proof.json, public.json and verfication_key.json). But I didn't see any example for it. How to achieve this?

## Description `sui-test-validator`'s faucet listen to all IPs (0.0.0.0) fixes https://github.com/MystenLabs/sui/issues/15279 ## Test plan How did you test the new or updated feature? --- ## Release notes Check each box...

## Description BuilderArg is not necessary for the current codebase. It introduces extra wasted computation, and occupied more spaces. We can replace it with IndexSet of CallArg ## Test plan...

## Description Initialize vector with capacity when the upcoming `push()` with known times. ## Test plan How did you test the new or updated feature? --- ## Release notes Check...

When we run CI with optimization options, compiler would warn that the codebase break strict-aliasing rules. see the CI https://github.com/DLTcollab/sse2neon/actions/runs/9658424846/job/26639574270?pr=638 There are some tests failed in the same CI. They...