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

feat: recursive verification (preliminary) #330

Closed
wants to merge 112 commits into from
Closed

feat: recursive verification (preliminary) #330

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
112 commits
Select commit Hold shift + click to select a range
d2be9c4
deserialization
kevjue Feb 13, 2024
a3cb42c
ed25519 temp changes
kevjue Feb 13, 2024
a7e9ae6
all library crates compile
kevjue Feb 13, 2024
fdd968d
some fixes to main
kevjue Feb 13, 2024
a068d2b
changes
kevjue Feb 14, 2024
3d94ed6
Merge branch 'main' into kevjue/recursive_verifier_take_two
kevjue Feb 14, 2024
f04d8e6
mass commit
kevjue Feb 14, 2024
1a289d2
added cycle tracking
kevjue Feb 14, 2024
99f6628
working elf
kevjue Feb 14, 2024
136af37
changing file locations
kevjue Feb 14, 2024
20845ce
merge main
kevjue Feb 14, 2024
0e79780
revert fibonacci example changes
kevjue Feb 14, 2024
a98bf4c
removed proof-with-pis.bytes
kevjue Feb 14, 2024
cb98f43
revert Cargo.lock changes
kevjue Feb 14, 2024
117da74
moved verifier to examples
kevjue Feb 14, 2024
87be2ea
merged main
kevjue Feb 14, 2024
179f071
use fixture file
kevjue Feb 14, 2024
de0cbe7
added fixture
kevjue Feb 14, 2024
544f7af
temporary comment out code
kevjue Feb 14, 2024
c1c11b5
patched blake3
kevjue Feb 14, 2024
583dff8
Merge branch 'main' into kevjue/recursive_verifier_take_two
kevjue Feb 14, 2024
fc04eee
used updated fib
kevjue Feb 14, 2024
a55e81d
new proof
kevjue Feb 15, 2024
d341f5f
added simple blake3 test
kevjue Feb 15, 2024
9837c70
Merge branch 'main' into kevjue/recursive_verifier_take_two
kevjue Feb 16, 2024
862f364
latest verifier elf and proof
kevjue Feb 16, 2024
6fe822c
merged main
kevjue Feb 17, 2024
d1d1772
field extension support initial commit
kevjue Feb 17, 2024
ea29c10
added mul
kevjue Feb 17, 2024
423ed0c
in progress div
kevjue Feb 17, 2024
e0ddee6
added is_equal
kevjue Feb 18, 2024
e4c93c5
fixed compilation errors
kevjue Feb 18, 2024
3343167
Merge branch 'main' into kevjue/recursive_verifier_take_two
kevjue Feb 18, 2024
15fe563
some deserialization stuff
kevjue Feb 18, 2024
f53ae6a
Merge branch 'main' into kevjue/field_extension
kevjue Feb 18, 2024
7642b3b
Merge branch 'kevjue/field_extension' into kevjue/recursive_verifier_…
kevjue Feb 18, 2024
542e492
added fri fold precompile to runtime
kevjue Feb 19, 2024
307ddf0
fri fold runtime fix
kevjue Feb 19, 2024
f53861a
merged main
kevjue Feb 20, 2024
de2db27
changes for zkvm refactor
kevjue Feb 20, 2024
b15fb14
fri fold event
kevjue Feb 20, 2024
9b6742b
using babybear monty funcs
kevjue Feb 20, 2024
0d43b66
added air for the fri fold precompile
kevjue Feb 21, 2024
24ab7f1
multiple shards for keccak
kevjue Feb 21, 2024
59eef0d
merge main
kevjue Feb 21, 2024
58be1fd
changed p3 dependencies
kevjue Feb 21, 2024
5b1da38
updated cargo locks
kevjue Feb 21, 2024
6b13760
merged main
kevjue Feb 21, 2024
7ff9598
some fixes from main merge
kevjue Feb 21, 2024
63d671d
trace gen for fri_fold
kevjue Feb 21, 2024
05421dc
added test case
kevjue Feb 22, 2024
0955d02
output num fri fold events
kevjue Feb 22, 2024
77bcb64
merged main
kevjue Feb 22, 2024
67c7ece
fixed interaction bug
kevjue Feb 22, 2024
43cee2d
working air
kevjue Feb 23, 2024
860b51e
removed unneeded import
kevjue Feb 23, 2024
74fc82c
more tests
kevjue Feb 23, 2024
3196236
got working recursive verifier example
kevjue Feb 23, 2024
6bd503b
using patched plonky3
kevjue Feb 23, 2024
f3ca4c7
some updates
kevjue Feb 23, 2024
fe3ea46
working
kevjue Feb 23, 2024
60c89f3
updated plonky3 branch
kevjue Feb 23, 2024
ca218e4
merged main
kevjue Feb 23, 2024
e0f0392
cleanup
kevjue Feb 24, 2024
5ea8c46
reverted tempfile change
kevjue Feb 24, 2024
73b7773
initial commit
tamirhemo Feb 26, 2024
f131eae
cow chip
tamirhemo Feb 27, 2024
0121309
cargo update
tamirhemo Feb 27, 2024
761bcd0
Merge remote-tracking branch 'origin/main' into tamir/recursive-machine
tamirhemo Feb 27, 2024
895bc50
cow machine
tamirhemo Feb 27, 2024
120399d
const new air
tamirhemo Feb 27, 2024
900c92d
build check
tamirhemo Feb 27, 2024
9d47b1a
const chip experiment
tamirhemo Feb 27, 2024
11ad74c
adjust to virtual_pair private
tamirhemo Feb 27, 2024
5de6b2a
checkpoint
tamirhemo Feb 27, 2024
f899462
Merge remote-tracking branch 'origin/main' into tamir/recursive-machine
tamirhemo Feb 27, 2024
72e10f7
lock
tamirhemo Feb 27, 2024
0f09aef
merge conflicts
tamirhemo Feb 27, 2024
78eee41
u32 hasher for babybear_blake3
kevjue Feb 27, 2024
50be2de
checkpoint
tamirhemo Feb 27, 2024
3482008
gen constant interactions
tamirhemo Feb 27, 2024
cddf407
small cleanup
tamirhemo Feb 27, 2024
2170e50
lifetime
tamirhemo Feb 27, 2024
9834b1f
chip
tamirhemo Feb 28, 2024
71d76d4
builds
tamirhemo Feb 28, 2024
edf830e
init script
tamirhemo Feb 28, 2024
ad9534e
cargo update scripy
tamirhemo Feb 28, 2024
52b7630
addressed PR comments
kevjue Feb 28, 2024
1541b8b
fixed typo
kevjue Feb 28, 2024
c787dc5
merged branches
kevjue Feb 28, 2024
4189e67
added some trace info for precompiles
kevjue Feb 28, 2024
db9aff7
fixed warning
kevjue Feb 28, 2024
9301deb
const machine verification
tamirhemo Feb 28, 2024
4145bb6
cargo lock on subdirectories
tamirhemo Feb 28, 2024
7f4a6f5
Merge remote-tracking branch 'origin/main' into tamir/recursive-machine
tamirhemo Feb 28, 2024
dad22ba
verify simple program
tamirhemo Feb 28, 2024
a1f641c
v0.1
tamirhemo Feb 28, 2024
b76bf4e
merge
tamirhemo Feb 28, 2024
eeb18dd
merge both recursion branches
tamirhemo Feb 28, 2024
55ecf26
rm other verifier
tamirhemo Feb 28, 2024
357adcf
prove
tamirhemo Feb 28, 2024
8900b4c
execute only
tamirhemo Feb 28, 2024
f143800
new build
tamirhemo Feb 28, 2024
599a84a
debug elf
tamirhemo Feb 28, 2024
2b4c057
Merge remote-tracking branch 'origin/main' into tamir/recursive-machi…
tamirhemo Feb 28, 2024
a062d97
execution test
tamirhemo Feb 28, 2024
dde51a5
add execution test
tamirhemo Feb 28, 2024
fb5c006
blake3 fix
kevjue Feb 29, 2024
cff24e6
changes
kevjue Feb 29, 2024
667371d
Merge remote-tracking branch 'origin/kevjue/blake3_fix' into tamir/re…
kevjue Feb 29, 2024
8886de7
fixed fri fold air
kevjue Feb 29, 2024
6c820f2
added a println
kevjue Feb 29, 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
135 changes: 106 additions & 29 deletions Cargo.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading