feat: add tinyint type to some files

Signed-off-by: Jeffrey <[email protected]>

Author: c0d33ngr

crates/proof-of-sql/benches/bench_append_rows.rs

@@ -12,7 +12,7 @@ use proof_of_sql::{
         commitment::TableCommitment,
         database::{
             owned_table_utility::{
-                bigint, boolean, decimal75, int, int128, owned_table, scalar, smallint,
+                bigint, boolean, decimal75, int, int128, owned_table, scalar, tinyint, smallint,
                 timestamptz, varchar,
             },
             OwnedTable,
@@ -78,6 +78,7 @@ pub fn generate_random_owned_table<S: Scalar>(
         "scalar",
         "varchar",
         "decimal75",
+        "tinyint",
         "smallint",
         "int",
         "timestamptz",
@@ -110,6 +111,10 @@ pub fn generate_random_owned_table<S: Scalar>(
                 2,
                 vec![generate_random_u64_array(); num_rows],
             )),
+            "tinyint" => columns.push(tinyint(
+                identifier.deref(),
+                vec![rng.gen::<i8>(); num_rows],
+            )),
             "smallint" => columns.push(smallint(
                 identifier.deref(),
                 vec![rng.gen::<i16>(); num_rows],

crates/proof-of-sql/src/base/database/filter_util.rs

@@ -41,6 +41,9 @@ pub fn filter_column_by_index<'a, S: Scalar>(
         Column::Boolean(col) => {
             Column::Boolean(alloc.alloc_slice_fill_iter(indexes.iter().map(|&i| col[i])))
         }
+        Column::TinyInt(col) => {
+            Column::TinyInt(alloc.alloc_slice_fill_iter(indexes.iter().map(|&i| col[i])))
+        )
         Column::SmallInt(col) => {
             Column::SmallInt(alloc.alloc_slice_fill_iter(indexes.iter().map(|&i| col[i])))
         }

crates/proof-of-sql/src/sql/proof/provable_result_column.rs

@@ -35,6 +35,7 @@ impl<S: Scalar> ProvableResultColumn for Column<'_, S> {
     fn num_bytes(&self, selection: &Indexes) -> usize {
         match self {
             Column::Boolean(col) => col.num_bytes(selection),
+            Column::TinyInt(col) => col.num_bytes(selection),
             Column::SmallInt(col) => col.num_bytes(selection),
             Column::Int(col) => col.num_bytes(selection),
             Column::BigInt(col) => col.num_bytes(selection),
@@ -49,6 +50,7 @@ impl<S: Scalar> ProvableResultColumn for Column<'_, S> {
     fn write(&self, out: &mut [u8], selection: &Indexes) -> usize {
         match self {
             Column::Boolean(col) => col.write(out, selection),
+            Column::TinyInt(col) => col.write(out, selection),
             Column::SmallInt(col) => col.write(out, selection),
             Column::Int(col) => col.write(out, selection),
             Column::BigInt(col) => col.write(out, selection),