Skip to content

Labrador Prover #983

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

Jump to bottom
Draft
wants to merge 173 commits into
base: main
Choose a base branch
from
Draft

Labrador Prover #983

wants to merge 173 commits into from

Conversation

@yshekel
Copy link
Contributor

@yshekel yshekel commented Jul 1, 2025

No description provided.

emirsoyturk and others added 30 commits April 2, 2025 10:44
@emirsoyturk
empty impl for norm
a5c784c
@emirsoyturk
norm cpu impl and test
f65e843
@emirsoyturk
u128
99ad6c8
@emirsoyturk
xMerge branch 'main' into emir/norm
48bddde
@emirsoyturk
new norm api with taskflow
e82a241
@emirsoyturk
clang format
210185a
@emirsoyturk
fmt
b973403
@emirsoyturk
new design
6335dd6
@emirsoyturk
validation during calculation
22ed600
@emirsoyturk
relative norm check
cd3e5dd
@emirsoyturk
clang format
7d8c836
@emirsoyturk
test type fix
bc35b1e
@emirsoyturk
fix uint128 atomic issue
faa79e5
@emirsoyturk
all device tests
80ad912
@emirsoyturk
format
7655237
@emirsoyturk
Merge branch 'main' into emir/norm
5e61413
@emirsoyturk
batch support and test
11f9958
@emirsoyturk
format
10dfde9
@emirsoyturk
size check
f62e489
@emirsoyturk
rust wrappers
37480e2
@emirsoyturk
Trigger Build
9bf6ac7
@emirsoyturk
Merge branch 'main' into emir/norm
2da6485
@emirsoyturk
Merge branch 'main' into emir/norm
0f39e88
@emirsoyturk
fix error type
1d6430d
@emirsoyturk
Merge branch 'main' into emir/norm
a03902e
@yshekel
new C++ api for JL projection
77e4387
@yshekel
simple test for jl projection
7008de5
@emirsoyturk
type and center before validate
3908c64
@yshekel
cpu implementation for jl_projection without parallelism
b682606
@yshekel
refined jl projection
d52c88a
@omershlo omershlo changed the title Labrador Example v2 Labrador Example Jul 14, 2025
@omershlo omershlo changed the title Labrador Example Labradorrrr Jul 14, 2025
@omershlo omershlo changed the title Labradorrrr Labradorrrr Prover Jul 14, 2025
@lnm-at-work lnm-at-work changed the title Labradorrrr Prover Labrador Prover Jul 14, 2025
goforashutosh and others added 25 commits July 15, 2025 08:32
@goforashutosh
Prover store Q
8f84e78
@goforashutosh
prover const0 agg batched ops
cea4a44
@goforashutosh
verifier batched agg
fa51b8d
@goforashutosh
added
bed6907
@goforashutosh
add verif, iciclde-release
17b47cf
@goforashutosh
add comments
35ba136
@yshekel
[FIX] bug in random sampling slow mode
22e73cf
@yshekel
Merge remote-tracking branch 'origin/main' into labrador_example_v2
7151360
@yshekel
fix labrador --> babykoala
cfb5ecf
@yshekel
Merge remote-tracking branch 'origin/yshekel/random_sampling_bugfix' …
a018ef1 
…into labrador_example_v2
@yshekel
minor
3810fc8
@yshekel
formatting
c85755a
@yshekel
Merge remote-tracking branch 'origin/main' into labrador_example_v2
7307f1a
@goforashutosh
add benchmarking
0936f9c
@goforashutosh
compute Qhat after agg
079780e
@goforashutosh
cuda-crashes
a9de2e3
@goforashutosh
more efficient const sampling
4410a8e
@goforashutosh
cuda mem leak example
1671eca
@goforashutosh
add deviceVector
7dcff8b
@goforashutosh
change big vecs to DeviceVectors
3e9375d
@goforashutosh
verifier agg fast
b8a71a8
@goforashutosh
gpu benchmarking
e86c92f
@goforashutosh
reorg cleanup
bb8a302
@goforashutosh
remove todos
70db6b9
@goforashutosh
prover cleanup
2746ac2
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@yshekel @emirsoyturk @goforashutosh