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 pedersen gpu by @chokobole in https://github.com/kroma-network/tachyon/pull/473
• build: update bazel version v6.3.0 by @GideokKim in https://github.com/kroma-network/tachyon/pull/477
• chore: add .dockerignore by @chokobole in https://github.com/kroma-network/tachyon/pull/475
• feat: implement snark verifier poseidon by @chokobole in https://github.com/kroma-network/tachyon/pull/476
• refac: prepare shuffle argument by @chokobole in https://github.com/kroma-network/tachyon/pull/479
• feat(math): implement packed field extension by @chokobole in https://github.com/kroma-network/tachyon/pull/478
• chore: use short version of GitHub url by @chokobole in https://github.com/kroma-network/tachyon/pull/481
• docs: update README for better visibility by @TomTaehoonKim in https://github.com/kroma-network/tachyon/pull/482
• fix: enable halo2 proof generation by @chokobole in https://github.com/kroma-network/tachyon/pull/480
• build: remove halo2 option by @chokobole in https://github.com/kroma-network/tachyon/pull/483
• test: optimize benchmark test by @chokobole in https://github.com/kroma-network/tachyon/pull/484
• refac(zk): use Evaluator by @chokobole in https://github.com/kroma-network/tachyon/pull/485
• docs: fix circuit testing doc by @ashjeong in https://github.com/kroma-network/tachyon/pull/487
• build(math): include a different header if gcc version ≤ 10 by @chokobole in https://github.com/kroma-network/tachyon/pull/489
• feat(zk): add shuffle argument by @chokobole in https://github.com/kroma-network/tachyon/pull/488
• docs(benchmark): update benchmark images by @chokobole in https://github.com/kroma-network/tachyon/pull/494
• perf(circom): optimize zkey wtns reading by @chokobole in https://github.com/kroma-network/tachyon/pull/490
• docs(circom): add missing change from #490 by @chokobole in https://github.com/kroma-network/tachyon/pull/495
• refac: prepare circle stark by @chokobole in https://github.com/kroma-network/tachyon/pull/493
• perf/optimize-prime-field-inversion-bernstein-yang-method by @AlekseiVambol in https://github.com/kroma-network/tachyon/pull/491
• ci: fix warnings and improve runtime by @batzor in https://github.com/kroma-network/tachyon/pull/498
• feat: use pmr vector for custom allocation by @batzor in https://github.com/kroma-network/tachyon/pull/486
• feat: impl repetitive execution msm gpu by @GideokKim in https://github.com/kroma-network/tachyon/pull/496
• build: bump up sp1 prover to v1.0.1 by @dongchangYoo in https://github.com/kroma-network/tachyon/pull/497
• ci: reduce cache storage usage by @batzor in https://github.com/kroma-network/tachyon/pull/500
• build: fix cuda build by @GideokKim in https://github.com/kroma-network/tachyon/pull/502
• build: support building tachyon based on python 3.10 docker image by @chokobole in https://github.com/kroma-network/tachyon/pull/501
• test: optimize openmp test by @chokobole in https://github.com/kroma-network/tachyon/pull/503
• feat: support pse halo2 (Part 1) by @chokobole in https://github.com/kroma-network/tachyon/pull/499
• refac: revert change to pmr vector by @batzor in https://github.com/kroma-network/tachyon/pull/504
• feat: support pse halo2 part2 by @chokobole in https://github.com/kroma-network/tachyon/pull/505
• feat: impl two adic fri pcs by @ashjeong in https://github.com/kroma-network/tachyon/pull/492
• perf: optimize proof generation by @chokobole in https://github.com/kroma-network/tachyon/pull/506
• feat: support icicle api for all the fields by @chokobole in https://github.com/kroma-network/tachyon/pull/508
• feat: integrate perfetto for profiling by @batzor in https://github.com/kroma-network/tachyon/pull/507
• feat(math): add TwoInv constant by @ashjeong in https://github.com/kroma-network/tachyon/pull/510
• perf: optimize proof generation by @chokobole in https://github.com/kroma-network/tachyon/pull/509
• build: add openmp flags to goldilocks by @batzor in https://github.com/kroma-network/tachyon/pull/513
• chore: fix naming and error messages by @ashjeong in https://github.com/kroma-network/tachyon/pull/514
• perf: optimize msm gpu memory usage by @GideokKim in https://github.com/kroma-network/tachyon/pull/511
• feat: add BabyBear4 C api by @chokobole in https://github.com/kroma-network/tachyon/pull/512
• build: fix cuda build by @batzor in https://github.com/kroma-network/tachyon/pull/516
• perf: optimize fft batch by @chokobole in https://github.com/kroma-network/tachyon/pull/517
• test(benchmark): add baby bear poseidon2 benchmark by @ashjeong in https://github.com/kroma-network/tachyon/pull/519
• perf(math): unset require initialization by @chokobole in https://github.com/kroma-network/tachyon/pull/520
• feat: add rust binding for baby bear row major matrix by @chokobole in https://github.com/kroma-network/tachyon/pull/518
• feat: add FFTBatch benchmark by @batzor in https://github.com/kroma-network/tachyon/pull/515
• perf(math): optimize radix2 domain by @chokobole in https://github.com/kroma-network/tachyon/pull/521
• refac(benchmark): refactor benchmark by @chokobole in https://github.com/kroma-network/tachyon/pull/522
• perf: optimize packed prime field operations by @chokobole in https://github.com/kroma-network/tachyon/pull/523
• perf: optimize fft batch by @batzor in https://github.com/kroma-network/tachyon/pull/524
• feat: add rust binding for two adic fri pcs by @chokobole in https://github.com/kroma-network/tachyon/pull/525
• fix(base): enable building with clang++-15 by @chokobole in https://github.com/kroma-network/tachyon/pull/527
• refac: refactor two adic fri pcs by @chokobole in https://github.com/kroma-network/tachyon/pull/526
• test: add mmcs benchmark by @batzor in https://github.com/kroma-network/tachyon/pull/528
• feat: enable rust binding for TwoAdicFriPcs::Open() by @chokobole in https://github.com/kroma-network/tachyon/pull/529
• perf: optimize poseidon2 pt1 by @ashjeong in https://github.com/kroma-network/tachyon/pull/531
• feat: enable rust binding for TwoAdicFriPcs::Verify() by @chokobole in https://github.com/kroma-network/tachyon/pull/532
• perf: compute twiddle cache just once per degree by @chokobole in https://github.com/kroma-network/tachyon/pull/534
• perf: optimize poseidon2 pt2 by @ashjeong in https://github.com/kroma-network/tachyon/pull/536
• test: add fri opening benchmark by @batzor in https://github.com/kroma-network/tachyon/pull/533
• test: use appropriate values for shift and log_blowup by @batzor in https://github.com/kroma-network/tachyon/pull/537
• Fix spelling issues by @nnsW3 in https://github.com/kroma-network/tachyon/pull/538
• fix(benchmark): fix faulty fri benchmark by @ashjeong in https://github.com/kroma-network/tachyon/pull/540
• feat: enable using rust allocated ldes by @chokobole in https://github.com/kroma-network/tachyon/pull/539
• Update README by @Ocheretovich in https://github.com/kroma-network/tachyon/pull/543
• feat: make TwoAdicFriPcs stateless by @chokobole in https://github.com/kroma-network/tachyon/pull/541
• docs fix typos by @cratiu222 in https://github.com/kroma-network/tachyon/pull/545
• feat(circom): introduce witness generation tool by @batzor in https://github.com/kroma-network/tachyon/pull/546
• feat: enable sp1 proof generation by @chokobole in https://github.com/kroma-network/tachyon/pull/547
• perf: integrate icicle mmcs by @GideokKim in https://github.com/kroma-network/tachyon/pull/544
• perf: reduce redundant zero initializations by @batzor in https://github.com/kroma-network/tachyon/pull/548
• perf: add optimization flags by @batzor in https://github.com/kroma-network/tachyon/pull/549
• refac: clean up fri protocol & benchmarks by @ashjeong in https://github.com/kroma-network/tachyon/pull/551
• chore: update benchmarks by @ashjeong in https://github.com/kroma-network/tachyon/pull/550
• feat: add Dockerfile for circom by @batzor in https://github.com/kroma-network/tachyon/pull/552
• refac: refactor TwoAdicFri verify by @chokobole in https://github.com/kroma-network/tachyon/pull/553
• perf(crypto): optimize TwoAdicFri by @chokobole in https://github.com/kroma-network/tachyon/pull/555
• build: release tachyon v0.4.0 by @chokobole in https://github.com/kroma-network/tachyon/pull/556

New Contributors

• @AlekseiVambol made their first contribution in https://github.com/kroma-network/tachyon/pull/491
• @nnsW3 made their first contribution in https://github.com/kroma-network/tachyon/pull/538
• @Ocheretovich made their first contribution in https://github.com/kroma-network/tachyon/pull/543
• @cratiu222 made their first contribution in https://github.com/kroma-network/tachyon/pull/545

Full Changelog: https://github.com/kroma-network/tachyon/compare/v0.3.0...v0.4.0