Skip to content
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

Add wrapper structure to work on #66

Closed
wants to merge 19 commits into from
Closed

Add wrapper structure to work on #66

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
19 commits
Select commit Hold shift + click to select a range
56f560c
Create Telescope structure
rrtoledo Nov 12, 2024
02e0fb7
Deleting params.rs
rrtoledo Nov 12, 2024
f51e075
Updating visibility in algo.rs
rrtoledo Nov 12, 2024
685884f
Removing set_size from Setup
rrtoledo Nov 12, 2024
788456c
Renaming Setup(.rs) -> Params(.rs)
rrtoledo Nov 12, 2024
9417add
Renaming make_setup -> setup
rrtoledo Nov 12, 2024
3dbdbcb
Deleting algo.rs and init.rs
rrtoledo Nov 12, 2024
3246e15
prove/verify takes a reference as input
rrtoledo Nov 12, 2024
bffbc9d
Updating Params comments and visibility
rrtoledo Nov 12, 2024
11a3534
Updating proof comments
rrtoledo Nov 12, 2024
20e536b
Updating round comments
rrtoledo Nov 12, 2024
ba4e1c8
Updating telescope comments
rrtoledo Nov 12, 2024
5de10a3
Updating Params::setup -> Params::new
rrtoledo Nov 12, 2024
8f0f7e1
Fixup comments in telescope.rs
rrtoledo Nov 12, 2024
34b75fc
Adding back cases
rrtoledo Nov 26, 2024
757e4ac
Adding from_unsafe, checking in from
rrtoledo Nov 26, 2024
09aa6cd
fixup doctest
rrtoledo Nov 26, 2024
d916ee3
Creating cases.rs and moving functions around
rrtoledo Nov 26, 2024
3ecc4d3
fixup check_case
rrtoledo Nov 26, 2024
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
234 changes: 0 additions & 234 deletions src/centralized_telescope/algorithm.rs
View file
Open in desktop

This file was deleted.

Loading
Loading