v0.2.0

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

• docs: run markdown linter by @chokobole in #367
• perf(math): avoid copying in prime field operations by @chokobole in #368
• fix: fix broken build with cuda by @chokobole in #363
• build: fix bazel build configurations for halo2 to be on linux by @TomTaehoonKim in #369
• perf(math): avoid copying twice on bigint operations by @chokobole in #366
• test: enable benchmarking with rapidsnark by @chokobole in #357
• perf(crypto): avoid copying twice when returning a polynomial by @chokobole in #371
• perf: avoid in place operator where ineffective by @chokobole in #372
• test(zk): enable SelectorReplacerTest.Selector test on optimization mode by @chokobole in #374
• refac: organize Dockerfiles into docker directory by @TomTaehoonKim in #373
• ci: add opt option to ci test by @Insun35 in #375
• fix: change compile option maxvx512f to mavx2 for goldilocks by @chokobole in #376
• ci: use setup-python v5 by @Insun35 in #381
• fix: fix gcc-13 compile errors by @ashjeong in #377
• docs: add telegram contact to README.md by @chokobole in #378
• build(math): generate m31 field as non fft friendly field by @chokobole in #385
• docs: update how to build by @chokobole in #380
• refac(zk): refactor circuit polynomial builder by @chokobole in #384
• test: run (I)FFT benchmark under uniform conditions by @chokobole in #382
• perf: avoid copying on semigroup operations by @chokobole in #379
• refac: allow string conversions to accept malformed input by @chokobole in #388
• feat(math): add range check to string conversion methods by @chokobole in #389
• perf: avoid copying on group operations by @chokobole in #383
• perf(math): streamline operations by @ashjeong in #390
• fix(math): add missing changes from #388 by @chokobole in #392
• refac: rename group internal operations by @chokobole in #391
• chore(zk): clean up zk by @Insun35 in #393
• docs: update tachyon vs halo2 benchmarking results by @ashjeong in #395
• build(math): update build settings for goldilocks by @chokobole in #397
• feat(math): add circle point initially by @chokobole in #387
• docs(zk): add item to the list of the Halo2 optimizations by @chokobole in #398
• refac(math): rename filenames by @chokobole in #399
• chore: fix typos by @simlecode in #403
• feat: add packed mersenne31 by @chokobole in #396
• perf(math): add fast reduction for a special case by @chokobole in #404
• build: add build option to disable assembly optimized field by @chokobole in #406
• perf(math): parallelize SwapElements() by @chokobole in #408
• docs: update tachyon vs halo2 benchmarking results by @dongchangYoo in #410
• feat(circom): enable loading witness from json by @chokobole in #407
• build: add intel openmp support by @chokobole in #409
• refac!: abstract lookup scheme by @Insun35 in #400
• feat(math): add baby and koala bear fields by @chokobole in #405
• feat(math): prepare poseidon2 by @chokobole in #411
• build: update tachyon version for releasing v0.2.0 by @dongchangYoo in #417

New Contributors

• @simlecode made their first contribution in #403

Full Changelog: v0.1.0...v0.2.0