New Features

• Poseidon2
• BinaryField
• FieldMerkleTreeMMCS
• ChaCha20Rng

What's Changed

• feat: implement poseidon2 by @chokobole in https://github.com/kroma-network/tachyon/pull/413
• build: support building with clang on ubuntu by @chokobole in https://github.com/kroma-network/tachyon/pull/414
• refac: generalize example circuit tests by @ashjeong in https://github.com/kroma-network/tachyon/pull/415
• test: implement fibonacci circuits by @TomTaehoonKim in https://github.com/kroma-network/tachyon/pull/279
• feat(circom): enable circom proof generation without compilation by @chokobole in https://github.com/kroma-network/tachyon/pull/419
• refac(math): refactor prime fields by @chokobole in https://github.com/kroma-network/tachyon/pull/422
• perf: prepare to skip zkey parsing by @chokobole in https://github.com/kroma-network/tachyon/pull/425
• docs: add zip to Ubuntu prerequisites by @Insun35 in https://github.com/kroma-network/tachyon/pull/427
• refac: fix zero case for inverse and div by @ashjeong in https://github.com/kroma-network/tachyon/pull/424
• feat(math): implement binary field initially by @chokobole in https://github.com/kroma-network/tachyon/pull/416
• test: add no_zk and verify flag for circom benchmarking by @TomTaehoonKim in https://github.com/kroma-network/tachyon/pull/423
• refac(math): move binary fields by @chokobole in https://github.com/kroma-network/tachyon/pull/429
• feat: add initial template two adic fri pcs by @chokobole in https://github.com/kroma-network/tachyon/pull/428
• refac: improve #424 by @chokobole in https://github.com/kroma-network/tachyon/pull/431
• feat(math): add simd int by @chokobole in https://github.com/kroma-network/tachyon/pull/432
• feat(math): impl remove zeros for sparse univariate poly by @batzor in https://github.com/kroma-network/tachyon/pull/430
• feat: support openmp on mac by @batzor in https://github.com/kroma-network/tachyon/pull/434
• feat: implement LogUp scheme by @Insun35 in https://github.com/kroma-network/tachyon/pull/420
• feat: implement hash wrappers by @chokobole in https://github.com/kroma-network/tachyon/pull/433
• perf(zk): optimize log derivative halo2 lookup by @chokobole in https://github.com/kroma-network/tachyon/pull/437
• feat(math): enable poseidon to hash packed prime fields by @chokobole in https://github.com/kroma-network/tachyon/pull/435
• refac: apply c type traits to point types by @chokobole in https://github.com/kroma-network/tachyon/pull/438
• feat!(math): improve prime field (de)serialization by @chokobole in https://github.com/kroma-network/tachyon/pull/440
• feat: add FieldMerkleTree by @chokobole in https://github.com/kroma-network/tachyon/pull/436
• docs: update readme by @chokobole in https://github.com/kroma-network/tachyon/pull/439
• refac(c/zk): apply c type traits by @chokobole in https://github.com/kroma-network/tachyon/pull/445
• feat(crypto): add FieldMerkleTreeMMCS by @chokobole in https://github.com/kroma-network/tachyon/pull/442
• feat(math): implement field extension for stark fields by @chokobole in https://github.com/kroma-network/tachyon/pull/443
• docs: update circom README.md by @chokobole in https://github.com/kroma-network/tachyon/pull/449
• feat(circom): introduce -n flag for specifying number of proof generation by @whoisgautxm in https://github.com/kroma-network/tachyon/pull/452
• refac(zk): modularize expressions by @batzor in https://github.com/kroma-network/tachyon/pull/446
• feat: impl Radix2DitParallel by @ashjeong in https://github.com/kroma-network/tachyon/pull/441
• feat: add extension field merkle tree mmcs by @chokobole in https://github.com/kroma-network/tachyon/pull/444
• feat(zk): implement plonky3 challenges by @chokobole in https://github.com/kroma-network/tachyon/pull/448
• perf!: use icicle msm by @chokobole in https://github.com/kroma-network/tachyon/pull/426
• perf: optimize fft by @GideokKim in https://github.com/kroma-network/tachyon/pull/456
• feat: add rust binding for DuplexChallenger by @chokobole in https://github.com/kroma-network/tachyon/pull/451
• feat(c/zk): generalize halo2 prover and verifier c API by @chokobole in https://github.com/kroma-network/tachyon/pull/458
• feat: impl two adic multiplicative coset by @ashjeong in https://github.com/kroma-network/tachyon/pull/457
• docs(halo2): update Halo2 migration guide by @chokobole in https://github.com/kroma-network/tachyon/pull/461
• build: prepare circom proof generation with cuda by @chokobole in https://github.com/kroma-network/tachyon/pull/462
• feat(zk): implement air constraint system by @batzor in https://github.com/kroma-network/tachyon/pull/453
• perf: use msm gpu when generating groth16 proof by @chokobole in https://github.com/kroma-network/tachyon/pull/463
• feat: support scroll halo2 1.1 by @chokobole in https://github.com/kroma-network/tachyon/pull/464
• fix(halo2)!: remove constraint system serialization from vk.write() by @chokobole in https://github.com/kroma-network/tachyon/pull/467
• perf(halo2): apply batch commitment in create_proof() by @chokobole in https://github.com/kroma-network/tachyon/pull/465
• perf: apply icicle ntt by @chokobole in https://github.com/kroma-network/tachyon/pull/466
• feat: support ChaCha20RNG by @chokobole in https://github.com/kroma-network/tachyon/pull/468
• perf: optimize circom proof generation by @chokobole in https://github.com/kroma-network/tachyon/pull/469
• perf(circom): optimize zkey parsing by @chokobole in https://github.com/kroma-network/tachyon/pull/471
• bulid: release tachyon v0.3.0 by @chokobole in https://github.com/kroma-network/tachyon/pull/470

New Contributors

• @batzor made their first contribution in https://github.com/kroma-network/tachyon/pull/430
• @whoisgautxm made their first contribution in https://github.com/kroma-network/tachyon/pull/452
• @GideokKim made their first contribution in https://github.com/kroma-network/tachyon/pull/456

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