Skip to content

Pull requests: spaceandtimelabs/sxt-proof-of-sql

New pull request New
41 Open 699 Closed
41 Open 699 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

docs: update benchmarks in readme
#798 opened Apr 28, 2025 by jacobtrombetta • Draft
1
feat: add GeneralizedFilterExec
#797 opened Apr 27, 2025 by iajoiner Loading…
4 tasks
feat: add TableExec to solidity
#789 opened Apr 24, 2025 by iajoiner • Draft
1
feat: join in planner
#786 opened Apr 23, 2025 by stuarttimwhite • Draft
4 tasks done
3
feat(sol): add singleton chi eval to verification builder
#784 opened Apr 23, 2025 by iajoiner Loading…
4 tasks done
2
refactor(sol): break up large function in ResultVerifier.pre.sol to simplify adding of types && standardization of column types
#780 opened Apr 22, 2025 by iajoiner Loading…
4 tasks done
2
fix: fix misspellings in code comments
#775 opened Apr 21, 2025 by Anon-im Loading…
4 tasks done
feat: add GroupByExec in solidity
#774 opened Apr 21, 2025 by iajoiner • Draft
4 tasks
1
fix: logic error in YAML check script
#770 opened Apr 18, 2025 by mdqst Loading…
3 of 4 tasks
feat(sol): add more literal and return int types
#768 opened Apr 17, 2025 by iajoiner • Draft
4 tasks done
2
feat(sol): add CastExpr to solidity
#751 opened Apr 15, 2025 by iajoiner • Draft
4 tasks done
6
fix: validate plan and result calldata lengths
#749 opened Apr 15, 2025 by JayWhite2357 • Draft
4 tasks
1
test(sol): add a test for computeGLMSM with 0 length
#728 opened Apr 9, 2025 by JayWhite2357 Loading…
1
ci: switch to cargo nextest on code coverage
#727 opened Apr 9, 2025 by iajoiner • Draft
4 tasks
feat(sol): complete EVM verifier
#705 opened Apr 2, 2025 by JayWhite2357 • Draft
2
feat: add byte distribution
#665 opened Mar 25, 2025 by stuarttimwhite Loading…
4 tasks
1
chore: fix handling of multi-line COMMITS variable
#662 opened Mar 23, 2025 by brawncode Loading…
3 of 4 tasks
refactor: switch to simple derivation for serialize & deserialize for TableRef
#653 opened Mar 20, 2025 by iajoiner Loading…
4 tasks done
2
(Do not merge yet) refactor!: drop proof_of_sql_parser and any code dependent on it
#652 opened Mar 20, 2025 by iajoiner • Draft
4 tasks
feat: add div-mod constraints
#646 opened Mar 18, 2025 by stuarttimwhite Loading…
4 tasks
15
feat: add AggregateExec
#624 opened Mar 11, 2025 by iajoiner Loading…
2
feat: add div and mod gadget
#606 opened Mar 6, 2025 by stuarttimwhite Loading…
2 tasks
13
feat: support Uint16 type
#578 opened Feb 25, 2025 by Dustin-Ray • Draft
2 tasks done
2
feat: add OrderByExec
#555 opened Feb 17, 2025 by iajoiner • Draft
2 tasks done
1
test: tamper tests for equals expr
#541 opened Feb 12, 2025 by stuarttimwhite Loading…
2 tasks
1
ProTip! Exclude everything labeled bug with -label:bug.