-
Notifications
You must be signed in to change notification settings - Fork 607
Pull requests: spaceandtimefdn/sxt-proof-of-sql
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
perf: optimize proof verification performance and memory allocations
#2664
opened Aug 8, 2026 by
Simultech369
Loading…
refactor: replace opaque Scalar string conversions with from_str_via_hash
#2663
opened Aug 6, 2026 by
antheducation
Loading…
refactor!: make string to
Scalar conversions explicit
#2662
opened Jul 26, 2026 by
vietlinhh02
Loading…
feat: lower CASE WHEN in the planner to CaseExpr
#2661
opened Jul 24, 2026 by
rishitesh-snt
Contributor
Loading…
feat: support
CASE WHEN via a native CaseExpr proof primitive
#2659
opened Jul 22, 2026 by
rishitesh-snt
Contributor
Loading…
feat: make opaque Scalar conversions explicit and fix Montgomery round-trip soundness
#2656
opened Jul 16, 2026 by
namdamdoi68-oss
Loading…
refactor: make Scalar VarInt implementation blanket (#228, third item)
#2655
opened Jul 16, 2026 by
01luyicheng
Loading…
fix: Rewrite BETWEEN as product-sign expression when precision allows
#2653
opened Jul 16, 2026 by
sachin-snt
Contributor
Loading…
feat: support
CASE WHEN by composing existing proof expressions
#2651
opened Jul 15, 2026 by
rishitesh-snt
Contributor
Loading…
build!: upgrade blitzar to 5.0.1, nova-snark to 0.53.0
#2649
opened Jul 3, 2026 by
tlovell-sxt
Contributor
Loading…
build: add gpu-enabled shell to nix flake
#2481
opened Jun 17, 2026 by
tlovell-sxt
Contributor
Loading…
test: cover add_const, mul_add_assign, inner_product, and bit_mask_utils
#2477
opened Jun 16, 2026 by
XananasX7
Loading…
test: cover TableEvaluation, ColumnRef, arrow_schema_utility, and fold_util
#2476
opened Jun 16, 2026 by
XananasX7
Loading…
test: cover InequalityExpr and MultiplyExpr constructors and accessors
🙋 Bounty claim
#2475
opened Jun 16, 2026 by
XananasX7
Loading…
test: cover NotExpr and AndExpr constructors and accessors
🙋 Bounty claim
#2474
opened Jun 16, 2026 by
XananasX7
Loading…
test: cover EqualsExpr and OrExpr constructors and accessors
🙋 Bounty claim
#2473
opened Jun 16, 2026 by
XananasX7
Loading…
test: cover UnionExec constructor and input_plans accessor
🙋 Bounty claim
#2470
opened Jun 16, 2026 by
XananasX7
Loading…
test: cover owned_table_utility column constructor functions
🙋 Bounty claim
#2472
opened Jun 16, 2026 by
XananasX7
Loading…
test: cover SliceExec and get_slice_select
🙋 Bounty claim
#2471
opened Jun 16, 2026 by
XananasX7
Loading…
test: cover DynProofPlan constructors and trait accessors
🙋 Bounty claim
#2469
opened Jun 16, 2026 by
XananasX7
Loading…
test: cover column arithmetic operations error paths
🙋 Bounty claim
#2468
opened Jun 16, 2026 by
XananasX7
Loading…
test: cover RefInto reference conversion
🙋 Bounty claim
#2456
opened Jun 12, 2026 by
Shreshth3
Loading…
test: cover scalar conversion error display
🙋 Bounty claim
#2454
opened Jun 11, 2026 by
yanziwei
Loading…
Previous Next
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.