Circom-ecdsa optimizations - General - zk research
ECC Operations Optimizations in R1CS This note was originally written in collaboration with Wen-Ding Li in March 2022 Our goal is to build groth16 circuits that can verify claims involving ECDSA algorithms. To do this, we want to implement R1CS circuits for elliptic curve operations (particularly on secp256k1) with a small number of constraints. Suppose the scalar field of the curve y^2 = x^3 + b is F_q where q has 256 bits and the baby Jubjub prime is p which is slightly less 254-bit. Ch...
Circom-ecdsa optimizations - General - zk research Circom-ecdsa optimizations General gubsheep October 5, 2022, 6:37am #1 ECC Operations Optimizations in R1CS This note was originally written in collaboration with Wen-Ding Li in March 2022 Our goal is to build groth16 circuits that can verify claims involving ECDSA algorithms. To do this, we want to implement R1CS circuits for elliptic curve operations (particularly on secp256k1) with a small number of constraints. Suppose the scalar field of the curve y^2 = x^3 + b is F_q where q has 256 bits and the baby Jubjub prime is p which is slightly l
Explore this link on the map →related reading
- Binius: highly efficient proofs over binary fieldsvitalik.eth.limo
- A High-Level Technical Overview of Fully Homomorphic Encryption || Math ∩ Programmingjeremykun.com
- Elliptic Curve in Bitcoin - Estudio Bitcoinestudiobitcoin.com
- ZK-Friendly Hash Functions | Zellic — Researchzellic.io
- 17 misconceptions about SNARKs - a16z cryptoa16zcrypto.com
- What's new | Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Taoterrytao.wordpress.com
- Math & Engineeringxn--2-umb.com
- Background in ZK - Circom 2 Documentationdocs.circom.io
- Honey I SNARKED the GPT - EZKL Blogblog.ezkl.xyz
- Shtetl-Optimized >> Blog Archive >> Quantum computing bombshells that are not April Foolsscottaaronson.blog
- thesis.pdfaayushg.com
- Arithmetic Circuits for ZK | RareSkillsrareskills.io