New
v0.3.0
ICICLE Integration to Tachyon
Highlights
Optimizations
MSMandFFTis optimized with icicle. See MSM Gpu benchmark and FFT Gpu benchmark.- Circom proof generation becomes 4x faster using icicle.
- Parsing
zkeyandwtnsfiles becomes 3x faster.
New Features
Poseidon2BinaryFieldFieldMerkleTreeMMCSChaCha20Rng
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_zkandverifyflag 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
FieldMerkleTreeby @chokobole in https://github.com/kroma-network/tachyon/pull/436 - docs: update readme by @chokobole in https://github.com/kroma-network/tachyon/pull/439
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