Code

query saffron#2974

Code

Merged

dannywillems merged 12 commits intomastero1-labs/proof-systems:masterfrom marc/query-saffrono1-labs/proof-systems:marc/query-saffronCopy head branch name to clipboardFeb 3, 2025

+328-83

Commits

Commits on Jan 28, 2025

• Saffron: index query conversions

  marcbeunardeau88

  committed
  5e4b290

  Copy full SHA for 5e4b290

• set up property based test to check multiple queries per data generation

  martyall

  committed
  76965e6

  Copy full SHA for 76965e6

Commits on Jan 29, 2025

• Merge pull request #2972 from o1-labs/martin/marc/query-saffron

  Show description for e3253d3
  martyall

  authored
  e3253d3

  Copy full SHA for e3253d3

• remove function get_31_bytes, use existing decode method

  martyall

  committed
  482964f

  Copy full SHA for 482964f

• remove used of hard coded 31 (i.e. field elem byte length)

  martyall

  committed
  ffa98c7

  Copy full SHA for ffa98c7

• add padded_field_length test helper

  martyall

  committed
  d7fb045

  Copy full SHA for d7fb045

• Force QueryField construction to come from smart constructor; throw an error when attempting to construct a malformed query

  martyall

  committed
  416ed93

  Copy full SHA for 416ed93

• add nil query test

  martyall

  committed
  af1b31b

  Copy full SHA for af1b31b

• use an iterator which can return None, change apply to functional style

  martyall

  committed
  3935f75

  Copy full SHA for 3935f75

Commits on Jan 30, 2025

• satisfy linter; opaque FieldElt type; simplify control into_query_field"

  martyall

  committed
  47fa03d

  Copy full SHA for 47fa03d

• Merge pull request #2975 from o1-labs/martin/marc/query-saffron-cleanup

  Show description for abf307b
  martyall

  authored
  abf307b

  Copy full SHA for abf307b

• Merge branch 'master' into marc/query-saffron

  martyall

  committed
  bd4a885

  Copy full SHA for bd4a885