This commit is contained in:
Dmitry Vagner 2022-12-20 16:57:54 -08:00
parent e88e28a19c
commit 6a93a6bee8
2 changed files with 6 additions and 7 deletions

View File

@ -34,6 +34,12 @@
/// (4) encoding each pair (n,m) as 0xnm:
/// miller_data = [(0x10)n + m for (n,m) in EXP]
global test_miller:
// stack: ptr, P, Q, ptr, out, retdest
%store_fp6
// stack: ptr, out, retdest
%jump(miller_init)
global miller_init:
// stack: ptr, out, retdest
PUSH 1

View File

@ -579,15 +579,10 @@ fn fast_exp(f: Fp12) -> Fp12 {
y0 = inv_fp12(y0);
// println!("y0: {:#?}", y0);
// println!("y4: {:#?}", y4);
y4 = mul_fp12(y4, y2);
y4 = mul_fp12(y4, y2);
y4 = mul_fp12(y4, y0);
println!("y4: {:#?}", y4);
y4 = frob_fp12(1, y4);
y2 = frob_fp12(2, y2);
@ -602,8 +597,6 @@ fn make_mul_stack(
g: Fp12,
mul_label: &str,
) -> Vec<U256> {
// stack: in0, f, f', in1, g, g', mul_dest, in0, in1, out, ret_stack, out
let in0 = U256::from(in0);
let in1 = U256::from(in1);
let out = U256::from(out);