File Churn · anthropics/cryptography-research-demo

Overview

File Change Frequency Overall

There are 9 files with 391 lines of code.

0 files changed more than 100 times (0 lines of code)
0 files changed 51-100 times (0 lines of code)
0 files changed 21-50 times (0 lines of code)
0 files changed 6-20 times (0 lines of code)
9 files changed 1-5 times (391 lines of code)

Legend:

101+

51-100

21-50

6-20

1-5

explore: grouped by folders | grouped by update frequency | data

Contributors Count Frequency Overall

There are 9 files with 391 lines of code.

0 files changed by more than 25 contributors (0 lines of code)
0 files changed by 11-25 contributors (0 lines of code)
0 files changed by 6-10 contributors (0 lines of code)
0 files changed by 2-5 contributors (0 lines of code)
9 files changed by 1 contributor (391 lines of code)

Legend:

26+

11-25

6-10

2-5

1

explore: grouped by folders | grouped by contributors count | data

File Change Frequency per File Extension

py, c, md, h, rs, sh, lean, nix, txt, gitignore, json, toml, ini

File Change Frequency per Extension

The number of recorded file updates

101+

51-100

21-50

6-20

1-5

File Change Frequency per Logical Decomposition

primary

primary (file change frequency)

The number of recorded file updates

101+

51-100

21-50

6-20

1-5

Most Frequently Changed Files (Top 50)

See data for all files...

File	# lines	# units	created	last modified	# changes (days)	# contributors	line churn	first contributor	latest contributor
lean ChiFp.lean in AES/lean/chi-fp	8	-	2026-07-29	2026-07-29	1	1	+8 / -0	zygi@anthropic.com	zygi@anthropic.com
check_bound.py in AES/lean/chi-fp/tools	10	-	2026-07-29	2026-07-29	1	1	+20 / -0	zygi@anthropic.com	zygi@anthropic.com
lean Audit.lean in AES/lean/chi-fp/ChiFp	11	-	2026-07-29	2026-07-29	1	1	+15 / -0	zygi@anthropic.com	zygi@anthropic.com
lakefile.toml in AES/lean/chi-fp	11	-	2026-07-29	2026-07-29	1	1	+14 / -0	zygi@anthropic.com	zygi@anthropic.com
lean Defs.lean in AES/lean/chi-fp/ChiFp	22	-	2026-07-29	2026-07-29	1	1	+32 / -0	zygi@anthropic.com	zygi@anthropic.com
lean Numeric.lean in AES/lean/chi-fp/ChiFp	24	-	2026-07-29	2026-07-29	1	1	+31 / -0	zygi@anthropic.com	zygi@anthropic.com
lean Orbit.lean in AES/lean/chi-fp/ChiFp	79	-	2026-07-29	2026-07-29	1	1	+104 / -0	zygi@anthropic.com	zygi@anthropic.com
lean MainTheorem.lean in AES/lean/chi-fp/ChiFp	94	-	2026-07-29	2026-07-29	1	1	+98 / -0	zygi@anthropic.com	zygi@anthropic.com
lean CharacterSum.lean in AES/lean/chi-fp/ChiFp	132	-	2026-07-29	2026-07-29	1	1	+147 / -0	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

Files With Most Churn (Top 50)

Based on the number of lines added and deleted across all commits.

See data for all files...

File	# lines	# units	created	last modified	# changes (days)	# contributors	line churn	first contributor	latest contributor
lean CharacterSum.lean in AES/lean/chi-fp/ChiFp	132	-	2026-07-29	2026-07-29	1	1	+147 / -0	zygi@anthropic.com	zygi@anthropic.com
lean Orbit.lean in AES/lean/chi-fp/ChiFp	79	-	2026-07-29	2026-07-29	1	1	+104 / -0	zygi@anthropic.com	zygi@anthropic.com
lean MainTheorem.lean in AES/lean/chi-fp/ChiFp	94	-	2026-07-29	2026-07-29	1	1	+98 / -0	zygi@anthropic.com	zygi@anthropic.com
lean Defs.lean in AES/lean/chi-fp/ChiFp	22	-	2026-07-29	2026-07-29	1	1	+32 / -0	zygi@anthropic.com	zygi@anthropic.com
lean Numeric.lean in AES/lean/chi-fp/ChiFp	24	-	2026-07-29	2026-07-29	1	1	+31 / -0	zygi@anthropic.com	zygi@anthropic.com
check_bound.py in AES/lean/chi-fp/tools	10	-	2026-07-29	2026-07-29	1	1	+20 / -0	zygi@anthropic.com	zygi@anthropic.com
lean Audit.lean in AES/lean/chi-fp/ChiFp	11	-	2026-07-29	2026-07-29	1	1	+15 / -0	zygi@anthropic.com	zygi@anthropic.com
lakefile.toml in AES/lean/chi-fp	11	-	2026-07-29	2026-07-29	1	1	+14 / -0	zygi@anthropic.com	zygi@anthropic.com
lean ChiFp.lean in AES/lean/chi-fp	8	-	2026-07-29	2026-07-29	1	1	+8 / -0	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

Files With Most Contributors (Top 50)

Based on the number of unique email addresses found in commits.

See data for all files...

File	# lines	# units	created	last modified	# changes (days)	# contributors	line churn	first contributor	latest contributor
check_bound.py in AES/lean/chi-fp/tools	10	-	2026-07-29	2026-07-29	1	1	+20 / -0	zygi@anthropic.com	zygi@anthropic.com
lean ChiFp.lean in AES/lean/chi-fp	8	-	2026-07-29	2026-07-29	1	1	+8 / -0	zygi@anthropic.com	zygi@anthropic.com
lakefile.toml in AES/lean/chi-fp	11	-	2026-07-29	2026-07-29	1	1	+14 / -0	zygi@anthropic.com	zygi@anthropic.com
lean Numeric.lean in AES/lean/chi-fp/ChiFp	24	-	2026-07-29	2026-07-29	1	1	+31 / -0	zygi@anthropic.com	zygi@anthropic.com
lean Defs.lean in AES/lean/chi-fp/ChiFp	22	-	2026-07-29	2026-07-29	1	1	+32 / -0	zygi@anthropic.com	zygi@anthropic.com
lean Orbit.lean in AES/lean/chi-fp/ChiFp	79	-	2026-07-29	2026-07-29	1	1	+104 / -0	zygi@anthropic.com	zygi@anthropic.com
lean Audit.lean in AES/lean/chi-fp/ChiFp	11	-	2026-07-29	2026-07-29	1	1	+15 / -0	zygi@anthropic.com	zygi@anthropic.com
lean CharacterSum.lean in AES/lean/chi-fp/ChiFp	132	-	2026-07-29	2026-07-29	1	1	+147 / -0	zygi@anthropic.com	zygi@anthropic.com
lean MainTheorem.lean in AES/lean/chi-fp/ChiFp	94	-	2026-07-29	2026-07-29	1	1	+98 / -0	zygi@anthropic.com	zygi@anthropic.com
lea.h in LEA	49	6
oracle_server.py in LEA	101	5
oracle.h in LEA	117	5
attack.c in LEA	524	15
kat.c in LEA	16	1
nix nixpkgs.nix in HAWK/nix	12	-
nix hawk256-ref.nix in HAWK/nix	45	-
nix sieve-src.nix in HAWK/nix	51	-
nix shell.nix in HAWK/nix	10	-
nix svp-tool.nix in HAWK/nix	96	-
nix default.nix in HAWK/nix	17	-
nix hawk-shim.nix in HAWK/nix	33	-
hawk_shim.c in HAWK/hawk_recover/ref_impl	61	3
params.py in HAWK/hawk_recover	100	10
checkpoint.py in HAWK/hawk_recover/infra	34	8
__init__.py in HAWK/hawk_recover/infra	1	-
__init__.py in HAWK/hawk_recover/infra/sieve_backends	41	4
bgj.py in HAWK/hawk_recover/infra/sieve_backends	140	8
shim.py in HAWK/hawk_recover/infra	38	3
encode.py in HAWK/hawk_recover	65	4
__init__.py in HAWK/hawk_recover/evidence	53	10
export.py in HAWK/hawk_recover/evidence	93	2
verify.py in HAWK/hawk_recover/evidence	174	2
__main__.py in HAWK/hawk_recover/evidence	23	1
cocycle.py in HAWK/hawk_recover	117	8
__init__.py in HAWK/hawk_recover	20	-
types.py in HAWK/hawk_recover	144	12
tower.py in HAWK/hawk_recover	238	13
intertwiner.py in HAWK/hawk_recover	130	6
decode.py in HAWK/hawk_recover	112	6
__main__.py in HAWK/hawk_recover	155	1
ring.py in HAWK/hawk_recover	101	19
svp.py in HAWK/hawk_recover	293	11
verify_lemmas.py in HAWK/scripts	107	7
synthetic_attack.py in HAWK/scripts	62	2
fp_concat_demo.py in AES/python	165	8
verify_Imn.py in AES/python	383	29
keysched_solve.py in AES/python	71	4
chi_canon.py in AES/python/a1	34	4
index_maps.py in AES/python/a1	33	2
aes7r.py in AES/python/a1	48	11

Files With Least Contributors (Top 50)

Based on the number of unique email addresses found in commits.

See data for all files...

File	# lines	# units
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

Correlations

File Size vs. Number of Changes: 9 points

		1.0	# changes min: 1.0 average: 1.0 25th percentile: 1.0 median: 1.0 75th percentile: 1.0 max: 1.0
0	132.0
lines of code min: 8.0 \| average: 43.44 \| 25th percentile: 10.5 \| median: 22.0 \| 75th percentile: 86.5 \| max: 132.0

Number of Contributors vs. Number of Changes: 9 points

		1.0	# changes min: 1.0 average: 1.0 25th percentile: 1.0 median: 1.0 75th percentile: 1.0 max: 1.0
0	1.0
# contributors min: 1.0 \| average: 1.0 \| 25th percentile: 1.0 \| median: 1.0 \| 75th percentile: 1.0 \| max: 1.0

Number of Contributors vs. File Size: 9 points

		132.0	lines of code min: 8.0 average: 43.44 25th percentile: 10.5 median: 22.0 75th percentile: 86.5 max: 132.0
0	1.0
# contributors min: 1.0 \| average: 1.0 \| 25th percentile: 1.0 \| median: 1.0 \| 75th percentile: 1.0 \| max: 1.0

Number of Changes vs. Line Churn: 14 points

		147.0	line churn min: 1.0 average: 49.14 25th percentile: 7.25 median: 25.5 75th percentile: 99.5 max: 147.0
0	1.0
# changes min: 1.0 \| average: 1.0 \| 25th percentile: 1.0 \| median: 1.0 \| 75th percentile: 1.0 \| max: 1.0

Number of Contributors vs. Line Churn: 9 points

		147.0	line churn min: 8.0 average: 52.11 25th percentile: 14.5 median: 31.0 75th percentile: 101.0 max: 147.0
0	1.0
# contributors min: 1.0 \| average: 1.0 \| 25th percentile: 1.0 \| median: 1.0 \| 75th percentile: 1.0 \| max: 1.0

File Size vs. Line Churn: 9 points

		147.0	line churn min: 8.0 average: 52.11 25th percentile: 14.5 median: 31.0 75th percentile: 101.0 max: 147.0
0	132.0
lines of code min: 8.0 \| average: 43.44 \| 25th percentile: 10.5 \| median: 22.0 \| 75th percentile: 86.5 \| max: 132.0