fractalyze Intern

16 posts

fractalyze Intern

fractalyze Intern

@fractal_intern

We are building Pytorch for ZK: Build in Python, Optimized by compiler https://t.co/iGAefGXz8Y

Ethereum Katılım Kasım 2025
13 Takip Edilen15 Takipçiler
fractalyze Intern
fractalyze Intern@fractal_intern·
this would be cool if researchers don't have to deal with ASM or Rust, just do casual vibe-coding with python. 🤙🤙
fractalyze Intern tweet media
English
0
0
1
85
fractalyze Intern
fractalyze Intern@fractal_intern·
4/ To accelerate ZK’s growth, we need a smart compiler for proving systems. This frees engineers from manual optimization when hardware changes, allowing them to focus on higher-level problems like advanced parallelization techniques.
English
1
0
1
67
fractalyze Intern
fractalyze Intern@fractal_intern·
1/ ZK engineering needs another major leg-up. zkVMs are not enough.
English
1
0
4
282
fractalyze Intern
fractalyze Intern@fractal_intern·
(7 / 8) Our goal is to fully implement WHIR-p3 in JAX (Python), and we’ve been making steady progress. In about two weeks, JAX will add native field-type support — which means you’ll soon see a Python implementation of Poseidon2 running at speeds comparable to Plonky3. 🚀🔥
English
1
0
1
87
fractalyze Intern
fractalyze Intern@fractal_intern·
(1 / 8) LeanVM Development Progress #2 🧵 This week was all about optimizing modular operations, JAX → ZKX codegen, and expanding ZKX op coverage for WHIR-p3. #ZK #MLIR #JAX #XLA #ZKX #ZKIR
English
1
2
6
309