ras

OlivierBBB · OlivierBBB · commit e7450820092e · 2025-09-18T10:44:20.000+02:00
diff --git a/alu/_all_alu.tex b/alu/_all_alu.tex
@@ -39,7 +39,7 @@
 \newcounter{alu_ext_counter}
 
 \title{Alu module}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{December 2022}
 
 \begin{document}
diff --git a/bin/_all_bin.tex b/bin/_all_bin.tex
@@ -21,7 +21,7 @@
 \usepackage{../pkg/iomf_done}
 
 \title{Binary module}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{November 2022}
 
 \begin{document}
diff --git a/block_data/_all_block_data.tex b/block_data/_all_block_data.tex
@@ -32,7 +32,7 @@
 \usepackage{../pkg/draculatheme}
 
 \title{Block data module}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{March 2023}
 
 \begin{document}
diff --git a/block_hash/_all_block_hash.tex b/block_hash/_all_block_hash.tex
@@ -31,7 +31,7 @@
 \usepackage{../pkg/draculatheme}
 
 \title{\blockHashMod{} module}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{May 2024}
 
 \begin{document}
diff --git a/euc/_all_euc.tex b/euc/_all_euc.tex
@@ -23,7 +23,7 @@
 \usepackage{../pkg/draculatheme}
 
 \title{The Euclidean Division module \eucMod{}}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{January 2024}
 
 \begin{document}
diff --git a/exp/_all_exp.tex b/exp/_all_exp.tex
@@ -17,7 +17,7 @@
 \usepackage{../pkg/draculatheme}
 
 \title{The \inst{EXP} module}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{September 2022}
 
 \begin{document}
diff --git a/formal/_all_formal.tex b/formal/_all_formal.tex
@@ -36,7 +36,7 @@
 }
 
 \title{Formal verification workhop notes}
-\author{Arithmetization team and Alex Vlasov}
+\author{\arithmetizationTeam{} and Alex Vlasov}
 \date{September 2023}
 
 \begin{document}
diff --git a/formal/zzz.tex b/formal/zzz.tex
@@ -11,7 +11,7 @@
 \usepackage{../pkg/thm_env}
 
 \title{Formal verification of the zkEVM}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{July 2022}
 
 \begin{document}
diff --git a/gas/_all_gas.tex b/gas/_all_gas.tex
@@ -42,7 +42,7 @@
 \addtolength{\cftsubsubsecnumwidth}{10pt}
 
 \title{\gasMod{} module}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{July 2023}
 
 \begin{document}
diff --git a/generic/data/_all_generic_data.tex b/generic/data/_all_generic_data.tex
@@ -17,7 +17,7 @@
 \usepackage{../../pkg/env}
 
 \title{Generic data module}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{August 2022}
 
 \begin{document}
diff --git a/generic/info/_all_generic_info.tex b/generic/info/_all_generic_info.tex
@@ -16,7 +16,7 @@
 \usepackage{../../pkg/env}
 
 \title{Generic info module}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{July 2023}
 
 \begin{document}
diff --git a/hash_data/_all_hash_data.tex b/hash_data/_all_hash_data.tex
@@ -24,7 +24,7 @@
 %\usepackage{../pkg/emoji}
 
 \title{The \hashDataMod{} module}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{September 2022}
 
 \begin{document}
diff --git a/hash_info/_all_hash_info.tex b/hash_info/_all_hash_info.tex
@@ -24,7 +24,7 @@
 %\usepackage{../pkg/emoji}
 
 \title{The \hashInfoMod{} module}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{September 2022}
 
 \begin{document}
diff --git a/hub/_all_hub.tex b/hub/_all_hub.tex
@@ -74,7 +74,7 @@
 \bibliography{../references.bib}
 
 \title{The \hubMod{} module}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{April 2025}
 
 \begin{document}
diff --git a/lex/_all_lex.tex b/lex/_all_lex.tex
@@ -29,7 +29,7 @@
 \usepackage{../pkg/shifting}
 
 \title{Lexicographic ordering constraints}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{October 2022}
 
 \begin{document}
diff --git a/log_data/_all_log_data.tex b/log_data/_all_log_data.tex
@@ -30,7 +30,7 @@
 \usepackage{../pkg/draculatheme}
 
 \title{Log data module}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{August 2023}
 
 \begin{document}
diff --git a/log_info/_all_log_info.tex b/log_info/_all_log_info.tex
@@ -31,7 +31,7 @@
 \usepackage{../pkg/draculatheme}
 
 \title{The \logInfoMod{} module}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{March 2023}
 
 \begin{document}
diff --git a/mmio/_all_mmio.tex b/mmio/_all_mmio.tex
@@ -24,7 +24,7 @@
 \usepackage{../pkg/rlp_txn_v2}
 
 \title{The \mmioMod{} module}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 
 \date{February 2024}
 
diff --git a/mmu/_all_mmu.tex b/mmu/_all_mmu.tex
@@ -48,7 +48,7 @@
 \usepackage{../pkg/rlp_tx}
 
 \title{The \mmuMod{} module}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{January 2024}
 
 \begin{document}
diff --git a/mxp/_all_mxp.tex b/mxp/_all_mxp.tex
@@ -22,7 +22,7 @@
 \usepackage{../pkg/draculatheme}
 
 \title{Memory expansion module}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{August 2022}
 
 \begin{document}
diff --git a/mxp_v3/_all_mxp_v3.tex b/mxp_v3/_all_mxp_v3.tex
@@ -26,7 +26,7 @@
 \usepackage{../pkg/draculatheme}
 
 \title{Memory expansion module}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{August 2022}
 
 \begin{document}
diff --git a/oob/_all_oob.tex b/oob/_all_oob.tex
@@ -37,7 +37,7 @@
 \usepackage{../pkg/draculatheme}
 
 \title{The \oobMod{} module}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{September 2023}
 
 \begin{document}
diff --git a/pkg/common.sty b/pkg/common.sty
@@ -12,6 +12,8 @@
 %\pagecolor{solarized-base01!70!black}
 %\pagecolor{gray!60!black}
 
+\newcommand{\arithmetizationTeam}{\text{Arithmetization Team}}
+
 \newcommand{\X}{\begin{color}{\xcolor}X\end{color}}
 %\newcommand{\If}{\textcolor{red}{If - }}
 %\newcommand{\ElseIf}{\textcolor{orange}{Else If - }}
diff --git a/prc/_all_prc.tex b/prc/_all_prc.tex
@@ -41,7 +41,7 @@
 \renewcommand\cellgape{\Gape[4pt]}
 
 \title{The precompile data modules}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{January 2023}
 
 \begin{document}
diff --git a/rlp_addr/_all_rlp_addr.tex b/rlp_addr/_all_rlp_addr.tex
@@ -32,7 +32,7 @@
 \usepackage{../pkg/rlp_patterns}
 
 \title{Address \rlp{} module}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{May 2023}
 
 \begin{document}
diff --git a/rlp_auth/_all_rlp_auth.tex b/rlp_auth/_all_rlp_auth.tex
@@ -44,7 +44,7 @@
 \usepackage{../pkg/draculatheme}
 
 \title{Transaction \rlpAuthMod{} module}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{September 2025}
 
 \begin{document}
diff --git a/rlp_patterns/_all_rlp_patterns.tex b/rlp_patterns/_all_rlp_patterns.tex
@@ -34,7 +34,7 @@
 \usepackage{../pkg/rlp_patterns}
 
 \title{\rlp{} patterns}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{July 2023}
 
 \begin{document}
diff --git a/rlp_txn/_all_rlp_txn.tex b/rlp_txn/_all_rlp_txn.tex
@@ -37,7 +37,7 @@
 \usepackage{../pkg/draculatheme}
 
 \title{Transaction RLP module}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{May 2023}
 
 \begin{document}
diff --git a/rlp_txn_v2/_all_rlp_txn_v2.tex b/rlp_txn_v2/_all_rlp_txn_v2.tex
@@ -42,7 +42,7 @@
 \usepackage{../pkg/draculatheme}
 
 \title{Transaction \rlp{} module}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{May 2023}
 
 \begin{document}
diff --git a/rlp_txnrcpt/_all_rlp_txnrcpt.tex b/rlp_txnrcpt/_all_rlp_txnrcpt.tex
@@ -33,7 +33,7 @@
 \usepackage{../pkg/log_info}
 
 \title{Transaction receipt module}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{August 2023}
 
 \begin{document}
diff --git a/rlp_utils/_all_rlp_utils.tex b/rlp_utils/_all_rlp_utils.tex
@@ -43,7 +43,7 @@
 \usepackage{../pkg/draculatheme}
 
 \title{The \rlpUtilsMod{} module}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{May 2023}
 
 \begin{document}
diff --git a/rom/_all_rom.tex b/rom/_all_rom.tex
@@ -34,7 +34,7 @@
 \usepackage{../pkg/log_info}
 
 \title{ROM module}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{July 2022}
 
 \begin{document}
diff --git a/rom_lex/_all_rom_lex.tex b/rom_lex/_all_rom_lex.tex
@@ -30,7 +30,7 @@
 \usepackage{../pkg/lex}
 
 \title{Lexicographic ordering constraints}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{July 2023}
 
 \begin{document}
diff --git a/rom_v3/_all_rom_v3.tex b/rom_v3/_all_rom_v3.tex
@@ -36,7 +36,7 @@
 \usepackage{../pkg/draculatheme}
 
 \title{ROM module}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{July 2022}
 
 \begin{document}
diff --git a/shf/_all_shf.tex b/shf/_all_shf.tex
@@ -33,7 +33,7 @@
 \usepackage{../pkg/draculatheme}
 
 \title{Shift module}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{October 2022 / January 2023}
 
 \begin{document}
diff --git a/stp/_all_stp.tex b/stp/_all_stp.tex
@@ -27,7 +27,7 @@
 \usepackage{../pkg/draculatheme}
 
 \title{\inst{CALL} / \inst{CREATE} gas stipend module}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{April 2023}
 
 \begin{document}
diff --git a/trm/_all_trm.tex b/trm/_all_trm.tex
@@ -22,7 +22,7 @@
 \usepackage{../pkg/iomf_done}
 
 \title{Address trimming module}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{September 2022}
 
 \begin{document}
diff --git a/txn_data_system/_all_txn_data_system.tex b/txn_data_system/_all_txn_data_system.tex
@@ -43,7 +43,7 @@
 \usepackage{../pkg/draculatheme}
 
 \title{System transactions data module}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{March 2023}
 
 \begin{document}
diff --git a/txn_data_user/_all_txn_data_user.tex b/txn_data_user/_all_txn_data_user.tex
@@ -40,7 +40,7 @@
 \usepackage{../pkg/draculatheme}
 
 \title{Transaction data module}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{March 2023}
 
 \begin{document}
diff --git a/wcp/_all_wcp.tex b/wcp/_all_wcp.tex
@@ -23,7 +23,7 @@
 
 
 \title{Word comparison module}
-\author{Arithmetization team}
+\author{\arithmetizationTeam{}}
 \date{October 2022}
 
 \begin{document}

Original file line number	Diff line number	Diff line change
`@@ -36,7 +36,7 @@`
`36`	`36`	`}`
`37`	`37`
`38`	`38`	`\title{Formal verification workhop notes}`
`39`		`-\author{Arithmetization team and Alex Vlasov}`
	`39`	`+\author{\arithmetizationTeam{} and Alex Vlasov}`
`40`	`40`	`\date{September 2023}`
`41`	`41`
`42`	`42`	`\begin{document}`