Skip to content

CHANGELOG.md

Latest commit

 

History

History
394 lines (388 loc) · 20.9 KB

CHANGELOG.md

File metadata and controls

394 lines (388 loc) · 20.9 KB

Changelog

All notable changes to this project will be documented in this file.

[0.3.0] - 2025-06-04

Merged PRs

  • Test: add testing in util library (#432) (François Garillot)
  • Poseidon2 AIR (#435) (Daniel Lubarov)
  • Remove some unused dependencies (#441) (Hamish Ivey-Law)
  • Adding custom AVX2 implementations for x^3, x^5 and x^7 for Monty31Fields (#437) (AngusG)
  • Coset LDE based on row-oriented DFT (#440) (Hamish Ivey-Law)
  • From_base_fn (#452) (Daniel Lubarov)
  • Profiling profile (#454) (Daniel Lubarov)
  • Prover folder view (#455) (Eli Riggs)
  • Fix: two_adic_generator doc comment (#447) (Zach Langley)
  • Parallelize scaling rows in the middle of the LDE (#457) (Daniel Lubarov)
  • Remove the old bit_reversed_zero_pad function (#458) (Daniel Lubarov)
  • Trivial ordering changes (#463) (Daniel Lubarov)
  • De-dup itertools versions (#460) (Hamish Ivey-Law)
  • Remove vector allocations in hash_iter() implementations (#459) (Hamish Ivey-Law)
  • Vectorized Poseidon2 AIR (#465) (Daniel Lubarov)
  • Tweaks (#467) (Daniel Lubarov)
  • Use jemalloc in poseidon2-air examples (#468) (Daniel Lubarov)
  • Slightly generalize Merkle tree (#471) (Daniel Lubarov)
  • Update tikv-jemallocator requirement from 0.5 to 0.6 (#472) (dependabot[bot])
  • Split FRI proof objects & logic (#464) (Daniel Lubarov)
  • Fill in constraints for Poseidon2 AIR (#473) (Daniel Lubarov)
  • Integrate Jaqui's vectorized keccak (#469) (Daniel Lubarov)
  • Goldilocks Improvements (#446) (albertog78)
  • Div_ceil is now stabilised so we no longer need our own version in utils. (#478) (AngusG)
  • Somehow the base M31 and Goldilocks fields were missing repr(transparent). (#480) (AngusG)
  • Add a zero_vec method in Field (#481) (Daniel Lubarov)
  • Small tweaks to prover constraint folder (#483) (Daniel Lubarov)
  • Precompute powers of alpha to speed up constraint folding (#487) (Daniel Lubarov)
  • Trivial tweaks (#489) (Daniel Lubarov)
  • Fix overflow in SerializingChallenger64 (#486) (Daniel Lubarov)
  • Have BinomialExtensionField override zero_vec (#488) (Daniel Lubarov)
  • Cubic mul no vec (#490) (Eli Riggs)
  • More explicit inlining (#493) (Daniel Lubarov)
  • Vectorize columnwise_dot_product (#495) (Eli Riggs)
  • Fixing main (#497) (AngusG)
  • Minor Nightly Features clean up (#499) (AngusG)
  • Implement zero_vec for packed fields (#500) (Daniel Lubarov)
  • Enable AVX2 and AVX-512 implementations of Keccak (#501) (Jacqueline Nabaglo)
  • Minor Changes to make Clippy happy (#504) (AngusG)
  • Add M31 and BabyBear examples for prove Poseidon2 (#502) (AngusG)
  • Precompute twiddles etc in Radix2DitParallel (#505) (Daniel Lubarov)
  • SSE2 implementation of Keccak (#503) (Jacqueline Nabaglo)
  • Update hashbrown requirement from 0.14.3 to 0.15.0 (#508) (dependabot[bot])
  • Some Mathematical Improvements to CFFT code (#506) (AngusG)
  • Fix: multi-field challenger rate (#491) (Tamir Hemo)
  • Refactor: Simplify implementation of symbolic arithmetic operations (#513) (Adrian Hamelink)
  • Speeding up Vertically_Packed_Row (#514) (AngusG)
  • Hiding Merkle tree MMCS (#517) (Daniel Lubarov)
  • Use Poseidon2 instead of Poseidon as underlying hash in example (#515) (Hamish Ivey-Law)
  • Moving some code around to make the Goldilocks crate closely match the other field crates. (#516) (AngusG)
  • Currently not compiling on msvc environments. Need to not load Jemalloc in those cases. (#523) (AngusG)
  • Angus/update poseidon2 example (#526) (AngusG)
  • Add AirWithPublicValues (#470) (Xinding Wei)
  • Perf: Avoid hashing together default digests (zeros) in MT construction (#509) (Marti)
  • Modify Radix2DitParallel to treat a coset LDE... (#527) (Daniel Lubarov)
  • Change a collection of trait functions into constants (#525) (AngusG)
  • Fix duplex outputs (#532) (Daniel Lubarov)
  • Fix: TwoAdicFriPcs verify debug assert for trace height 1 (#415) (Jonathan Wang)
  • Field: improve ExtensionField::as_base (#533) (Thomas Coratger)
  • Refactor: use into instead of from when possible (#537) (Thomas Coratger)
  • Poseidon2 implementation for AVX2 and AVX512 and fields M31, KoalaBear, BabyBear (#528) (AngusG)
  • Rename AbstractField and AbstractExtensionField (#545) (AngusG)
  • Rename remaining AbstractField to FieldAlgebra (#548) (kilic)
  • Minor fmt fix (#550) (AngusG)
  • Hiding FRI PCS (#536) (Daniel Lubarov)
  • Remove the PackedPowers Struct. (#554) (AngusG)
  • Test(matrix): add unit tests for matrix (#540) (Thomas Coratger)
  • Matrix: implement Deref for FlatMatrixView (#541) (Thomas Coratger)
  • Implement packed version of RecursiveDft (#557) (Hamish Ivey-Law)
  • It's not clear why try_div is worth is worth having as a method given we already have .try_inverse(). (#553) (AngusG)
  • I think this is a holdover from before halve existed. (#552) (AngusG)
  • Performance: Reuse inverted denominators in coset evaluator (#549) (kilic)
  • Blake3 AIR (#534) (AngusG)
  • Revamp dependencies for better management (#555) (Robin Salen)
  • Fix typo (#559) (kevaundray)
  • Pull Request: Fix Documentation Typos (#560) (Noisy)
  • Chore: fix some typos in comment (#561) (cuibuwei)
  • AVX2 Goldilocks Missing Poseidon import. (#563) (AngusG)
  • Minor Improvements to Hashing and Serialization/Deserialization. (#564) (AngusG)
  • Improving use of FFT and Hash functions. (#567) (AngusG)
  • Prove Poseidon2 Examples (#566) (AngusG)
  • Full Suite of prove blake-3 air examples (#568) (AngusG)
  • More Customizable Examples (#569) (AngusG)
  • Add generate_trace_rows methods to all of our airs. (#573) (AngusG)
  • Chore: fix some typos in comment (#577) (taikoon)
  • Adding impl method for SerializingChallenger64 so that the new faster version of Keccak can be used with the goldilocks field. (#578) (AngusG)
  • Update serializing_challenger.rs (#580) (fuder.eth)
  • Fix duplicate (#583) (CrazyFrog)
  • Binomial (#584) (Woolfgm)
  • Refactor (#585) (Sai)
  • More Customizable Benchmarks (#576) (AngusG)
  • Add FRI early stopping (#579) (Sai)
  • Fix comments (#587) (taikoon)
  • Chore: constructor for poseidon2-air RoundConstants (#588) (stephenh-axiom-xyz)
  • Update halo2curves requirement from 0.7.0 to 0.8.0 (#598) (dependabot[bot])
  • Better error management in mmcs/two_adic_pcs (#600) (François Garillot)
  • Fix: do not use monty form in MultiField32Challenger (#597) (Jonathan Wang)
  • Better error management (#602) (François Garillot)
  • Update itertools requirement from 0.13.0 to 0.14.0 (#603) (dependabot[bot])
  • Add new_array methods for Goldilocks and Mersenne31 (#607) (AngusG)
  • Optimize bit reversal (#596) (François Garillot)
  • Challenger: simplify deref (#609) (Thomas Coratger)
  • Challenge: rm some useless generics (#610) (Thomas Coratger)
  • Refac(helpers): rm some useless generics for field_to_array calls (#617) (Thomas Coratger)
  • Test(util): more unit tests for apply_to_chunks (#608) (Thomas Coratger)
  • Challenger: more documentation and unit tests for HashChallenger (#611) (Thomas Coratger)
  • Adding m31 to customizable examples (#590) (AngusG)
  • Simple improvement. (#622) (AngusG)
  • Cleaning up KECCAK AIR and speeding up its trace generation. (#621) (AngusG)
  • Correct num_hashes computation for changing P2_VECTOR_LEN (#623) (Georg Wiese)
  • Bug fix: observe openings (#627) (kilic)
  • Compress matrices once (#631) (kilic)
  • Add extra_capacity_bits argument to all trace generation. (#634) (AngusG)
  • Challenger sampled bits (#629) (Antonio Mejías Gil)
  • Partial Keccak-AIR revert (#636) (AngusG)
  • Raise the output of get_evaluations_on_domain to an associated type instead of impl Matrix<..>. (#635) (AngusG)
  • Add debug assert to match matrices to sets of query points (#641) (Tess Dore)
  • Fix: addition mod 2^32 in blake3 trace generation. (#648) (Suyash Bagad)
  • Poseidon2: rm useless permutation reimplementation (#646) (Thomas Coratger)
  • Fri: make some fn const (#645) (Thomas Coratger)
  • Field Crate Refactor (#640) (AngusG)
  • Accidentally added an html testing file to the last pr. Just removing it. (#651) (AngusG)
  • Merklee tree: small touchups (#649) (Thomas Coratger)
  • Refac: small refac for MontyField31 (#652) (Thomas Coratger)
  • Mds: some simplifications and unit tests in util (#650) (Thomas Coratger)
  • Refac: small touchups (#655) (Thomas Coratger)
  • Poseidon2-air: refac RoundConstants impl (#658) (Thomas Coratger)
  • Poseidon-air: small touchups (#659) (Thomas Coratger)
  • Update rand crate dependency (#653) (AngusG)
  • Add proof size report in examples (#660) (Sai)
  • Poseidon: small touchups (#664) (Thomas Coratger)
  • Babybear: add default poseidon2 impl with rc (#663) (Thomas Coratger)
  • Util: rm gcd crate dep and make some fns const (#661) (Thomas Coratger)
  • Challenger: make constructors const (#668) (Thomas Coratger)
  • Poseidon2-air: single loop for rc and sbox for generate_full_round (#670) (Thomas Coratger)
  • Matrix: rm unnecessary alloc in vertically_packed_row (#671) (Thomas Coratger)
  • Adding doc comments to commit/src/domain (#654) (AngusG)
  • Fix: typos in documentation files (#678) (Maxim Evtush)
  • Fix: typo (#675) (Stephen)
  • Update README.md (#642) (crStiv)
  • Matrix: increase test coverage for DenseMatrix (#681) (Thomas Coratger)
  • Core: some improvements (#669) (Thomas Coratger)
  • Matrix: add test_vertically_packed_row_pair (#682) (Thomas Coratger)
  • Updating TwoAdicData to store an Array instead of a function (#690) (Ming)
  • Build(deps): update hex-literal requirement from 0.4.1 to 1.0.0 (#689) (dependabot[bot])
  • Fix typo in benchmark function names: qudratic -> quadratic (#688) (kilavvy)
  • Util: use swap in relatively_prime_u64 (#684) (Thomas Coratger)
  • Update Rust Version to 2024 (#685) (AngusG)
  • Slightly cleaner way of storing 2-adic data for Goldilocks Field (#693) (AngusG)
  • Spelling and Terminology fixes (#696) (AngusG)
  • Symmetric: increase test coverage for symmetric compression (#691) (Thomas Coratger)
  • Deleting some unused stuff from Utils (#692) (AngusG)
  • Symmetric: increase test coverage of symmetric sponge (#695) (Thomas Coratger)
  • AVX2/AVX512 implementations for xor and andn AIR's with Monty31Field (#697) (AngusG)
  • Uni-stark: add unit tests for symbolic builder (#704) (Thomas Coratger)
  • Uni-stark: simplify symbolic expr and add unit tests (#703) (Thomas Coratger)
  • Wrap transmute with unsafe (clippy) (#707) (Thomas Coratger)
  • Fixing AVX512 failing tests (#680) (AngusG)
  • Dft: small touchups (#712) (Thomas Coratger)
  • Minor fixes throughout codebase (#716) (AngusG)
  • Adding Goldilocks quintinc extension field (#717) (Héctor Masip Ardevol)
  • Merkle tree: small touchups (#723) (Thomas Coratger)
  • Merkle tree: add unit tests for compress fn (#724) (Thomas Coratger)
  • Make Goldilocks two_adic generators public. (#705) (AngusG)
  • Updates to Bincode crate for the 2.0.0 release. (#726) (AngusG)
  • Assert Zeros option for AIRs (#713) (AngusG)
  • Hard code multiplicative group factors (#728) (AngusG)
  • Angus/minor field updates (#731) (AngusG)
  • Remove some functions we never use/don't need (#732) (AngusG)
  • Updating div/mul_2exp_u64 for MontyField31 (#733) (AngusG)
  • Add Panic documentation (#734) (AngusG)
  • Reduce dependencies in Rescue by reimplementing num_rounds (#735) (Hamish Ivey-Law)
  • Mmcs open_batch: small touchup (#737) (Thomas Coratger)
  • Make Clippy Happy (#736) (lfg2)
  • Import itertools and tracing as no_std. (#742) (Hamish Ivey-Law)
  • Replace std:: with core:: where possible. (#741) (Hamish Ivey-Law)
  • Remove thread_rng dependency (#740) (Hamish Ivey-Law)
  • Add Comments to Merkle Tree with a minor Verifier refactor (#738) (AngusG)
  • Use Jemalloc when on Unix/MacOS, not than when NOT on MICROS~1. (#745) (Hamish Ivey-Law)
  • Make Blake3 and Sha3 no_std (#746) (Hamish Ivey-Law)
  • Add Windoze, MacOS and AVX2 on Linux targets to the CI (#748) (Hamish Ivey-Law)
  • Remove std dep from bn254-fr; remove redundant ff dep. (#747) (Hamish Ivey-Law)
  • Improve bn254 Poseidon2 (#749) (AngusG)
  • Packed_binomial_extension: rm useless generics (#753) (Thomas Coratger)
  • Binomial extension: better implementation of rng distribution (#752) (Thomas Coratger)
  • Add embedded target to CI (#750) (Hamish Ivey-Law)
  • Coset crate (#676) (Cesar Descalzo)
  • Bn254Fr: small refac (#756) (Thomas Coratger)
  • Rm some useless generics (#762) (Thomas Coratger)
  • Rm unused deps (#760) (Thomas Coratger)
  • Field helpers: add unit tests (#758) (Thomas Coratger)
  • Air virtual column: add unit tests (#761) (Thomas Coratger)
  • Goldilocks: small touchup in as_canonical_biguint (#769) (Thomas Coratger)
  • Make Clippy Happy (#773) (AngusG)
  • Matrix stack: add unit tests (#780) (Thomas Coratger)
  • Clean unused deps (#774) (taikoon)
  • Minor fix (#783) (AngusG)
  • Safer Algebra's (#767) (AngusG)
  • Remove needless reference mut (#785) (taikoon)
  • Matrix strided: add unit tests (#781) (Thomas Coratger)
  • Matrix sparse: add unit tests (#782) (Thomas Coratger)
  • Remove unused p3-mds dependency from all Cargo.toml (#784) (taikoon)
  • Vanishing polynomial coset: rm unused file (#789) (Thomas Coratger)
  • Util transpose: add unit tests (#791) (Thomas Coratger)
  • Minor prover refactor to remove duplicated computation (#792) (AngusG)
  • Adding some end to end tests (#795) (AngusG)
  • Initialize Challenger through Stark Config (#793) (AngusG)
  • Dft util: add specific unit tests (#800) (Thomas Coratger)
  • Better Extension Field FFT's (#796) (AngusG)
  • Dft butterflies: doc for functions and structs (#801) (Thomas Coratger)
  • Challenger: more granularity in unit tests (#799) (Thomas Coratger)
  • RowMajorMatrix dft: use new_col when possible (#806) (Thomas Coratger)
  • Matrix util: unit tests and better doc (#802) (Thomas Coratger)
  • Monty-31: small touchups (#809) (Thomas Coratger)
  • Babybear extension_test: cfg test (#808) (Thomas Coratger)
  • Matrix row_index_mapped: add doc and unit tests (#810) (Thomas Coratger)
  • Radix 2 DIT: add documentation (#805) (Thomas Coratger)
  • Matrix sparse: rm unused (#814) (Thomas Coratger)
  • TwoAdicSubgroupDft Evaluations: header doc (#807) (Thomas Coratger)
  • Matrix HorizontallyTruncated: add unit tests and doc (#812) (Thomas Coratger)
  • Matrix: add documentation (#811) (Thomas Coratger)
  • Matrix bitrev: add unit tests and documentation (#813) (Thomas Coratger)
  • Support Hashing Vector Space Elements #2 (#775) (AngusG)
  • Improving comments and default (#819) (AngusG)
  • Add comments to Pcs trait (#820) (AngusG)
  • DenseMatrix: add more precise struct and field documentation (#823) (Thomas Coratger)
  • Minor Fri Refactor (#821) (AngusG)
  • reconstitute_from_base: make chunks parallel (#830) (Thomas Coratger)
  • Poseidon external: add doc (#826) (Thomas Coratger)
  • Matrix stack: add more documentation (#825) (Thomas Coratger)
  • DenseMatrix: small touchup on types (#833) (Thomas Coratger)
  • Uni stark: add more tests and doc for check_constraints (#829) (Thomas Coratger)
  • Perf: more efficient interpolate_coset in pcs.open (#831) (Zach Langley)
  • Field extension traits: add doc (#835) (Thomas Coratger)
  • Zk treatment (#643) (Linda Guiga)
  • MerkleTreeHidingMmcs: make new function const (#827) (Thomas Coratger)
  • Matrix extension: more unit tests and doc (#824) (Thomas Coratger)
  • Refactor: precompute coset rather than subgroup for interpolation (#837) (Zach Langley)
  • More general matrix Transpose (#836) (AngusG)
  • Minor fix to out of domain challenge generation. (#818) (AngusG)
  • Small ZK Verifier refactor (#838) (AngusG)
  • Improve safety (and reduce panics) for Matrix methods (#816) (AngusG)
  • Chore: make jemallocator dev-dependency (#844) (Jonathan Wang)
  • Make clippy happy (#840) (AngusG)
  • Speeding Up Extension Field Muls (#839) (AngusG)
  • Speeding up Goldilocks dot product and Field Extension Muls (#843) (AngusG)
  • Perf: Custom code for Quartic Square (#845) (AngusG)
  • Initial work (#848) (AngusG)
  • Perf: Custom code for inverse in quartic field extension. (#846) (AngusG)
  • Perf: Custom code for inverse in quintic field extension. (#847) (AngusG)
  • PackedValue: add documentation for trait (#849) (Thomas Coratger)
  • Add comments to Interpolation code (#850) (AngusG)
  • Move BatchOpening into MMCS (#851) (AngusG)
  • LinearMap: add doc and unit tests (#853) (Thomas Coratger)
  • ZipEq: add unit tests (#854) (Thomas Coratger)
  • array_serialization: add unit tests (#855) (Thomas Coratger)
  • Merkle tree: more doc and unit tests (#842) (Thomas Coratger)
  • Move split_evals and split_domains into commit_quotient and add comments (#859) (AngusG)
  • Add cfg test for poseidon2 files (#862) (Thomas Coratger)
  • Mmcs: more doc and simplifications (#861) (Thomas Coratger)
  • More unit tests for interpolation crate (#863) (Thomas Coratger)
  • Mds: some touchups on karatsuba_convolution (#864) (Thomas Coratger)
  • Interpolation: add test for single interpolation with multiple polys (#865) (Thomas Coratger)
  • Deps: bump criterion (#867) (Thomas Coratger)
  • Packed binomial extension: rm useless generics (#872) (Thomas Coratger)
  • Fix: PackedFieldExtension::from_ext_slice should use F::Packing::from_slice instead of only taking the first element (#873) (Han)
  • Util: accelerate square transpose using rayon (#869) (Thomas Coratger)
  • Add Slice Accumulation (#875) (AngusG)
  • Extension Field Tests (#874) (AngusG)
  • Small Batch FFT (#876) (AngusG)
  • Commit: small touchups (#878) (Thomas Coratger)
  • Challenger: more doc for duplex sponge (#879) (Thomas Coratger)
  • Small Batch idft and coset-lde (#877) (AngusG)
  • Uni-stark: small touchup on trait bound (#882) (Thomas Coratger)
  • Uni-stark: small touchups in prover (#883) (Thomas Coratger)
  • Challenger: add doc for GrindingChallenger (#881) (Thomas Coratger)
  • Challenger: more doc for traits (#880) (Thomas Coratger)
  • Linear_map.rs: Add convenience methods (#885) (Adrian Hamelink)
  • Testing Large DFT's (#889) (AngusG)
  • Small Batch DFT Improved Parallelisation (#890) (AngusG)
  • Bump and release automation (#546) (BGluth)
  • P3-field: more packing and cleanup (#886) (Adrian Hamelink)
  • [CI] Introduce cargo-sort and remove unused dependencies (#894) (Adrian Hamelink)
  • Leftover automated build cleanup (#895) (BGluth)

Authors

  • Adrian Hamelink
  • AngusG
  • Antonio Mejías Gil
  • BGluth
  • Cesar Descalzo
  • CrazyFrog
  • Daniel Lubarov
  • Eli Riggs
  • François Garillot
  • Georg Wiese
  • Hamish Ivey-Law
  • Han
  • Héctor Masip Ardevol
  • Jacqueline Nabaglo
  • Jonathan Wang
  • Linda Guiga
  • Marti
  • Maxim Evtush
  • Ming
  • Noisy
  • Robin Salen
  • Sai
  • Stephen
  • Suyash Bagad
  • Tamir Hemo
  • Tess Dore
  • Thomas Coratger
  • Woolfgm
  • Xinding Wei
  • Zach Langley
  • albertog78
  • crStiv
  • cuibuwei
  • fuder.eth
  • kevaundray
  • kilavvy
  • kilic
  • lfg2
  • stephenh-axiom-xyz
  • taikoon

[0.2.0] - 2024-08-12

Merged PRs

  • Couple Keccak tweaks - TODOs, inlines (#349) (Daniel Lubarov)
  • Fix parens in comment (#350) (Daniel Lubarov)
  • Circle fri 2 (#333) (Eli Riggs)
  • Rm -rf lde (#352) (Eli Riggs)
  • Whoops (#354) (AngusG)
  • Refactor: Optimize code based on cargo clippy suggestions (#345) (tgolang)
  • Add missing constraint for Keccak preimage matching A (round input) (#355) (Daniel Lubarov)
  • Incorporate public values into the transcript (#359) (Daniel Lubarov)
  • Multiplicative group orders using naive trial division (#357) (Daniel Lubarov)
  • Fix: use Entry::Preprocessed for preprocessed symbolic vars (#362) (Ayush Shukla)
  • Chore: fix some typos in comments (#364) (cartnavoy)
  • Fix DuplexChallenger so it doesn't overwrite capacity elements (#367) (Daniel Lubarov)
  • Update itertools requirement from 0.12.0 to 0.13.0 (#369) (dependabot[bot])
  • Updating Poseidon2 Comments (#363) (AngusG)
  • Include degree in the transcript (#375) (Daniel Lubarov)
  • Add condition() method on FilteredAirBuilder (#376) (Adrian Hamelink)
  • Fix M31 AVX512 Poseidon test duplication (#378) (Hamish Ivey-Law)
  • Fix from_base_slice comment (#382) (Daniel Lubarov)
  • Fix typo (#383) (Cai Dongliang)
  • Reducing Copy-Pastes in Packed Field Testing (#381) (AngusG)
  • Various small changes based on auditor feedback (#387) (Daniel Lubarov)
  • Add a prove_m31_poseidon2 example (#388) (Daniel Lubarov)
  • Observe the final polynomial in FRI (#393) (Daniel Lubarov)
  • Enforce that Merkle proofs must have the expected shape (#394) (Daniel Lubarov)
  • Fix: typo (#396) (mlmoz)
  • [matrix] Add useful row iterator methods to DenseMatrix (#401) (Jim Posen)
  • Combine Babybear/Koalabear code into a single crate. (#404) (AngusG)
  • Circle better indexing + faster cfft (#397) (Eli Riggs)
  • Fix: added bool checks in keccak air (#409) (Kevin Jue)
  • Faster transpose (#408) (Hamish Ivey-Law)
  • Chore: use halo2curves for BN254 Fr and implement TwoAdicField (#412) (Jonathan Wang)
  • Feat: add CryptographicHasher implementation for SHA2-256 (#413) (Jonathan Wang)
  • Update halo2curves requirement from 0.6.1 to 0.7.0 (#419) (dependabot[bot])
  • Feat: SHA-256 pseudo-compression 2-to-1 function (#416) (Jonathan Wang)
  • Minor change to avoid sorting the same iterator twice. (#421) (AngusG)
  • Remove an index_out_of_bound_check. (#422) (AngusG)
  • Move asm to a feature as opposed to default. (#423) (AngusG)
  • Clean up Poseidon2 Benching (#424) (AngusG)
  • Add a KoalaBear to prove examples (#425) (AngusG)
  • Better tracing info message (#426) (Jason Huang)
  • Remove redundant imports. (#427) (Hamish Ivey-Law)
  • Fixing strange AVX2 compilation bug (#429) (AngusG)

Authors

  • Adrian Hamelink
  • AngusG
  • Ayush Shukla
  • Cai Dongliang
  • Daniel Lubarov
  • Eli Riggs
  • Hamish Ivey-Law
  • Jason Huang
  • Jim Posen
  • Jonathan Wang
  • Kevin Jue
  • cartnavoy
  • mlmoz
  • tgolang