Tachyon: Much Faster Plonky3

See below for more details:

• medium

What's Changed

• feat: enable eigen matrix inversion by @chokobole in https://github.com/kroma-network/tachyon/pull/472
• perf: optimize poseidon sbox by @chokobole in https://github.com/kroma-network/tachyon/pull/474
• feat: enable peders...

Groth16 proof becomes very fast

Highlights

Optimizations

• Poseidon hash becomes 2x faster.
• Zkey parsing becomes 10x faster.

What's Changed

• feat: enable eigen matrix inversion by @chokobole in https://github.com/kroma-network/tachyon/pull/472
• perf: optimize poseidon sbox by @chokobole in https://github.com/kroma-network/tachyon/pull/474
• feat: enable pedersen...

ICICLE Integration to Tachyon

Highlights

Optimizations

• MSM and FFT is optimized with [icicle]. See MSM Gpu benchmark and FFT Gpu benchmark.
• Circom proof generation becomes 4x faster using [icicle].
• Pars...

Tachyon in Kroma Mainnet

See medium for more details.

Highlights

• Becomes 1.5x Faster than Halo2 by 1) reducing the data copy and 2) optimizing FFT. see benchmark.

What's Changed...

Tachyon: A Much Faster and Lighter Halo2

See below for more details:

• medium
• tachyon/zk/plonk/halo2/optimizaitons.md
• [vendors/halo2/README.md](https://github.com/kroma-netw...