Implement on-chain verifier (Solidity, Move, etc.)

a16z / jolt

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

https://jolt.a16zcrypto.com

MIT License

641 stars 133 forks source link

Implement on-chain verifier (Solidity, Move, etc.) #209

Open GUJustin opened 6 months ago

GUJustin commented 6 months ago

The on-chain verifier will be much cheaper after switching the polynomial commitment scheme to one with logarithmic verifier costs (see this other issue)

wyattbenno777 commented 5 months ago

Hey @GUJustin -

Do you happen to know off-hand how many MSM / the non-native field work would be for both Zeromorph or HyperKZG? For Hyrax is was two MSM (Grumpkin-base-field and circuit in BN254 scalar field ) then sum-check is non-native.

flyq commented 5 months ago

I tried to integrate the verifier into the canister of the IC blockchain, and succeeded. For details, see: https://hackmd.io/@liquan/S1dybGcl0