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.

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: poseidon2 input pack (byte-input-padding-only) #1352

Open
wants to merge 90 commits into
base: main
Choose a base branch
from
Open
Changes from 1 commit
Commits
Show all changes
90 commits
Select commit Hold shift + click to select a range
9ef4635
comments ...
reshmem Mar 6, 2024
c04d848
comments ...
reshmem Mar 7, 2024
fc0101b
comments
reshmem Mar 7, 2024
28ce14c
comments
reshmem Mar 7, 2024
451ade7
WIP
reshmem Mar 10, 2024
fede12c
WIP
reshmem Mar 17, 2024
b704a0e
WIP
reshmem Mar 17, 2024
1e58ec8
WIP - reduce_with_powers does not work
reshmem Mar 18, 2024
558bf34
WIP - fix
reshmem Mar 18, 2024
767f8b9
fix tests
reshmem Mar 18, 2024
553d5d7
pack to 7 - max for 64-b field + clippy
reshmem Mar 18, 2024
2cb1d44
cleanups
reshmem Mar 18, 2024
d762387
refactor...
reshmem Mar 18, 2024
89bf4d2
refactor...
reshmem Mar 18, 2024
99f416d
fix
reshmem Mar 18, 2024
7202f0d
refactor...
reshmem Mar 19, 2024
f953edc
fix - bit-padded-input
reshmem Mar 19, 2024
a4cbd2e
fix input_addr_padding constraint
reshmem Mar 19, 2024
fe41a7f
Merge branch 'main' into roman/poseidon-input-pack
reshmem Mar 19, 2024
9ebd02d
after merge from main
reshmem Mar 19, 2024
1885a88
clippy...
reshmem Mar 19, 2024
8501dfb
Merge branch 'main' into roman/poseidon-input-pack
reshmem Mar 28, 2024
2966a7d
fix after merge from main
reshmem Mar 28, 2024
5fc696d
Merge branch 'main' into roman/poseidon-input-pack
reshmem Apr 1, 2024
bf3682d
unpack logic in its own place
reshmem Apr 1, 2024
528e59f
fixes...
reshmem Apr 1, 2024
54c001c
fixes...
reshmem Apr 1, 2024
0fd0ab8
fixes...
reshmem Apr 1, 2024
7d9ce7e
Merge branch 'main' into roman/poseidon-input-pack
reshmem Apr 1, 2024
448d33b
add LE encoding
reshmem Apr 1, 2024
404a5c5
cleanup
reshmem Apr 1, 2024
d81382b
Merge branch 'main' into roman/poseidon-input-pack
reshmem Apr 2, 2024
8258863
fixes after review
reshmem Apr 2, 2024
28fcfcf
Merge branch 'main' into roman/poseidon-input-pack
reshmem Apr 2, 2024
3831081
Merge branch 'main' into roman/poseidon-input-pack
reshmem Apr 2, 2024
700582b
Update runner/src/poseidon2.rs
reshmem Apr 2, 2024
6b41395
fix
reshmem Apr 3, 2024
374e2c3
Merge branch 'main' into roman/poseidon-input-pack
reshmem Apr 3, 2024
72b4422
Merge branch 'main' into roman/poseidon-input-pack
reshmem Apr 7, 2024
63c2123
Clippy
matthiasgoergens Apr 12, 2024
eb225d8
Better conditional compilation
matthiasgoergens Apr 12, 2024
45f8a63
pad_trace_with_default
matthiasgoergens Apr 12, 2024
e3e565e
Remove useless trace
matthiasgoergens Apr 12, 2024
9ed5ac2
Clean up
matthiasgoergens Apr 12, 2024
e73298f
Fix typo
matthiasgoergens Apr 12, 2024
eaaa138
CLean up
matthiasgoergens Apr 12, 2024
a705624
Clean up
matthiasgoergens Apr 12, 2024
c0e5f13
Rename
matthiasgoergens Apr 12, 2024
5701875
Further cleanup
matthiasgoergens Apr 12, 2024
c41654d
Clean up
matthiasgoergens Apr 12, 2024
93f5e56
Simpler
matthiasgoergens Apr 12, 2024
cc10dda
Cleaner
matthiasgoergens Apr 12, 2024
cd61733
Remove counter-productive 'debug' option
matthiasgoergens Apr 13, 2024
f823c8b
Merge branch 'matthias/remove-useless-debug' into roman/poseidon-inpu…
matthiasgoergens Apr 13, 2024
3932df1
Remove poseidon2-feature
matthiasgoergens Apr 13, 2024
aec4160
Debug helpers
matthiasgoergens Apr 13, 2024
aaa7346
Merge branch 'matthias/enable-poseidon-always-remove-feature' into ro…
matthiasgoergens Apr 13, 2024
9f04532
Minimise diff
matthiasgoergens Apr 13, 2024
9aa4ac0
Minimise diff
matthiasgoergens Apr 13, 2024
a29c569
Rename
matthiasgoergens Apr 13, 2024
35eb2ce
Clean up
matthiasgoergens Apr 13, 2024
9b7aeb7
Revert "Simpler"
matthiasgoergens Apr 13, 2024
354c567
Revert "Clean up"
matthiasgoergens Apr 13, 2024
bc26da4
Reverted
matthiasgoergens Apr 13, 2024
5f2f78f
Clean up
matthiasgoergens Apr 13, 2024
712a8ed
refactor
matthiasgoergens Apr 13, 2024
f4de7be
Restore
matthiasgoergens Apr 13, 2024
253183d
Fixed!
matthiasgoergens Apr 13, 2024
5fab346
Clean up
matthiasgoergens Apr 13, 2024
de40025
Clean up
matthiasgoergens Apr 13, 2024
4317767
Clippy
matthiasgoergens Apr 13, 2024
0c37937
Keep length in the type system
matthiasgoergens Apr 13, 2024
c53434c
Merge remote-tracking branch 'origin/main' into roman/poseidon-input-…
matthiasgoergens Apr 13, 2024
d9aa994
Merge branch 'main' into roman/poseidon-input-pack
reshmem Apr 14, 2024
2c07fb9
fix: issue with under-constraint byte-address
reshmem Apr 14, 2024
0ab95e3
fix: after review
reshmem Apr 14, 2024
ec39911
fix: comment ..
reshmem Apr 14, 2024
41c3e77
fix: failed example, refactored cyclic dep
reshmem Apr 15, 2024
72ec4af
taplo
reshmem Apr 15, 2024
6617711
Merge branch 'main' into roman/poseidon-input-pack
reshmem Apr 15, 2024
5680070
fix...
reshmem Apr 15, 2024
aacb641
Cargo.lock
reshmem Apr 16, 2024
f853513
Merge branch 'main' into roman/poseidon-input-pack
reshmem Apr 16, 2024
662b827
examples/Cargo.lock
reshmem Apr 16, 2024
2793151
sdk/Cargo.lock
reshmem Apr 16, 2024
c0d9671
clippy
reshmem Apr 16, 2024
09c8a56
Merge branch 'main' into roman/poseidon-input-pack
reshmem Apr 16, 2024
8f1cbfb
Merge branch 'main' into roman/poseidon-input-pack
reshmem Apr 18, 2024
0cf3377
fix after merge
reshmem Apr 18, 2024
ae3403a
taplo
reshmem Apr 18, 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
Prev Previous commit
Next Next commit
fix after merge
  • Loading branch information
reshmem committed Apr 18, 2024
commit 0cf337734d41b4efdcc2a756af41942abdb81a68
6 changes: 5 additions & 1 deletion circuits/src/stark/mozak_stark.rs
Original file line number Diff line number Diff line change
Expand Up @@ -33,6 +33,10 @@ use crate::poseidon2::columns::{Poseidon2State, Poseidon2StateCtl};
use crate::poseidon2::stark::Poseidon2_12Stark;
use crate::poseidon2_output_bytes::columns::{Poseidon2OutputBytes, Poseidon2OutputBytesCtl};
use crate::poseidon2_output_bytes::stark::Poseidon2OutputBytesStark;
use crate::poseidon2_preimage_pack::columns::{
Poseidon2PreimagePack, Poseidon2SpongePreimagePackCtl,
};
use crate::poseidon2_preimage_pack::stark::Poseidon2PreimagePackStark;
use crate::poseidon2_sponge::columns::{Poseidon2Sponge, Poseidon2SpongeCtl};
use crate::poseidon2_sponge::stark::Poseidon2SpongeStark;
use crate::program::columns::{InstructionRow, ProgramRom};
Expand All @@ -59,7 +63,7 @@ use crate::xor::columns::{XorColumnsView, XorView};
use crate::xor::stark::XorStark;
use crate::{
bitshift, cpu, memory, memory_fullword, memory_halfword, memory_io, memory_zeroinit,
memoryinit, poseidon2_output_bytes, poseidon2_sponge, program, program_multiplicities,
memoryinit, poseidon2_output_bytes, poseidon2_preimage_pack, program, program_multiplicities,
rangecheck, register, xor,
};

Expand Down
Loading