How do I ScalarMul outside a circuit? #1290
-
There's a series of computations involving EC math which we need to do both inside and outside the circuit, namely ScalarMul, assertIsOnCurve, Inverse and couple of other things needed to prove an OPRF execution for BN254 curve |
Beta Was this translation helpful? Give feedback.
Replies: 1 comment
-
For out-circuit computation there are corresponding methods in the I'd recommend looking at the scalar multiplication examples how the computations are performed: https://pkg.go.dev/github.com/consensys/gnark@v0.11.0/std/algebra/emulated/sw_emulated#example-Curve |
Beta Was this translation helpful? Give feedback.
For out-circuit computation there are corresponding methods in the
github.com/consensys/gnark-crypto
package.I'd recommend looking at the scalar multiplication examples how the computations are performed: https://pkg.go.dev/github.com/consensys/gnark@v0.11.0/std/algebra/emulated/sw_emulated#example-Curve