Skip to content

Latest commit

 

History

History
432 lines (178 loc) · 18 KB

CHANGELOG.md

File metadata and controls

432 lines (178 loc) · 18 KB

Changelog

[1.2.2] - 2025-02-13

Compare 196952f ... f8d604f

Bug Fixes

Miscellaneous Tasks

  • Fix links in CHANGELOG (3dab65b)

  • Simplify release PR comment - in PR #449

  • Automatize PPs generation on major version bumps - in PR #450

  • Update dependencies - in PR #455

[1.2.1] - 2025-01-28

Compare 64269de ... 196952f

Features

  • Expose verifiable_db version - in PR #447

Miscellaneous Tasks

  • Fix commit links in CHANGELOG - in PR #446

Release

[1.2.0] - 2025-01-27

Compare 2f7d631 ... 64269de

Features

  • Add primary index bracketing check - in PR #433

Bug Fixes

Refactor

  • Add methods to UpdatePlan API - in PR #436

Miscellaneous Tasks

Release

[1.1.3] - 2025-01-15

Compare 77fa458 ... 2f7d631

Bug Fixes

  • Do not crash on missing predicate - in PR #428

[1.1.2] - 2025-01-09

Compare cc50651 ... 77fa458

Refactor

  • Make ryhope use its dedicated error type - in PR #424

Build

Chroe

[1.1.1] - 2024-11-15

Compare 4255ab1 ... cc50651

Features

  • Tabular SELECT Queries Without Aggregation Functions - in PR #373

[1.1.0] - 2024-11-07

Features

  • Prove all tx in a block - in PR #6

  • Implement 16-arity digest circuit - in PR #37

  • Implement map-to-curve and group-hashing functions - in PR #42

  • Add length-match circuit to prove the previous length and mapping entries proofs has the same length value - in PR #82

  • Link state proof with block - in PR #53

  • Mapping length extraction - in PR #83

  • Add digest equivalence circuit for MPT and Merkle tree - in PR #96

  • Add leaf node circuit - in PR #105

  • Add circuit to prove the correct updating of the block database - in PR #102

  • Add intermediate node state circuit - in PR #111

  • Add provenance circuit for storage db - in PR #130

  • Add groth16-framework - in PR #131

  • Query2 API - in PR #143

  • Add variable depth merkle tree opening - in PR #158

  • Add tests to hash_maybe_swap - in PR #169

  • Add a function to init the Groth16 prover from bytes - in PR #194

  • Add range assertion to pi register - in PR #206

  • Add database extraction leaf length circuit - in PR #209

  • Add branch check to extraction circuit - in PR #211

  • Add API interface to length extraction - in PR #216

  • Init integration-tests with Values Extraction (C.1) tests - in PR #217

  • Add the circuits for Contract Extraction (C.3) - in PR #218

  • Add integrated tests to length extraction circuit - in PR #219

  • Integrate ryhope - in PR #238

  • Row tree creation & proving - in PR #241

  • Implement column extraction component for query circuit - in PR #247

  • Implement the output component with no aggregation for query circuit - in PR #251

  • Implement full node circuits for query aggregation - in PR #254

  • Implement partial node circuits for query aggregation - in PR #266

  • Implement child proven single path node circuit - in PR #256

  • Add (try_)fetch_with_context_at - in PR #273

  • Implement non-existence leaf circuit for query aggregation - in PR #267

  • Implement query validation - in PR #272

  • Implement subtree proven single path node circuit - in PR #270

  • Add public inputs for construction circuits to build results tree - in PR #275

  • Implement revelation circuit without results tree - in PR #271

  • Results tree construction circuits (3.B) - in PR #279

  • Implement record construction circuits (3.A) - in PR #283

  • Ryhope PgSQL backend may be initialized from an existing pool - in PR #305

  • Implement query validation & translation - in PR #277

  • Implement secondary index bracketing - in PR #323

  • Implement grouped transactions - in PR #318

  • Everything and the kitchen sink - in PR #328

  • Re-inject block in generate_query_keys (9f28195)

  • Ensure safe typing of intermediate query formats (31fc749)

  • Integrate core keys queries in parsil (aa56826)

  • Improve error messages for rollbacks (81470ac)

  • Clamp index tree core keys within their realm of existence - in PR #354

  • Add try_fetch_many_at (6996313)

  • Live tree explorer - in PR #363

  • Implement batched update trees - in PR #375

  • Use MAX_BIGINT for alive nodes - in PR #390

  • Add a way for tree aggregation to handle external data (f3cc06d)

Bug Fixes

  • Enforce no dulicate mapping entry for branch in MPT - in PR #104

  • Block linking pi lengths - in PR #113

  • Restrict the generated account-node length must be within a range of 128 - in PR #114

  • Return verifier contract file path and save groth16 proof to file (optional) - in PR #160

  • Return combined bytes from Groth16 prove function and verify in Solidity - in PR #166

  • Drop the groth16 asset memory manually - in PR #197

  • Cache logic (5ea2f1b)

  • Always commit initial staet, even if the tree is not touched. (7f68e26)

  • Always commit initial state, even if the tree is not touched. - in PR #289

  • Erroneous cache interpretation at commit - in PR #295

  • Update the revelation public inputs to align with Uint256 (part-1 of Groth16 integration) - in PR #310

  • Make some testing functions public for using them in groth16-framework (part-2 of Groth16 integration) - in PR #311

  • Erroneous initial cache status - in PR #331

  • CEIL -> FLOOR (9593048)

  • Double-commit in PgSqlStorage (c429943)

  • Make tests build - in PR #342

  • Escape ryhope columns - in PR #341

  • Unify nomenclature (0a679f6)

  • Query injection shenanigans (952f8c7)

  • Tests (0d8ec89)

  • Fetch payload from zkTables (1e492d1)

  • Forgotten (4283eba)

  • Correctly handle Gt/Lt in secondary index bound computations - in PR #356

  • Remove useless cast - in PR #359

  • Set the epoch at which the wide lineages are computed - in PR #360

  • SBBST lineage computation (8fecdb3)

  • Small optimization (4e9c77f)

  • Add local test for the Groth16 proof - in PR #370

  • Add QueryError to verifier contract - in PR #374

  • Differentiate between placeholder traversing and validation (46dbe78)

  • Better messages - in PR #394

  • Missing .gitmodules (62d7d0e)

Refactor

  • Move ryhope into mapreduce-plonky2 - in PR #259

  • Impose Debug on UpdateTree::K (c677ded)

  • Better naming (0601f97)

  • Split between visitor and mutator - in PR #340

  • Compute cryptographic IDs in the QE - in PR #349

Documentation

  • Generate cargo docs on github pages - in PR #303

Performance

  • Implement batched fetch operations - in PR #379

Miscellaneous Tasks

API

  • Define standard method off-circuit/in-circuit for encoding leaves - in PR #117

WiP

  • Test custom placeholders in integrated test (7ee2caa)

  • Still need to test (4583491)

Bug

  • Fix the order issue in query2 verifier contract - in PR #189

Build

  • Update dependencies - in PR #121

  • Enable more agressive optimizations - in PR #258

  • Disable commit hooks (b425461)

  • Unify devenv (835901e)

  • Use a random PgSQL port on CI - in PR #296

Debug

Hack

  • Refuse non-aggregated queries - in PR #337

Utils