v2.0.0

v2.0.0

✨ Features

• (!) Raise an ArithmeticDomain to any exponent (7d9b54fe)

🐛 Bug Fixes

• (!) Consider FRI polynomial in Fiat-Shamir state (3a045d63)

⚡️ Performance

• (build) Reduce allocations when building (59ac8dae)
• (build) Speed up constraint circuit hashing (3b45421c)
• Improve compile times through faster hashing (5337de08)

📚 Documentation

• Decrease width of spec page “instructions” (7bd77d33)
• Add draft for Tip9, “polynomial registers” (c429f60b)
• Add TIP-0010 (e1593be3)

⚙️ Miscellaneous

• Reflect true MSRV (44a6240d)
• Adapt to latest Codspeed changes (f0536892)

♻️ Refactor

• (!) (ArithmeticDomain) Uphold invariants (59dd3b4d)

v1.0.0

v1.0.0

⚙️ Miscellaneous

• Make environment variable name public (8d51898)
• Upgrade dependencies (4da0e9f)

v0.50.0

0.50.0

⚡️ Performance

• Avoid allocation during RAM-frugal proving (47509643)
• Don't allocate when hashing FRI table rows (27f67129)

v0.49.0

0.49.0

✨ Features

• Improve error messages of parser (7ef225f1)
• (!) Report all table heights for VM::profile (f05db5ee)
• (parser) Allow “generic types” in type hints (f9e0666e)
• (profiler) Report memory consumption (0eaac39e)

🐛 Bug Fixes

• Use rayon's thread count for parallelization (b66d0f2f)
• Correctly accept high-security proofs (fd663411)

📚 Documentation

• Update some documentation to current lingo (4903b6a1)
• Mention Triton CLI in README (a736b11f)
• Fix broken footnotes (d39626d4)
• Link to Triton CLI's “Profiling” section (eec84919)
• Fix intra-doc links (ac91d15d)

⚙️ Miscellaneous

• Drop unused dependencies (426d70f1)
• (!) Upgrade to rust edition 2024 (3cb1528d)
• Check links (adbce6a6)
• Build & test mdBook (df07acae)
• Don't include tests in coverage percentage (69ccd615)
• Update license to MIT OR Apache-2.0 (c012d3ad)

♻️ Refactor

• (!) Clarify derivation of prover's domains (b6a1d5f3)

✅ Testing

• Increase testability of constraint failures (bda6de5c)

v0.48.0

0.48.0

📚 Documentation

• Fix internal intra-doc links (d3fbc654)

⚙️ Miscellaneous

• Add degree lowering benchmark to codspeed (048ea2ea)

♻️ Refactor

• Consistently use criterion in benchmarks (872d42c3)

v0.45.0

0.45.0

⚡️ Performance

• (verifier) Remove parallelism (baf5860f)

v0.44.1

0.44.1

🐛 Bug Fixes

• Improve error message on internal error (9c6cc1c2)

📚 Documentation

• Add contribution guidelines (5f17e2dc)
• Clarify examples of instruction behavior (875cd09e)

⚙️ Miscellaneous

• Enable continuous benchmarks through codspeed (b9f78adb)
• Fix typos (595889f0)

v0.44.0

0.44.0

✨ Features

• Set minimum supported rust version (MSRV) (a6cc98a3)

♻️ Refactor

• (!) Remove bracket syntax sugar for call (847b513e)
• (!) Remove deprecated functions (5a16da96)

v0.43.0

0.43.0

✨ Features

• (Claim) Accept more types for public input (6451d76)
• (!) Add field version to Claim (48f896a)
• Display jump stack when printing VMState (0665f2f)
• (!) Optionally supply prover randomness seed (923e9e1)
• (!) Introduce assertion error (a987ebe)

⚡️ Performance

• (RAM) Drop cached polynomials (9bf637d)
• (LDE) Only interpolate if result is used (4133b6e)
• Reduce prover's space requirements (833244d)

♻️ Refactor

• (!) Store debug information in VMState (d9664e5)
• Introduce structs Prover & Verifier (2f5b7a9)

✅ Testing

• Computations are independent of caching (ecd3108)
• Verify randomizers' large Hamming distance (ba2e92b)

⏱ Bench

• Benchmark barycentric evaluation (ce592a9)