diff --git a/src/channel/channel.cairo b/src/channel/channel.cairo index d9fa62a4a..569c5d047 100644 --- a/src/channel/channel.cairo +++ b/src/channel/channel.cairo @@ -8,7 +8,8 @@ const C_PRIME_AS_UINT256_HIGH: u128 = 329648542954659146201578277794459156480; // 31 * 0x8000000000000110000000000000000; const STARK_PRIME: u256 = 3618502788666131213697322783095070105623107215331596699973092056135872020481; -const MONTGOMERY_R: felt252 = 3618502788666127798953978732740734578953660990361066340291730267701097005025; // 2**256 % STARK_PRIME +const MONTGOMERY_R: felt252 = + 3618502788666127798953978732740734578953660990361066340291730267701097005025; // 2**256 % STARK_PRIME const MONTGOMERY_R_INVERSE_MOD_STARK_PRIME: felt252 = 113078212145816603762751633895895194930089271709401121343797004406777446400; diff --git a/src/channel/tests/test_channel.cairo b/src/channel/tests/test_channel.cairo index 16dd8bddf..7bbd60f4f 100644 --- a/src/channel/tests/test_channel.cairo +++ b/src/channel/tests/test_channel.cairo @@ -40,7 +40,10 @@ fn test_read_from_prover() { channel.read_felt_from_prover(0xffffffffffffffffffffffffffffffffffffffff); assert(channel.counter == 0, 'invalid read felt'); - assert(channel.digest == 0xb056692f5fc4f27dedd1fb6269b02c542a415f1d84555708a354ffb25cf97ad5, 'invalid read felt'); + assert( + channel.digest == 0xb056692f5fc4f27dedd1fb6269b02c542a415f1d84555708a354ffb25cf97ad5, + 'invalid read felt' + ); let mut arr = ArrayTrait::::new(); arr.append(2); @@ -49,15 +52,24 @@ fn test_read_from_prover() { channel.read_felts_from_prover(arr.span()); assert(channel.counter == 0, 'invalid read felts'); - assert(channel.digest == 0x135bc3291210bb6248a09cea1a97b0023c5602b18a9e0786aeed16352972504, 'invalid read felts'); + assert( + channel.digest == 0x135bc3291210bb6248a09cea1a97b0023c5602b18a9e0786aeed16352972504, + 'invalid read felts' + ); channel.read_felt_vector_from_prover(arr.span()); assert(channel.counter == 0, 'invalid read felts'); - assert(channel.digest == 0x413b1e08fe14f181acc48007a89e4d044a9edb54523e8eae5829fde606d4074d, 'invalid read felts'); + assert( + channel.digest == 0x413b1e08fe14f181acc48007a89e4d044a9edb54523e8eae5829fde606d4074d, + 'invalid read felts' + ); channel.read_uint64_from_prover(6969); - + assert(channel.counter == 0, 'invalid read uint64'); - assert(channel.digest == 0xeeee1f1910516152d49bea3829151bdd149fcd878fe4e7b52881300c113395ce, 'invalid read uint64'); + assert( + channel.digest == 0xeeee1f1910516152d49bea3829151bdd149fcd878fe4e7b52881300c113395ce, + 'invalid read uint64' + ); }