
Omer Shlomovits
@omershlomovits
CEO @Ingo_zk; Leeroy Jenkins
ID: 959884614172073984
http://www.omershlomovits.com 03-02-2018 20:21:40
1,1K Tweet
2,2K Takipçi
690 Takip Edilen







Benchmarks for ICICLE’s CPU and CUDA backends are now available on zka.lc Thank you Michele Orrù !


My collegue Emir Soytürk implemented today Groth16 verification with ICICLE (CPU). Thanks to fast pairings we get: ICICLE: 2.78ms rapidsnark: 3.51ms snarkjs: 250.38ms code: github.com/ingonyama-zk/i… dev docs: dev.ingonyama.com:


Personal Update (🧵) 1/ I’m starting up again. All in. I am a co-founder of @GnomicaBiotherapy. We will develop novel drugs for treating cancer by targeting bacterial functions in our body. We believe we’re going to change the world. My co-founders are Prof. Ravid Straussman from

1/ Earlier this year, Yuval Domb discovered Logjumps — a more efficient way to do large-prime field multiplication than Montgomery multiplication. So much modern crypto relies on modular multiplication — all the way from TLS sessions to elliptic-curve based ZK proofs.





👉 alinush.github.io/spartan I started looking into Spartan after delving into Jens Groth's highly-efficient Groth16 (x.com/alinush407/sta…) and wondering: "What would happen if we took R1CS satisfiability and threw sumchecks at it?" Spartan is one answer to this question.




My latest paper on optimizing the sum-check protocol is out! eprint.iacr.org/2025/1117 Joint work with Justin Thaler and Ingonyama (Suyash & Yuval). This combines and extends results from two prior papers, leading to 2-3x speedups in Spartan within Jolt! Quick thread...🧵 1/

