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/division property #274

Merged
merged 89 commits into from
Sep 24, 2024
Merged

Feat/division property #274

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
89 commits
Select commit Hold shift + click to select a range
223703d
milp sbox modeling of ascon
SiMohamedRachidi Sep 15, 2023
237d0c5
switch from MixedIntegerLinearProgram to gurobipy
SiMohamedRachidi Sep 28, 2023
6041e11
finalize search of anf/superpoly on ascon
SiMohamedRachidi Nov 20, 2023
caf160b
add 3 differents models for ascon division property
SiMohamedRachidi Nov 20, 2023
8f9fe5c
start generic division trail search
SiMohamedRachidi Jan 11, 2024
95941f1
sbox modelling done
SiMohamedRachidi Jan 18, 2024
60adb7a
xor modelling added
SiMohamedRachidi Jan 19, 2024
4557cbd
rotate modelling added
SiMohamedRachidi Jan 19, 2024
397739c
Change input_vars of sbox modelling. Cipher output modelling added
SiMohamedRachidi Jan 19, 2024
806d309
implement solve_constraints()
SiMohamedRachidi Jan 19, 2024
821beb6
debug sbox modelling in progress
SiMohamedRachidi Jan 24, 2024
0d32da3
module is working for the 5 first components of toy_cipher
SiMohamedRachidi Jan 24, 2024
f08dd7c
works for 1 round toy cipher. Pretty_print added
SiMohamedRachidi Jan 24, 2024
3a08f82
generalizing pretty_print
SiMohamedRachidi Jan 25, 2024
7038a4d
anfs for toy1_r1 are correct, still need to check for toy1_r2
SiMohamedRachidi Jan 25, 2024
05b4fea
add check_presence_monomial()
SiMohamedRachidi Jan 26, 2024
0245f25
anfs are matching with Sharwan's code for toyspn1
SiMohamedRachidi Jan 29, 2024
991eb3f
Fix and_constraints. Fix pretty_print
SiMohamedRachidi Feb 5, 2024
fdfa26d
toyspn1 works with the new approach for generating variables
SiMohamedRachidi Feb 7, 2024
870d93f
works for toyspn1_r2 and toysimon
SiMohamedRachidi Feb 7, 2024
ec7635b
works for toyspn1_r2, toysimon, toyconstant, toynot
SiMohamedRachidi Feb 9, 2024
ea29819
fix issue with indexes in get_where_component_is_used(), now the mode…
SiMohamedRachidi Feb 12, 2024
481d757
works for ascon sbox version 1 round
SiMohamedRachidi Feb 14, 2024
e752f91
works for ascon circuit version
SiMohamedRachidi Feb 16, 2024
e7a3399
ascon circuit version matches with ascon sbox version
SiMohamedRachidi Feb 19, 2024
8061066
gaston circuit matches with gaston sbox. Adding degree search methods
SiMohamedRachidi Mar 1, 2024
edf6883
Merge branch 'develop' into feat/division_property
SiMohamedRachidi Mar 4, 2024
2f3e757
adding use of threads
SiMohamedRachidi Mar 8, 2024
2e20aea
Merge branch 'develop' into feat/division_property
SiMohamedRachidi Mar 11, 2024
7405d6f
add fixed_degree parameter
SiMohamedRachidi Mar 11, 2024
103e05e
Merge branch 'develop' into feat/division_property
SiMohamedRachidi May 23, 2024
e89bbe4
modadd model is working fine
SiMohamedRachidi Jun 5, 2024
7162261
speck 1 round is working fine up to xor_0_4 included
SiMohamedRachidi Jun 7, 2024
9cb170e
division trail for Simon is working with the new predecessors approach
SiMohamedRachidi Jul 23, 2024
7cae4a8
Simon 2 rounds still working. Spotted an issue generated by input_bit…
SiMohamedRachidi Jul 25, 2024
c72965d
Simon and Speck 2 rounds are working. Still the issue generated by in…
SiMohamedRachidi Jul 25, 2024
86296a6
Add note on Speck 2 round. At this stage, working for Simon and Speck
SiMohamedRachidi Jul 26, 2024
b360dde
start refactoring the way of creating gurobi variables
SiMohamedRachidi Jul 26, 2024
1cfae16
get the correct numbers of solutions for ascon with the new refactor.…
SiMohamedRachidi Jul 27, 2024
c6ad086
Simon is working with the new refactoring
SiMohamedRachidi Jul 29, 2024
acd4da6
New refactoring is working for Speck_2r, Simon_2r and Ascon_1_r, thos…
SiMohamedRachidi Jul 29, 2024
eb5b7e4
New refactoring is working for Speck_2r, Simon_2r and Ascon_1r = Asco…
SiMohamedRachidi Jul 30, 2024
2a97b34
fix issue with unused variables. Works for Speck_2r, Simon_2r and Asc…
SiMohamedRachidi Aug 5, 2024
57027af
Works for Speck_2r, Simon_2r and Ascon_1r_circuit = Ascon_1r_sbox for…
SiMohamedRachidi Aug 6, 2024
3b37581
Works for Speck, Simon, Ascon_circuit, Gaston_circuit. For sbox versi…
SiMohamedRachidi Aug 6, 2024
4a85e2a
Works for Speck_2r, Simon_2r, Ascon_1r_circuit = Ascon_1r_sbox for (y…
SiMohamedRachidi Aug 6, 2024
6eb4014
Take into account intermediate_output, needed in LBlock
SiMohamedRachidi Aug 7, 2024
dd91b66
works at least for speck, simon, ascon, gaston, xoodoo, keccak, lblock
SiMohamedRachidi Aug 9, 2024
e837001
polishing code and refactoring of check_presence_of_particular_monomi…
SiMohamedRachidi Aug 12, 2024
b1be2ac
refactor degree search methods
SiMohamedRachidi Aug 12, 2024
f51e406
fix issue with intermediate_output constraints
SiMohamedRachidi Aug 13, 2024
959d587
number of monomials found for 2 rounds Ascon for y0,y64,y128,y192,y25…
SiMohamedRachidi Aug 19, 2024
487aa8f
improve speed by a better use of rot and intermediate_output variables
SiMohamedRachidi Aug 23, 2024
b03c101
get back to working version for all commented ciphers before speed im…
SiMohamedRachidi Aug 23, 2024
e4178e6
Merge branch 'develop' into feat/division_property
SiMohamedRachidi Aug 23, 2024
b34fadf
polish code
SiMohamedRachidi Aug 29, 2024
c8d3315
adding unit tests
SiMohamedRachidi Aug 29, 2024
e6ec1f5
Merge branch 'develop' into feat/division_property
SiMohamedRachidi Aug 29, 2024
1af0c24
remove unused files
SiMohamedRachidi Aug 30, 2024
bc80fd4
Merge branch 'develop' into feat/division_property
SiMohamedRachidi Aug 31, 2024
0b66127
fix doctests
SiMohamedRachidi Aug 31, 2024
4e38773
fix doctests
SiMohamedRachidi Aug 31, 2024
92cd670
fix duplicated code
SiMohamedRachidi Sep 2, 2024
e52ed22
FEATURE/Refactor: speed improvement on the division trail search module
SiMohamedRachidi Sep 14, 2024
e2ede32
FEATURE/Add: add a way to choose a component as cipher_output
SiMohamedRachidi Sep 16, 2024
bece983
FEATURE/Add: add commands to use gurobi in github server
SiMohamedRachidi Sep 18, 2024
3ca699f
polish doctests
SiMohamedRachidi Sep 18, 2024
ad5407b
change doctests
SiMohamedRachidi Sep 19, 2024
7bb8cb5
Merge branch 'develop' into feat/division_property
SiMohamedRachidi Sep 19, 2024
10e5226
polish code
SiMohamedRachidi Sep 19, 2024
8c0d87d
fix doctests
SiMohamedRachidi Sep 19, 2024
cf8f1d3
fix doctests
SiMohamedRachidi Sep 19, 2024
976a3ea
add pytests
SiMohamedRachidi Sep 20, 2024
bc59b0a
make the workflow runs on epyc
SiMohamedRachidi Sep 20, 2024
275c181
Using EPYC runner for workflow
sharathvutpala Sep 20, 2024
a8f90ce
Merge remote-tracking branch 'origin/feat/division_property' into fea…
SiMohamedRachidi Sep 20, 2024
4bfb712
Changed runner label back to self-hosted
sharathvutpala Sep 20, 2024
cb85442
Merge remote-tracking branch 'origin/feat/division_property' into fea…
SiMohamedRachidi Sep 20, 2024
01b1328
add env var in the workflow
SiMohamedRachidi Sep 20, 2024
70fd248
Adding secret GUROBI_COMPUTE_SERVER
juaninf Sep 20, 2024
bc75eba
Merge branch 'feat/division_property' of github.com:Crypto-TII/claasp…
juaninf Sep 20, 2024
14ebd52
Merge remote-tracking branch 'origin/feat/division_property' into fea…
SiMohamedRachidi Sep 20, 2024
92677cc
Adding secret GUROBI_COMPUTE_SERVER
juaninf Sep 20, 2024
0219925
Merge remote-tracking branch 'origin/feat/division_property' into fea…
SiMohamedRachidi Sep 20, 2024
8133a23
remove doctest
SiMohamedRachidi Sep 20, 2024
6404e28
modify doctests
SiMohamedRachidi Sep 21, 2024
abd1ad7
remove random doctest result from pprint_dictionary()
SiMohamedRachidi Sep 23, 2024
13a86a0
add more pytests for the coverage
SiMohamedRachidi Sep 23, 2024
f82fba9
fix pytests
SiMohamedRachidi Sep 23, 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
4 changes: 3 additions & 1 deletion .github/workflows/run-doctest.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -34,4 +34,6 @@ jobs:
- name: Run test
run: |
cd /home/runner/_work/claasp
make test
make test
env:
GUROBI_COMPUTE_SERVER: ${{ secrets.GUROBI_COMPUTE_SERVER }}
4 changes: 3 additions & 1 deletion .github/workflows/run-pytest-and-sonarcloud-scan.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -39,6 +39,8 @@ jobs:
run: |
cd /home/runner/_work/claasp
make remote-pytest
env:
GUROBI_COMPUTE_SERVER: ${{ secrets.GUROBI_COMPUTE_SERVER }}

- name: Upload Coverage.xml to artifacts
uses: actions/upload-artifact@v4
Expand Down Expand Up @@ -72,4 +74,4 @@ jobs:
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
SONAR_TOKEN: ${{ secrets.SONAR_TOKEN }}
needs: run-pytest
needs: run-pytest
Loading
Loading