From 0d2048a58ca6a9642dc5f642f468f6ece8666f72 Mon Sep 17 00:00:00 2001 From: Sun Yimin Date: Mon, 25 Sep 2023 16:47:08 +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 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/SM3中的FF2和GG2函数.md b/SM3中的FF2和GG2函数.md index 541a9b0..b8c7fa3 100644 --- a/SM3中的FF2和GG2函数.md +++ b/SM3中的FF2和GG2函数.md @@ -40,7 +40,7 @@ GG2等价公式初次见于[Intel® Integrated Performance Primitives Cryptograp # 证明 Ask help https://math.stackexchange.com/questions/4775054/how-to-prove-below-two-logic-formulas -GG2(X,Y,Z) +$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))$