2024-01-11 Milestone review
Feature Completenes
- Do we accept outsourcing RIPEMD 160 and blake2f to grantees?
- YEs
http://testool-public.s3-website.eu-central-1.amazonaws.com/nightly.1704843658.e26176d.html
There is no commentSelect some text and then click Comment, or simply add a comment to this page from below to start a discussion.http://testool-public.s3-website.eu-central-1.amazonaws.com/nightly.1704843658.e26176d.html
2024 zkVM team technicals design summary
Nov 5, 2024This note shows a pseudocode of create_proof of halo2_proofs and counts the memory usage for each moment. fn create_proof(params: &KZGParams, pk: &ProvingKey, circuit: &Circuit, instances: &[&[F]]) { // Let: // // - k: log 2 of number of rows // - n: `1 << k` // - d: Degree of circuit // - e: Extension magnitude, equal to `(d - 1).next_power_of_two()` // - c_f: number of fixed columns
Feb 9, 2024Keep Novi work sepparate from halo2 work
Nov 27, 2023Raphael
Aug 8, 2023
HackMDor
By clicking below, you agree to our terms of service.
Sign in with Wallet
New to HackMD? Sign up