weijie.eth
@weijie_eth
Public Announcement: 🚨 A bug was found in the BinaryMerkleRoot circuit in ZK-Kit. It allowed invalid Merkle tree leaves to generate valid ZK proofs. This has been fixed in v2.0.0 of BinaryMerkleRoot. @SemaphoreDevs v4, which relies on this circuit, is being updated…
Code4rena will run audit contests for free, as public goods. 100% of funds from sponsors will go directly to auditors and judges. We won't take any cut. Why? 1. Competitions are commodities. They're CRUD apps. Why should builders pay premium for a website just to submit bugs?…
We are proud to open-source a high-performance MSM for BN254 curve in WebGPU. It runs on Windows, macOS, AMD chips, many mobile devices, and in the browser. Optimized for speed, portability, and massive parallelism. Check it out: github.com/ICME-Lab/msm-w… __ The implementation…
The Accidental Computer with @GuilleAngeris on prover acceleration via DA encodings In short, proofs-of-encoding (such as ZODA) perform much of the work of a code-based PCS, making it cheap to “embed” verifiable computations over data posted to a DA layer