anthropics/cryptography-research-demo
File Age & Freshness
File age measurements show the distribution of file ages (days since the first commit) and the file freshness (days since the latest commit).
File Change History Overall
File Age Distribution Overall
Days since first update
  • There are 9 files with 391 lines of code in files.
    • 0 files that are 366+ days old (0 lines of code)
    • 0 files that are 181-365 days old (0 lines of code)
    • 0 files that are 91-180 days old (0 lines of code)
    • 9 files that are 31-90 days old (391 lines of code)
    • 0 files that are 1-30 days old (0 lines of code)
0% | 0% | 0% | 100% | 0%
Legend:
366+
181-365
91-180
31-90
1-30

explore: grouped by folders | grouped by age
File Freshness Distribution Overall
Days since last update
  • There are 9 files with 391 lines of code in files.
    • 0 files have been last changed 366+ days ago (0 lines of code)
    • 0 files have been last changed 181-365 days ago (0 lines of code)
    • 0 files have been last changed 91-180 days ago (0 lines of code)
    • 9 files have been last changed 31-90 days ago (391 lines of code)
    • 0 files have been last changed 1-30 days ago (0 lines of code)
0% | 0% | 0% | 100% | 0%
Legend:
366+
181-365
91-180
31-90
1-30

explore: grouped by folders | grouped by freshness
File Change History per File Extension
py, c, md, h, rs, sh, lean, nix, txt, gitignore, json, toml, ini
File Age Distribution per Extension
Days since first update
366+
181-365
91-180
31-90
1-30
lean0% | 0% | 0% | 100% | 0%
toml0% | 0% | 0% | 100% | 0%
py0% | 0% | 0% | 100% | 0%
h0% | 0% | 0% | 0% | 0%
c0% | 0% | 0% | 0% | 0%
nix0% | 0% | 0% | 0% | 0%
rs0% | 0% | 0% | 0% | 0%
File Freshness Distribution per Extension
Days since last update
366+
181-365
91-180
31-90
1-30
lean0% | 0% | 0% | 100% | 0%
toml0% | 0% | 0% | 100% | 0%
py0% | 0% | 0% | 100% | 0%
h0% | 0% | 0% | 0% | 0%
c0% | 0% | 0% | 0% | 0%
nix0% | 0% | 0% | 0% | 0%
rs0% | 0% | 0% | 0% | 0%
File Change History per Logical Decomposition
primary
primary (file age distribution)
Days since first update
366+
181-365
91-180
31-90
1-30
AES0% | 0% | 0% | 100% | 0%
LEA0% | 0% | 0% | 0% | 0%
HAWK0% | 0% | 0% | 0% | 0%
primary (file freshness distribution)
Days since last update
366+
181-365
91-180
31-90
1-30
AES0% | 0% | 0% | 100% | 0%
LEA0% | 0% | 0% | 0% | 0%
HAWK0% | 0% | 0% | 0% | 0%
Oldest Files (Top 50)
File# lines# unitscreatedlast modified# changes
(days)		# contributorsfirst
contributor		latest
contributor
lean
CharacterSum.lean
in AES/lean/chi-fp/ChiFp
 132 - 2026-07-29 2026-07-29 1 1 zygi@anthropic.com zygi@anthropic.com
lean
MainTheorem.lean
in AES/lean/chi-fp/ChiFp
 94 - 2026-07-29 2026-07-29 1 1 zygi@anthropic.com zygi@anthropic.com
lean
Orbit.lean
in AES/lean/chi-fp/ChiFp
 79 - 2026-07-29 2026-07-29 1 1 zygi@anthropic.com zygi@anthropic.com
lean
Numeric.lean
in AES/lean/chi-fp/ChiFp
 24 - 2026-07-29 2026-07-29 1 1 zygi@anthropic.com zygi@anthropic.com
lean
Defs.lean
in AES/lean/chi-fp/ChiFp
 22 - 2026-07-29 2026-07-29 1 1 zygi@anthropic.com zygi@anthropic.com
lakefile.toml
in AES/lean/chi-fp
 11 - 2026-07-29 2026-07-29 1 1 zygi@anthropic.com zygi@anthropic.com
lean
Audit.lean
in AES/lean/chi-fp/ChiFp
 11 - 2026-07-29 2026-07-29 1 1 zygi@anthropic.com zygi@anthropic.com
check_bound.py
in AES/lean/chi-fp/tools
 10 - 2026-07-29 2026-07-29 1 1 zygi@anthropic.com zygi@anthropic.com
lean
ChiFp.lean
in AES/lean/chi-fp
 8 - 2026-07-29 2026-07-29 1 1 zygi@anthropic.com zygi@anthropic.com
sr7226_exact2.c
in AES/experiments/sr7226-e2e
 1636 58
sr7226_gray.c
in AES/experiments/sr7226-e2e
 1635 57
sr7226_canon2.c
in AES/experiments/sr7226-e2e
 1575 53
sr744.rs
in AES/rust/src
 1344 16
sr7226_dfjpub.c
in AES/experiments/sr7226-e2e
 1110 43
sr7226_variants.c
in AES/experiments/sr7226-e2e
 1051 43
phi.c
in AES/experiments/aes128-measured/phi
 975 28
analyze.c
in AES/experiments/aes128-measured/offline
 845 21
online3.c
in AES/experiments/aes128-measured/projection
 592 25
sbc_repro.c
in AES/c/sb-cache
 560 18
online_bench.c
in AES/experiments/aes128-measured/online
 557 25
attack.c
in LEA
 524 15
common.h
in AES/experiments/aes128-measured/common
 423 34
saes_imn.c
in AES/c/mobius-honest
 419 14
verify_Imn.py
in AES/python
 383 29
ddt_gray_e2e.c
in AES/c/ddt-gray
 356 12
honest_online.c
in AES/c/mobius-honest
 355 15
table_build.c
in AES/experiments/aes128-measured/offline
 345 3
fp_solve.c
in AES/c
 314 17
exp_honest.rs
in AES/rust/src
 296 3
svp.py
in HAWK/hawk_recover
 293 11
kernel_v2_vec.h
in AES/experiments/aes128-measured/common
 291 14
honest_rebound.c
in AES/c/mobius-honest
 258 8
canon_even.h
in AES/experiments/aes128-measured/common
 254 14
exp_basic.rs
in AES/rust/src
 253 -
tower.py
in HAWK/hawk_recover
 238 13
exp_wrongkey.rs
in AES/rust/src
 234 1
ddt_gray_capstone.c
in AES/c/ddt-gray
 226 7
offline3.c
in AES/experiments/aes128-measured/projection
 216 8
wrongkey.c
in AES/c
 212 8
verify_ls_fp.c
in AES/c/floor
 200 17
ddt_gray_online.c
in AES/c/ddt-gray
 198 7
clump.c
in AES/c
 193 8
ddt_gray_honest.c
in AES/c/ddt-gray
 176 10
chi_clump.c
in AES/c
 175 10
verify.py
in HAWK/hawk_recover/evidence
 174 2
fp_concat_demo.py
in AES/python
 165 8
exp_entropy.rs
in AES/rust/src
 164 -
classify.c
in AES/experiments/aes128-measured/offline
 161 5
bridge.rs
in AES/rust/src
 160 2
denom.c
in AES/experiments/aes128-measured/projection
 158 8
Files Not Recently Changed (Top 50)
File# lines# unitscreatedlast modified# changes
(days)		# contributorsfirst
contributor		latest
contributor
lean
ChiFp.lean
in AES/lean/chi-fp
 8 - 2026-07-29 2026-07-29 1 1 zygi@anthropic.com zygi@anthropic.com
check_bound.py
in AES/lean/chi-fp/tools
 10 - 2026-07-29 2026-07-29 1 1 zygi@anthropic.com zygi@anthropic.com
lean
Audit.lean
in AES/lean/chi-fp/ChiFp
 11 - 2026-07-29 2026-07-29 1 1 zygi@anthropic.com zygi@anthropic.com
lakefile.toml
in AES/lean/chi-fp
 11 - 2026-07-29 2026-07-29 1 1 zygi@anthropic.com zygi@anthropic.com
lean
Defs.lean
in AES/lean/chi-fp/ChiFp
 22 - 2026-07-29 2026-07-29 1 1 zygi@anthropic.com zygi@anthropic.com
lean
Numeric.lean
in AES/lean/chi-fp/ChiFp
 24 - 2026-07-29 2026-07-29 1 1 zygi@anthropic.com zygi@anthropic.com
lean
Orbit.lean
in AES/lean/chi-fp/ChiFp
 79 - 2026-07-29 2026-07-29 1 1 zygi@anthropic.com zygi@anthropic.com
lean
MainTheorem.lean
in AES/lean/chi-fp/ChiFp
 94 - 2026-07-29 2026-07-29 1 1 zygi@anthropic.com zygi@anthropic.com
lean
CharacterSum.lean
in AES/lean/chi-fp/ChiFp
 132 - 2026-07-29 2026-07-29 1 1 zygi@anthropic.com zygi@anthropic.com
__init__.py
in HAWK/hawk_recover/infra
 1 -
nix
shell.nix
in HAWK/nix
 10 -
nix
nixpkgs.nix
in HAWK/nix
 12 -
kat.c
in LEA
 16 1
nix
default.nix
in HAWK/nix
 17 -
__init__.py
in HAWK/hawk_recover
 20 -
eseq_exact.py
in AES/python/a1
 21 1
__main__.py
in HAWK/hawk_recover/evidence
 23 1
sort_buckets.c
in AES/experiments/sr7226-e2e
 27 1
index_maps.py
in AES/python/a1
 33 2
nix
hawk-shim.nix
in HAWK/nix
 33 -
compare2.py
in AES/experiments/aes128-measured/phi
 34 3
gf256.py
in AES/python/a1
 34 7
chi_canon.py
in AES/python/a1
 34 4
checkpoint.py
in HAWK/hawk_recover/infra
 34 8
rng.rs
in AES/rust/src
 37 1
shim.py
in HAWK/hawk_recover/infra
 38 3
gf.h
in AES/c/floor
 40 8
__init__.py
in HAWK/hawk_recover/infra/sieve_backends
 41 4
nix
hawk256-ref.nix
in HAWK/nix
 45 -
aes7r.py
in AES/python/a1
 48 11
lea.h
in LEA
 49 6
chistats.py
in AES/experiments/aes128-measured/phi
 51 1
nix
sieve-src.nix
in HAWK/nix
 51 -
__init__.py
in HAWK/hawk_recover/evidence
 53 10
plot_chi_clump.py
in AES/figures
 54 1
plot_wrongkey.py
in AES/figures
 61 2
hawk_shim.c
in HAWK/hawk_recover/ref_impl
 61 3
synthetic_attack.py
in HAWK/scripts
 62 2
degen_analysis.c
in AES/c/mobius-honest
 63 2
prop2.py
in AES/python/a1
 64 9
exp_timing.rs
in AES/rust/src
 65 -
encode.py
in HAWK/hawk_recover
 65 4
keysched_solve.py
in AES/python
 71 4
plot_clump.py
in AES/figures
 72 2
kernel_fast.h
in AES/experiments/aes128-measured/common
 74 3
aes.rs
in AES/rust/src
 83 -
chi256.h
in AES/experiments/aes128-measured/common
 84 12
bc_impl_b.c
in AES/c/bridge-consistency
 86 5
project.py
in AES/experiments/aes128-measured/projection
 86 4
kernel_v2_scalar.h
in AES/experiments/aes128-measured/common
 89 3
Most Recently Created Files (Top 50)
File# lines# unitscreatedlast modified# changes
(days)		# contributorsfirst
contributor		latest
contributor
sr7226_exact2.c
in AES/experiments/sr7226-e2e
 1636 58
sr7226_gray.c
in AES/experiments/sr7226-e2e
 1635 57
sr7226_canon2.c
in AES/experiments/sr7226-e2e
 1575 53
sr744.rs
in AES/rust/src
 1344 16
sr7226_dfjpub.c
in AES/experiments/sr7226-e2e
 1110 43
sr7226_variants.c
in AES/experiments/sr7226-e2e
 1051 43
phi.c
in AES/experiments/aes128-measured/phi
 975 28
analyze.c
in AES/experiments/aes128-measured/offline
 845 21
online3.c
in AES/experiments/aes128-measured/projection
 592 25
sbc_repro.c
in AES/c/sb-cache
 560 18
online_bench.c
in AES/experiments/aes128-measured/online
 557 25
attack.c
in LEA
 524 15
common.h
in AES/experiments/aes128-measured/common
 423 34
saes_imn.c
in AES/c/mobius-honest
 419 14
verify_Imn.py
in AES/python
 383 29
ddt_gray_e2e.c
in AES/c/ddt-gray
 356 12
honest_online.c
in AES/c/mobius-honest
 355 15
table_build.c
in AES/experiments/aes128-measured/offline
 345 3
fp_solve.c
in AES/c
 314 17
exp_honest.rs
in AES/rust/src
 296 3
svp.py
in HAWK/hawk_recover
 293 11
kernel_v2_vec.h
in AES/experiments/aes128-measured/common
 291 14
honest_rebound.c
in AES/c/mobius-honest
 258 8
canon_even.h
in AES/experiments/aes128-measured/common
 254 14
exp_basic.rs
in AES/rust/src
 253 -
tower.py
in HAWK/hawk_recover
 238 13
exp_wrongkey.rs
in AES/rust/src
 234 1
ddt_gray_capstone.c
in AES/c/ddt-gray
 226 7
offline3.c
in AES/experiments/aes128-measured/projection
 216 8
wrongkey.c
in AES/c
 212 8
verify_ls_fp.c
in AES/c/floor
 200 17
ddt_gray_online.c
in AES/c/ddt-gray
 198 7
clump.c
in AES/c
 193 8
ddt_gray_honest.c
in AES/c/ddt-gray
 176 10
chi_clump.c
in AES/c
 175 10
verify.py
in HAWK/hawk_recover/evidence
 174 2
fp_concat_demo.py
in AES/python
 165 8
exp_entropy.rs
in AES/rust/src
 164 -
classify.c
in AES/experiments/aes128-measured/offline
 161 5
bridge.rs
in AES/rust/src
 160 2
denom.c
in AES/experiments/aes128-measured/projection
 158 8
__main__.py
in HAWK/hawk_recover
 155 1
types.py
in HAWK/hawk_recover
 144 12
bgj.py
in HAWK/hawk_recover/infra/sieve_backends
 140 8
intertwiner.py
in HAWK/hawk_recover
 130 6
bc_truehit.c
in AES/c/bridge-consistency
 129 4
prop2.h
in AES/experiments/aes128-measured/common
 121 5
oracle.h
in LEA
 117 5
cocycle.py
in HAWK/hawk_recover
 117 8
chi256_fast.h
in AES/experiments/aes128-measured/common
 115 8
Most Recently Changed Files (Top 50)
File# lines# unitscreatedlast modified# changes
(days)		# contributorsfirst
contributor		latest
contributor
sr7226_exact2.c
in AES/experiments/sr7226-e2e
 1636 58
sr7226_gray.c
in AES/experiments/sr7226-e2e
 1635 57
sr7226_canon2.c
in AES/experiments/sr7226-e2e
 1575 53
sr744.rs
in AES/rust/src
 1344 16
sr7226_dfjpub.c
in AES/experiments/sr7226-e2e
 1110 43
sr7226_variants.c
in AES/experiments/sr7226-e2e
 1051 43
phi.c
in AES/experiments/aes128-measured/phi
 975 28
analyze.c
in AES/experiments/aes128-measured/offline
 845 21
online3.c
in AES/experiments/aes128-measured/projection
 592 25
sbc_repro.c
in AES/c/sb-cache
 560 18
online_bench.c
in AES/experiments/aes128-measured/online
 557 25
attack.c
in LEA
 524 15
common.h
in AES/experiments/aes128-measured/common
 423 34
saes_imn.c
in AES/c/mobius-honest
 419 14
verify_Imn.py
in AES/python
 383 29
ddt_gray_e2e.c
in AES/c/ddt-gray
 356 12
honest_online.c
in AES/c/mobius-honest
 355 15
table_build.c
in AES/experiments/aes128-measured/offline
 345 3
fp_solve.c
in AES/c
 314 17
exp_honest.rs
in AES/rust/src
 296 3
svp.py
in HAWK/hawk_recover
 293 11
kernel_v2_vec.h
in AES/experiments/aes128-measured/common
 291 14
honest_rebound.c
in AES/c/mobius-honest
 258 8
canon_even.h
in AES/experiments/aes128-measured/common
 254 14
exp_basic.rs
in AES/rust/src
 253 -
tower.py
in HAWK/hawk_recover
 238 13
exp_wrongkey.rs
in AES/rust/src
 234 1
ddt_gray_capstone.c
in AES/c/ddt-gray
 226 7
offline3.c
in AES/experiments/aes128-measured/projection
 216 8
wrongkey.c
in AES/c
 212 8
verify_ls_fp.c
in AES/c/floor
 200 17
ddt_gray_online.c
in AES/c/ddt-gray
 198 7
clump.c
in AES/c
 193 8
ddt_gray_honest.c
in AES/c/ddt-gray
 176 10
chi_clump.c
in AES/c
 175 10
verify.py
in HAWK/hawk_recover/evidence
 174 2
fp_concat_demo.py
in AES/python
 165 8
exp_entropy.rs
in AES/rust/src
 164 -
classify.c
in AES/experiments/aes128-measured/offline
 161 5
bridge.rs
in AES/rust/src
 160 2
denom.c
in AES/experiments/aes128-measured/projection
 158 8
__main__.py
in HAWK/hawk_recover
 155 1
types.py
in HAWK/hawk_recover
 144 12
bgj.py
in HAWK/hawk_recover/infra/sieve_backends
 140 8
intertwiner.py
in HAWK/hawk_recover
 130 6
bc_truehit.c
in AES/c/bridge-consistency
 129 4
prop2.h
in AES/experiments/aes128-measured/common
 121 5
oracle.h
in LEA
 117 5
cocycle.py
in HAWK/hawk_recover
 117 8
chi256_fast.h
in AES/experiments/aes128-measured/common
 115 8