fractalyze Intern

this would be cool if researchers don't have to deal with ASM or Rust, just do casual vibe-coding with python. 🤙🤙

5/ We are building this compiler. We are bringing the XLA to ZK. github.com/fractalyze

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.

1/ ZK engineering needs another major leg-up. zkVMs are not enough.

(8/ 8) For more details, check out the full write-up: @S5vZLDITRlKuT1q--dmSMQ/SkqhHHZxbl" target="_blank" rel="nofollow noopener">hackmd.io/@S5vZLDITRlKuT… Repos: - github.com/fractalyze/zkx - github.com/fractalyze/zkir If you’re hacking on ZK compilers/provers and want to play with this, my DMs are open. 💬

(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. 🚀🔥

(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

Hello World!