Cryptographic Primitives

We have built ZK-provers for multiple cryptogprahic primities -

BLS12-381 in Starky

https://github.com/Electron-Labs/starky_bls12_381

This work is funded by Ethereum Foundation grant

ED25519

Starky - https://github.com/Electron-Labs/ed25519_starky

Plonky2 - https://github.com/Electron-Labs/plonky2_ed25519

Circom - https://github.com/Electron-Labs/ed25519-circom

This work is funded by NEAR Foundation grant

Groth16 reduction of plonky2 proof

https://github.com/Electron-Labs/plonky2-groth16-verifier