From 73b1ca903ed079152e0d7c87c92eeaf8d16d8a59 Mon Sep 17 00:00:00 2001 From: Sun Yimin Date: Mon, 25 Sep 2023 16:42:01 +0800 Subject: [PATCH] =?UTF-8?q?Updated=20SM3=E4=B8=AD=E7=9A=84FF2=E5=92=8CGG2?= =?UTF-8?q?=E5=87=BD=E6=95=B0=20(markdown)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- SM3中的FF2和GG2函数.md | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/SM3中的FF2和GG2函数.md b/SM3中的FF2和GG2函数.md index d3502e9..541a9b0 100644 --- a/SM3中的FF2和GG2函数.md +++ b/SM3中的FF2和GG2函数.md @@ -39,4 +39,12 @@ GG2等价公式初次见于[Intel® Integrated Performance Primitives Cryptograp |1|1|1|1|1|1|1| # 证明 -Ask help https://math.stackexchange.com/questions/4775054/how-to-prove-below-two-logic-formulas \ No newline at end of file +Ask help https://math.stackexchange.com/questions/4775054/how-to-prove-below-two-logic-formulas +GG2(X,Y,Z) += $(X \land Y) \bigoplus (\lnot X \land Z)$ += $(\lnot (X \land Y) \land (\lnot X \land Z)) \lor ((X \land Y) \land (\lnot (\lnot X \land Z)))$ += $((\lnot X \lor \lnot Y) \land (\lnot X \land Z)) \lor ((X \land Y) \land (X \lor \lnot Z))$ += $(\lnot X \land Z) \lor (\lnot X \land \lnot Y \land Z) \lor (X \land Y) \lor (X \land Y \land \lnot Z) $ += $((\lnot X \land Z) \lor (\lnot X \land Z \land \lnot Y)) \lor ((X \land Y) \lor (X \land Y \land \lnot Z))$ += $((X \land Y) \land (1 \lor \lnot Z)) \lor ((\lnot X \land Z) \land (1 \lor \lnot Y))$ += $(X \land Y) \lor (\lnot X \land Z)$ \ No newline at end of file