Skip to content
This repository has been archived by the owner on Mar 25, 2024. It is now read-only.

EcMul precompile implementation #46

Open
wants to merge 8 commits into
base: dev
Choose a base branch
from
Open

EcMul precompile implementation #46

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
f55fb2b
Add EcMul precompile
ilitteri Oct 21, 2023
e29e744
Merge branch 'dev' of github.com:matter-labs/era-system-contracts in…
ilitteri Oct 21, 2023
a8bee66
Fix tabs
ilitteri Oct 21, 2023
a598459
Update EcMul's source code hash
ilitteri Oct 21, 2023
c887141
Update EcMul's bytecode hash
ilitteri Oct 21, 2023
b467f27
Add return in constructor
ilitteri Oct 21, 2023
6dd9207
Update hashes because of b467f27
ilitteri Oct 21, 2023
52a3665
Merge branch 'dev' into ecmul_precompile
ilitteri Nov 12, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions SystemContractsHashes.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -115,8 +115,8 @@
"contractName": "EcMul",
"bytecodePath": "contracts/precompiles/artifacts/EcMul.yul/EcMul.yul.zbin",
"sourceCodePath": "contracts/precompiles/EcMul.yul",
"bytecodeHash": "0x0100013759b40792c2c3d033990e992e5508263c15252eb2d9bfbba571350675",
"sourceCodeHash": "0xdad8be6e926155a362ea05b132ba8b6c634e978a41f79bb6390b870e18049e45"
"bytecodeHash": "0x01000139c33958289a14f9e84c8d6843d1cd998f30faab12671c25b221a3d96b",
"sourceCodeHash": "0x8f4c35e0019c423f27397f8ac8162a664a3aed654726563a8e51e17f6cb1f09b"
},
{
"contractName": "Ecrecover",
Expand Down
16 changes: 7 additions & 9 deletions contracts/precompiles/EcMul.yul
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,9 +4,7 @@ object "EcMul" {
}
object "EcMul_deployed" {
code {
////////////////////////////////////////////////////////////////
// CONSTANTS
////////////////////////////////////////////////////////////////
// CONSTANTS

/// @notice Constant function for value one in Montgomery form.
/// @dev This value was precomputed using Python.
Expand Down Expand Up @@ -54,9 +52,7 @@ object "EcMul" {
ret := 111032442853175714102588374283752698368366046808579839647964533820976443843465
}

// ////////////////////////////////////////////////////////////////
// HELPER FUNCTIONS
// ////////////////////////////////////////////////////////////////
// HELPER FUNCTIONS

/// @dev Executes the `precompileCall` opcode.
function precompileCall(precompileParams, gasToBurn) -> ret {
Expand Down Expand Up @@ -375,9 +371,7 @@ object "EcMul" {
xr := montgomeryAdd(xr, xr)
}

////////////////////////////////////////////////////////////////
// FALLBACK
////////////////////////////////////////////////////////////////
// FALLBACK

// Retrieve the coordinates from the calldata
let x := calldataload(0)
Expand All @@ -389,6 +383,8 @@ object "EcMul" {

if affinePointIsInfinity(x, y) {
// Infinity * scalar = Infinity
mstore(0x00, 0x00)
mstore(0x20, 0x00)
return(0x00, 0x40)
}

Expand All @@ -402,6 +398,8 @@ object "EcMul" {

if eq(scalar, 0) {
// P * 0 = Infinity
mstore(0x00, 0x00)
mstore(0x20, 0x00)
return(0x00, 0x40)
}
if eq(scalar, 1) {
Expand Down
Loading