Skip to content

Merkle Sum Tree refactoring #8

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
enricobottazzi merged 25 commits into from
May 30, 2023
Merged

Merkle Sum Tree refactoring #8

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
25 commits
Select commit Hold shift + click to select a range
897eb04
refactor `assing_leaf_hash_and_balance` function
enricobottazzi Apr 12, 2023
1d3bf85
minor fixing
enricobottazzi Apr 12, 2023
635622b
add better error handling in test
enricobottazzi Apr 12, 2023
247f7fd
added deps to support circuit printing
enricobottazzi Apr 12, 2023
5f01c12
modify `enforce_less_than` function signature
enricobottazzi Apr 13, 2023
0bd0260
further modification of `enforce_less_than` function signature
enricobottazzi Apr 13, 2023
19127d5
reduce verbosity in `enforce_less_than` function
enricobottazzi Apr 13, 2023
f75a691
update testing
enricobottazzi Apr 13, 2023
343b311
update testeing in merkle sum tre
enricobottazzi Apr 13, 2023
09dc0b9
add support and testing for `full_prover`
enricobottazzi Apr 14, 2023
ae326b6
module restructuring
enricobottazzi May 2, 2023
a6cccb9
add 'merkle_sum_tree` as an internal module
enricobottazzi May 2, 2023
22a111f
move `csv_entries` to circuits folder
enricobottazzi May 2, 2023
fe1854e
feat: added support for bigint for userbalance
enricobottazzi May 3, 2023
e0edd43
test: circuit using input with bigint entries
enricobottazzi May 3, 2023
2dafd30
refactor: move `merkle_sum_tree` module testing to `tests.rs`
enricobottazzi May 3, 2023
8f521ca
chore: renamed module to `mst` and modified relative paths to absolute
enricobottazzi May 3, 2023
166588d
refactor: move `circuits` module testing to `tests.rs`
enricobottazzi May 3, 2023
db99ee2
feat: mst constructor throws an error if total balance overflows the …
enricobottazzi May 3, 2023
e1488f3
style: run `cargo fmt`
enricobottazzi May 4, 2023
dfc5d7e
added `constants` method for poseidon hasher
enricobottazzi May 9, 2023
de68737
update halo2 version and related dependencies
enricobottazzi May 9, 2023
131a94b
docs: add instructions to print circuit in readme
enricobottazzi May 9, 2023
f7bf207
docs: renamed to Summa Solvency
enricobottazzi May 10, 2023
6c7d2f8
fix: modify `swap constraint`
enricobottazzi May 23, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 0 additions & 1 deletion .github/workflows/rust.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,6 @@ env:

jobs:
build:

runs-on: ubuntu-latest

steps:
Expand Down
Loading