11741909631

Committed 08 Nov 2024 12:14PM UTC coverage: 55.881%. Remained the same

Build # 11741909631

Build Type

push

github

Committed by

web-flow

Commit Message

[`Fix`] namespace scopes (#3503)

* Changed namespace scope from file-scoped to block-scoped.

* dotnet format

* merge master and fix conflict

* format

* Update benchmarks/Neo.VM.Benchmarks/VMTypes/Benchmarks_DeepCopy.cs

* Update benchmarks/Neo.VM.Benchmarks/VMTypes/Benchmarks_Convert.cs

* Update Benchmarks_Convert.cs

* Update benchmarks/Neo.VM.Benchmarks/OpCode/OpCodeBase.cs

---------

Co-authored-by: Jimmy <jinghui@wayne.edu>
Co-authored-by: Shargon <shargon@gmail.com>
Co-authored-by: NGD Admin <154295625+NGDAdmin@users.noreply.github.com>

Run Details

5776 of 8936 branches covered (64.64%)

Branch coverage included in aggregate %.

2637 of 3269 new or added lines in 45 files covered. (80.67%)

18 existing lines in 7 files now uncovered.

21756 of 40333 relevant lines covered (53.94%)

86049.34 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

97.03

/src/Neo.Cryptography.BLS12_381/MillerLoopResult.cs

// Copyright (C) 2015-2024 The Neo Project.
//
// MillerLoopResult.cs file belongs to the neo project and is free
// software distributed under the MIT software license, see the
// accompanying file LICENSE in the main directory of the
// repository or http://www.opensource.org/licenses/mit-license.php
// for more details.
//
// Redistribution and use in source and binary forms with or without
// modifications are permitted.

using System.Runtime.InteropServices;
using static Neo.Cryptography.BLS12_381.Constants;

namespace Neo.Cryptography.BLS12_381
{
    [StructLayout(LayoutKind.Explicit, Size = Fp12.Size)]
    readonly struct MillerLoopResult
    {
        [FieldOffset(0)]
        private readonly Fp12 v;

        public MillerLoopResult(in Fp12 v)
        {
            this.v = v;
        }

        public Gt FinalExponentiation()
        {
            static (Fp2, Fp2) Fp4Square(in Fp2 a, in Fp2 b)
            {
                var t0 = a.Square();
                var t1 = b.Square();
                var t2 = t1.MulByNonresidue();
                var c0 = t2 + t0;
                t2 = a + b;
                t2 = t2.Square();
                t2 -= t0;
                var c1 = t2 - t1;

                return (c0, c1);
            }

            static Fp12 CyclotomicSquare(in Fp12 f)
            {
                var z0 = f.C0.C0;
                var z4 = f.C0.C1;
                var z3 = f.C0.C2;
                var z2 = f.C1.C0;
                var z1 = f.C1.C1;
                var z5 = f.C1.C2;

                var (t0, t1) = Fp4Square(in z0, in z1);

                // For A
                z0 = t0 - z0;
                z0 = z0 + z0 + t0;

                z1 = t1 + z1;
                z1 = z1 + z1 + t1;

                (t0, t1) = Fp4Square(in z2, in z3);
                var (t2, t3) = Fp4Square(in z4, in z5);

                // For C
                z4 = t0 - z4;
                z4 = z4 + z4 + t0;

                z5 = t1 + z5;
                z5 = z5 + z5 + t1;

                // For B
                t0 = t3.MulByNonresidue();
                z2 = t0 + z2;
                z2 = z2 + z2 + t0;

                z3 = t2 - z3;
                z3 = z3 + z3 + t2;

                return new Fp12(new Fp6(in z0, in z4, in z3), new Fp6(in z2, in z1, in z5));
            }

            static Fp12 CycolotomicExp(in Fp12 f)
            {
                var x = BLS_X;
                var tmp = Fp12.One;
                var found_one = false;
                foreach (bool i in Enumerable.Range(0, 64).Select(b => ((x >> b) & 1) == 1).Reverse())
                {
                    if (found_one)
                        tmp = CyclotomicSquare(tmp);
                    else
                        found_one = i;

                    if (i)
                        tmp *= f;
                }

                return tmp.Conjugate();
            }

            var f = v;
            var t0 = f
                .FrobeniusMap()
                .FrobeniusMap()
                .FrobeniusMap()
                .FrobeniusMap()
                .FrobeniusMap()
                .FrobeniusMap();
            var t1 = f.Invert();
            var t2 = t0 * t1;
            t1 = t2;
            t2 = t2.FrobeniusMap().FrobeniusMap();
            t2 *= t1;
            t1 = CyclotomicSquare(t2).Conjugate();
            var t3 = CycolotomicExp(t2);
            var t4 = CyclotomicSquare(t3);
            var t5 = t1 * t3;
            t1 = CycolotomicExp(t5);
            t0 = CycolotomicExp(t1);
            var t6 = CycolotomicExp(t0);
            t6 *= t4;
            t4 = CycolotomicExp(t6);
            t5 = t5.Conjugate();
            t4 *= t5 * t2;
            t5 = t2.Conjugate();
            t1 *= t2;
            t1 = t1.FrobeniusMap().FrobeniusMap().FrobeniusMap();
            t6 *= t5;
            t6 = t6.FrobeniusMap();
            t3 *= t0;
            t3 = t3.FrobeniusMap().FrobeniusMap();
            t3 *= t1;
            t3 *= t6;
            f = t3 * t4;
            return new Gt(f);
        }

        public static MillerLoopResult operator +(in MillerLoopResult a, in MillerLoopResult b)
        {
            return new(a.v * b.v);
        }
    }
}

1	// Copyright (C) 2015-2024 The Neo Project.
2	//
3	// MillerLoopResult.cs file belongs to the neo project and is free
4	// software distributed under the MIT software license, see the
5	// accompanying file LICENSE in the main directory of the
6	// repository or http://www.opensource.org/licenses/mit-license.php
7	// for more details.
8	//
9	// Redistribution and use in source and binary forms with or without
10	// modifications are permitted.
11
12	using System.Runtime.InteropServices;
13	using static Neo.Cryptography.BLS12_381.Constants;
14
15	namespace Neo.Cryptography.BLS12_381
16	{
17	[StructLayout(LayoutKind.Explicit, Size = Fp12.Size)]
18	readonly struct MillerLoopResult
19	{
20	[FieldOffset(0)]
21	private readonly Fp12 v;
22
23	public MillerLoopResult(in Fp12 v)
24	{	9✔
25	this.v = v;	9✔
26	}	9✔
27
28	public Gt FinalExponentiation()
29	{	9✔
30	static (Fp2, Fp2) Fp4Square(in Fp2 a, in Fp2 b)
31	{	8,559✔
32	var t0 = a.Square();	8,559✔
33	var t1 = b.Square();	8,559✔
34	var t2 = t1.MulByNonresidue();	8,559✔
35	var c0 = t2 + t0;	8,559✔
36	t2 = a + b;	8,559✔
37	t2 = t2.Square();	8,559✔
38	t2 -= t0;	8,559✔
39	var c1 = t2 - t1;	8,559✔
40
41	return (c0, c1);	8,559✔
42	}	8,559✔
43
44	static Fp12 CyclotomicSquare(in Fp12 f)
45	{	2,853✔
46	var z0 = f.C0.C0;	2,853✔
47	var z4 = f.C0.C1;	2,853✔
48	var z3 = f.C0.C2;	2,853✔
49	var z2 = f.C1.C0;	2,853✔
50	var z1 = f.C1.C1;	2,853✔
51	var z5 = f.C1.C2;	2,853✔
52
53	var (t0, t1) = Fp4Square(in z0, in z1);	2,853✔
54
55	// For A
56	z0 = t0 - z0;	2,853✔
57	z0 = z0 + z0 + t0;	2,853✔
58
59	z1 = t1 + z1;	2,853✔
60	z1 = z1 + z1 + t1;	2,853✔
61
62	(t0, t1) = Fp4Square(in z2, in z3);	2,853✔
63	var (t2, t3) = Fp4Square(in z4, in z5);	2,853✔
64
65	// For C
66	z4 = t0 - z4;	2,853✔
67	z4 = z4 + z4 + t0;	2,853✔
68
69	z5 = t1 + z5;	2,853✔
70	z5 = z5 + z5 + t1;	2,853✔
71
72	// For B
73	t0 = t3.MulByNonresidue();	2,853✔
74	z2 = t0 + z2;	2,853✔
75	z2 = z2 + z2 + t0;	2,853✔
76
77	z3 = t2 - z3;	2,853✔
78	z3 = z3 + z3 + t2;	2,853✔
79
80	return new Fp12(new Fp6(in z0, in z4, in z3), new Fp6(in z2, in z1, in z5));	2,853✔
81	}	2,853✔
82
83	static Fp12 CycolotomicExp(in Fp12 f)
84	{	45✔
85	var x = BLS_X;	45✔
86	var tmp = Fp12.One;	45✔
87	var found_one = false;	45✔
88	foreach (bool i in Enumerable.Range(0, 64).Select(b => ((x >> b) & 1) == 1).Reverse())	8,775✔
89	{	2,880✔
90	if (found_one)	2,880✔
91	tmp = CyclotomicSquare(tmp);	2,835✔
92	else
93	found_one = i;	45✔
94
95	if (i)	2,880✔
96	tmp *= f;	270✔
97	}	2,880✔
98
99	return tmp.Conjugate();	45✔
100	}	45✔
101
102	var f = v;	9✔
103	var t0 = f	9✔
104	.FrobeniusMap()	9✔
105	.FrobeniusMap()	9✔
106	.FrobeniusMap()	9✔
107	.FrobeniusMap()	9✔
108	.FrobeniusMap()	9✔
109	.FrobeniusMap();	9✔
110	var t1 = f.Invert();	9✔
111	var t2 = t0 * t1;	9✔
112	t1 = t2;	9✔
113	t2 = t2.FrobeniusMap().FrobeniusMap();	9✔
114	t2 *= t1;	9✔
115	t1 = CyclotomicSquare(t2).Conjugate();	9✔
116	var t3 = CycolotomicExp(t2);	9✔
117	var t4 = CyclotomicSquare(t3);	9✔
118	var t5 = t1 * t3;	9✔
119	t1 = CycolotomicExp(t5);	9✔
120	t0 = CycolotomicExp(t1);	9✔
121	var t6 = CycolotomicExp(t0);	9✔
122	t6 *= t4;	9✔
123	t4 = CycolotomicExp(t6);	9✔
124	t5 = t5.Conjugate();	9✔
125	t4 = t5 t2;	9✔
126	t5 = t2.Conjugate();	9✔
127	t1 *= t2;	9✔
128	t1 = t1.FrobeniusMap().FrobeniusMap().FrobeniusMap();	9✔
129	t6 *= t5;	9✔
130	t6 = t6.FrobeniusMap();	9✔
131	t3 *= t0;	9✔
132	t3 = t3.FrobeniusMap().FrobeniusMap();	9✔
133	t3 *= t1;	9✔
134	t3 *= t6;	9✔
135	f = t3 * t4;	9✔
136	return new Gt(f);	9✔
137	}	9✔
138
139	public static MillerLoopResult operator +(in MillerLoopResult a, in MillerLoopResult b)
NEW 140	{	×
NEW 141	return new(a.v * b.v);	×
NEW 142	}	×
143	}
144	}

neo-project / neo / 11741909631

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous