GitHub / spaceandtimelabs/sxt-proof-of-sql issues and pull requests
#799 - chore: update LICENSE file
Pull Request -
State: closed - Opened by grabskimm 3 months ago
- 2 comments
Labels: released
#798 - docs: update benchmarks in readme
Pull Request -
State: open - Opened by jacobtrombetta 3 months ago
- 1 comment
#797 - feat: add `GeneralizedFilterExec`
Pull Request -
State: open - Opened by iajoiner 3 months ago
#796 - Update Cargo.toml
Pull Request -
State: closed - Opened by fatwhorefrommd 3 months ago
- 1 comment
#795 - feat!: add verifier key and public parameters to EVM verifier
Pull Request -
State: closed - Opened by JayWhite2357 3 months ago
- 2 comments
Labels: released
#794 - dbg
Pull Request -
State: closed - Opened by JayWhite2357 3 months ago
- 1 comment
#793 - ci: bump GitHub checkout version to 4
Pull Request -
State: closed - Opened by iajoiner 3 months ago
- 2 comments
Labels: released
#792 - bench: the benchmarks should use the `proof-of-sql-planner` crate when creating proof plans
Pull Request -
State: closed - Opened by jacobtrombetta 3 months ago
- 2 comments
Labels: released
#791 - (bot attempting to update Actions v3 everywhere)
Pull Request -
State: closed - Opened by dizer-ti 3 months ago
- 3 comments
#790 - Add query optimizer for join operations
Issue -
State: open - Opened by Gmhax 3 months ago
Labels: enhancement
#789 - feat: add `TableExec` to solidity
Pull Request -
State: open - Opened by iajoiner 3 months ago
- 1 comment
#788 - build: add the `blitzar` feature flag to the `nova-snark` crate
Pull Request -
State: closed - Opened by jacobtrombetta 3 months ago
- 2 comments
Labels: released
#787 - ci: eliminate foundary warnings and add ci check
Pull Request -
State: closed - Opened by iajoiner 3 months ago
- 2 comments
Labels: released
#786 - feat: join in planner
Pull Request -
State: open - Opened by stuarttimwhite 3 months ago
- 1 comment
#785 - refactor!: replace column ref with ident in accessor
Pull Request -
State: closed - Opened by stuarttimwhite 3 months ago
- 3 comments
Labels: released
#784 - feat(sol): add singleton chi eval to verification builder
Pull Request -
State: open - Opened by iajoiner 3 months ago
- 1 comment
#783 - (bot attempting to update Actions v3 everywhere)
Pull Request -
State: closed - Opened by NeoByteXx 3 months ago
- 2 comments
#782 - docs: automated fixing of typos
Pull Request -
State: closed - Opened by iajoiner 3 months ago
- 3 comments
Labels: released
#781 - refactor!: Switch to using getters in `proof_exprs` and `proof_plans`
Pull Request -
State: closed - Opened by iajoiner 3 months ago
- 3 comments
Labels: released
#780 - refactor(sol): break up large function in `ResultVerifier.pre.sol` to simplify adding of types && standardization of column types
Pull Request -
State: open - Opened by iajoiner 3 months ago
- 1 comment
#779 - feat: add `EVMGroupByExec`
Pull Request -
State: closed - Opened by iajoiner 3 months ago
- 2 comments
Labels: released
#778 - feat: add `EVMProjectionExec` and `EVMSliceExec`
Pull Request -
State: closed - Opened by iajoiner 3 months ago
- 2 comments
Labels: released
#777 - feat: add `EVMEmptyExec` and `EVMTableExec`
Pull Request -
State: closed - Opened by iajoiner 3 months ago
- 2 comments
Labels: released
#776 - feat: parallelize iterators in hyperkzg cpu commitments
Pull Request -
State: closed - Opened by tlovell-sxt 3 months ago
- 2 comments
Labels: released
#775 - fix: fix misspellings in code comments
Pull Request -
State: open - Opened by Anon-im 3 months ago
#774 - feat: add `GroupByExec` in solidity
Pull Request -
State: open - Opened by iajoiner 3 months ago
- 1 comment
#773 - fix: address issues
Pull Request -
State: closed - Opened by iajoiner 3 months ago
- 2 comments
Labels: released
#772 - feat(sol): add `MultiplyExpr`, `AndExpr`, `OrExpr`, `NotExpr` in Solidity
Pull Request -
State: closed - Opened by iajoiner 3 months ago
- 2 comments
Labels: released
#771 - fix!: make `DynProofPlan` serialize the same as `EVMProofPlan`
Pull Request -
State: closed - Opened by JayWhite2357 4 months ago
- 1 comment
#770 - fix: logic error in YAML check script
Pull Request -
State: open - Opened by mdqst 4 months ago
#769 - ci: evm_tests are tests hence shouldn't be counted by codecov as untested code
Pull Request -
State: closed - Opened by iajoiner 4 months ago
- 2 comments
Labels: released
#768 - feat(sol): add more literal and return int types
Pull Request -
State: open - Opened by iajoiner 4 months ago
- 1 comment
#767 - refactor: move existing benchmarks to new proof-of-sql-benches crate
Pull Request -
State: closed - Opened by jacobtrombetta 4 months ago
- 2 comments
Labels: released
#766 - fix: avoid exit on cargo info error in publish script
Pull Request -
State: closed - Opened by iajoiner 4 months ago
- 2 comments
Labels: released
#765 - feat: add * and logical exprs to `evm_proof_plan`
Pull Request -
State: closed - Opened by iajoiner 4 months ago
- 2 comments
Labels: released
#764 - ci: use crates.io for `cargo info`
Pull Request -
State: closed - Opened by iajoiner 4 months ago
- 2 comments
Labels: released
#763 - feat(sol): add `MultiplyExpr`, `AndExpr`, `OrExpr` and `NotExpr` to Solidity
Pull Request -
State: closed - Opened by iajoiner 4 months ago
- 2 comments
#762 - fix: fix publish script
Pull Request -
State: closed - Opened by iajoiner 4 months ago
- 2 comments
Labels: released
#761 - fix!: downgrade datafusion
Pull Request -
State: closed - Opened by stuarttimwhite 4 months ago
- 1 comment
#760 - fix!: add `proof-of-sql-planner` description && check for existing published crate before publishing
Pull Request -
State: closed - Opened by iajoiner 4 months ago
- 2 comments
Labels: released
#759 - refactor!: refactor accessors to remove `ColumnRef`
Pull Request -
State: closed - Opened by iajoiner 4 months ago
- 2 comments
Labels: released
#758 - refactor!: remove context provider from public planner functions
Pull Request -
State: closed - Opened by stuarttimwhite 4 months ago
- 1 comment
#757 - refactor: use schema accessor rather than index map
Pull Request -
State: closed - Opened by stuarttimwhite 4 months ago
- 1 comment
#756 - fix: use workspace for all dependencies in proof-of-sql-planner
Pull Request -
State: closed - Opened by tlovell-sxt 4 months ago
- 1 comment
#755 - feat: split `ColumnRef` into `ColumnRef` without type and `ResolvedColumnField`
Pull Request -
State: closed - Opened by iajoiner 4 months ago
- 1 comment
#754 - ci: publish planner package in publish script
Pull Request -
State: closed - Opened by tlovell-sxt 4 months ago
- 1 comment
#753 - refactor: receive parsed statement in planner rather than raw sql
Pull Request -
State: closed - Opened by stuarttimwhite 4 months ago
- 2 comments
Labels: released
#752 - feat: add `get_table_refs_from_statement` to planner
Pull Request -
State: closed - Opened by stuarttimwhite 4 months ago
- 2 comments
Labels: released
#751 - feat(sol): add `CastExpr` to solidity
Pull Request -
State: open - Opened by iajoiner 4 months ago
- 1 comment
#750 - ci: publish `proof-of-sql-planner`
Pull Request -
State: closed - Opened by iajoiner 4 months ago
- 2 comments
Labels: released
#749 - fix: validate plan and result calldata lengths
Pull Request -
State: open - Opened by JayWhite2357 4 months ago
- 1 comment
#748 - feat(sol): EVM verifier
Pull Request -
State: closed - Opened by JayWhite2357 4 months ago
- 2 comments
Labels: released
#747 - refactor: rename `new` to `try_new` for and, or, and not
Pull Request -
State: closed - Opened by stuarttimwhite 4 months ago
- 1 comment
Labels: released
#746 - refactor: correct `try_binary_operation_type` to use `try_inequality_types`
Pull Request -
State: closed - Opened by stuarttimwhite 4 months ago
- 2 comments
Labels: released
#745 - refactor: use `try_new` logic on cast exprs
Pull Request -
State: closed - Opened by stuarttimwhite 4 months ago
- 2 comments
Labels: released
#744 - refactor: replace `new` with `try_new` on `InequalityExpr`
Pull Request -
State: closed - Opened by stuarttimwhite 4 months ago
- 2 comments
Labels: released
#743 - refactor: replace `new` with `try_new` in `MultiplyExpr`
Pull Request -
State: closed - Opened by stuarttimwhite 4 months ago
- 2 comments
Labels: released
#742 - refactor: replace `new` with `try_new` in `EqualsExpr`
Pull Request -
State: closed - Opened by stuarttimwhite 4 months ago
- 2 comments
Labels: released
#741 - fix: ban `EqualsExpr`, `InequalityExpr`, `AddExpr` and `SubtractExpr` when scales are different
Pull Request -
State: closed - Opened by iajoiner 4 months ago
- 1 comment
Labels: released
#740 - refactor: exchange `new` for `try_new` on `AddExpr` and `SubtractExpr`
Pull Request -
State: closed - Opened by stuarttimwhite 4 months ago
- 2 comments
Labels: released
#739 - fix!: timestamp scale casting
Pull Request -
State: closed - Opened by stuarttimwhite 4 months ago
- 2 comments
Labels: released
#738 - refactor!: move scale cast code into `proof-of-sql` && use it in `sql/parse`
Pull Request -
State: closed - Opened by iajoiner 4 months ago
- 2 comments
Labels: released
#737 - refactor: remove scaling from proof exprs
Pull Request -
State: closed - Opened by stuarttimwhite 4 months ago
- 2 comments
Labels: released
#736 - feat: add scale cast to `proof-of-sql-planner`
Pull Request -
State: closed - Opened by iajoiner 4 months ago
- 2 comments
Labels: released
#735 - fix(sol): explicitly initialize yul variables with 0
Pull Request -
State: closed - Opened by JayWhite2357 4 months ago
- 2 comments
Labels: released
#734 - docs(sol): add docs and tests with notes on invalid inputs
Pull Request -
State: closed - Opened by JayWhite2357 4 months ago
- 2 comments
Labels: released
#733 - refactor!: ensure reasonable types for numeric ops
Pull Request -
State: closed - Opened by iajoiner 4 months ago
- 2 comments
Labels: released
#732 - refactor!: remove `Precision`
Pull Request -
State: closed - Opened by iajoiner 4 months ago
#731 - fix: remove unused code in `comparison_util.rs` and `numerical_util.rs`
Pull Request -
State: closed - Opened by iajoiner 4 months ago
- 2 comments
Labels: released
#730 - feat: add `EVMAddExpr` and `EVMSubtractExpr`
Pull Request -
State: closed - Opened by iajoiner 4 months ago
- 2 comments
Labels: released
#729 - refactor: it should be easier to add new queries to benchmarks
Pull Request -
State: closed - Opened by jacobtrombetta 4 months ago
- 2 comments
Labels: released
#728 - test(sol): add a test for computeGLMSM with 0 length
Pull Request -
State: open - Opened by JayWhite2357 4 months ago
- 1 comment
#727 - ci: switch to cargo nextest on code coverage
Pull Request -
State: open - Opened by iajoiner 4 months ago
#726 - refactor: split `AddSubtractExpr` into `AddExpr` and `SubtractExpr`
Pull Request -
State: closed - Opened by iajoiner 4 months ago
- 2 comments
Labels: released
#725 - refactor: clean up names in `evm_proof_plan`
Pull Request -
State: closed - Opened by iajoiner 4 months ago
- 2 comments
Labels: released
#724 - refactor: clean up all `allow`s
Pull Request -
State: closed - Opened by iajoiner 4 months ago
- 2 comments
Labels: released
#723 - fix: correct visit_binary_expr
Pull Request -
State: closed - Opened by stuarttimwhite 4 months ago
- 2 comments
Labels: released
#722 - refactor: refactor scale cast numerical utils
Pull Request -
State: closed - Opened by stuarttimwhite 4 months ago
- 2 comments
Labels: released
#721 - ci: remove unused tests
Pull Request -
State: closed - Opened by iajoiner 4 months ago
- 2 comments
Labels: released
#720 - feat(sol): add `solidity/scripts/clean.sh` to remove `*.post.sol` files
Pull Request -
State: closed - Opened by iajoiner 4 months ago
- 2 comments
#719 - feat(sol): add `AddExpr` and `SubtractExpr`
Pull Request -
State: closed - Opened by iajoiner 4 months ago
- 2 comments
Labels: released
#718 - perf(sol): reduce `log2_up` gas
Pull Request -
State: closed - Opened by JayWhite2357 4 months ago
- 2 comments
Labels: released
#717 - bench: add CSV and console output for proof generation and verification
Pull Request -
State: closed - Opened by jacobtrombetta 4 months ago
- 2 comments
Labels: released
#716 - feat: add `ScaleCastExpr`
Pull Request -
State: closed - Opened by iajoiner 4 months ago
- 1 comment
#715 - feat(sol): add `batch_pcs` to hyperkzg
Pull Request -
State: closed - Opened by JayWhite2357 4 months ago
- 2 comments
Labels: released
#714 - feat(sol): add `verify_result_evaluations`
Pull Request -
State: closed - Opened by JayWhite2357 4 months ago
- 2 comments
Labels: released
#713 - feat(sol): add `proof_plan_evaluate`
Pull Request -
State: closed - Opened by JayWhite2357 4 months ago
- 2 comments
Labels: released
#712 - feat(sol): add `skip_plan_names`
Pull Request -
State: closed - Opened by JayWhite2357 4 months ago
- 3 comments
Labels: released
#711 - feat: add scalar to int and decimal casts
Pull Request -
State: closed - Opened by iajoiner 4 months ago
- 2 comments
Labels: released
#710 - feat(sol): lagrange basis utilities
Pull Request -
State: closed - Opened by JayWhite2357 4 months ago
- 3 comments
Labels: released
#709 - refactor(sol): improve readability and documentation for `LagrangeBasisEvaluation` methods
Pull Request -
State: closed - Opened by JayWhite2357 4 months ago
- 2 comments
Labels: released
#708 - feat!: Cast add and subtract in planner
Pull Request -
State: closed - Opened by stuarttimwhite 4 months ago
#707 - ci: simplify CI
Pull Request -
State: closed - Opened by JayWhite2357 4 months ago
- 2 comments
Labels: released
#706 - refactor: use `indexmap_with_default` and `indexset_with_default`
Pull Request -
State: closed - Opened by iajoiner 4 months ago
- 2 comments
Labels: released
#705 - feat(sol): complete EVM verifier
Pull Request -
State: open - Opened by JayWhite2357 4 months ago
- 1 comment
#704 - fix: disable one datafusion optimizer rule, `common_sub_expression_eliminate`
Pull Request -
State: closed - Opened by iajoiner 4 months ago
- 2 comments
Labels: released
#703 - feat: support scaling-free casting for nonzero scale
Pull Request -
State: closed - Opened by stuarttimwhite 4 months ago
- 2 comments
Labels: released
#702 - fix: make `PlaceholderError` and `PlaceholderResult` pub
Pull Request -
State: closed - Opened by iajoiner 4 months ago
- 2 comments
Labels: released
#701 - feat: scaling cast expr
Pull Request -
State: closed - Opened by stuarttimwhite 4 months ago
- 2 comments
Labels: released
#700 - refactor!: update Rust proof to be Solidity compatible
Pull Request -
State: closed - Opened by JayWhite2357 4 months ago
- 2 comments
Labels: released