Who is the most productive Haskell engineer you know? We have the perfect opening at Scarf. Fully remote, tiny team, high traffic, making tangible progress in the mission of open source sustainability -- with Haskell. RTs greatly appreciated! about.scarf.sh/careers/softwa…

I'm giving a talk at Birmingham this Friday, about David Turner, Richard Bird, the Sieve of Eratosthenes, and Total Functional Programming. It's at 11:00 UTC, also livestreamed on Zoom, open to all: researchseminars.org/seminar/Theory…

🗣️HackerHouse Announcement 🗣️ We're joining forces with @teamf16y to bring you the Frontiers of d/acc zkHackerHouse, happening @EthDenver from 2/25-3/1! 🏠💻 bit.ly/frontiers-of-d…

Lita Lita Engineering will be at the ZK Summit & ZK Accelerate🧵 Excited to connect with leading minds in Zero Knowledge technology in Athens, Greece!

1/ A Zero Knowledge Paradigm: Pt 1 - Intro to zkVMs At Lita, we believe zero knowledge cryptography is a powerful, universally adoptable tool for scaling and securing any software Put simply, ZK is the bridge to mass adoption of trustless systems

ZK is a public good that should belong to everyone. Matter Labs, the corporate entity behind ZKsync, has filed trademark applications in nine countries, claiming ZK as its exclusive intellectual property, even though they neither created nor contributed to the creation of this

Valida Alpha Release has arrived. With the alpha release of our C Compiler and LLVM compiler backend, devs can now compile, run, and test C programs on #valida - our brazenly fast and performant zkVM. [1/]

I know $12 USD is a lot of money for some people, so to celebrate 1000+ sales (!!!!), I'm giving away 1000 PDF copies of How Git Works (honour system: only if $12 is a lot for you!) Here's the link, enter code BUYONEGIVEONE at checkout to get a free copy wizardzines.com/zines/git/

Check out this article where we explained some of our zkVM design choices. What do you think?

1/ Big debate in zkVM design: Custom vs general-purpose ISA? General ISAs are versatile, hardware-friendly, but NOT designed for zkVM's specific needs. Short 🧵 + Link to full article 👇

Elon has made it so basically everything you'd done on Twitter, including your DMs, will be used to train their AI called "Grok". It's turned on by default. Click this link and uncheck that box to turn it off x.com/settings/grok_…

Lita x Liberty House invites you to the SBC Cryptography IDEAHOUSE. Co-working and workshop space where you can collaborate with SBC speakers, cryptographers, and founders. Join us at📍NYC 🗓️ Aug 5-12 Limited spots. More info + RSVP now: lu.ma/f4il3mq0

We recently discussed our Valida zkVM stack at an online session hosted by Polygon. Here’s a summary of the design choices we’ve made for Valida 👇🧵

Valida team Lita Engineering is looking for one top crypto engineer. Based in SF. Needs to be actively working on SNARK optimizations and have deep theory background and engineering experience working with proving system. DM me your CV + code samples if interested.

If you’re interested in getting started in cryptography, check out the crypto 101 course by Dr. Alfred Menezes from UWaterloo. cryptography101.ca He’s planning on publishing the lectures from his Applied Cryptography course, which was my introduction to the field.

our crypto team will be talking about optimal zkVM design on Oct 15, from prover design, VM design, compiler design to VM-hardware co-design! are you pumped???

We just launched the alpha version of Rust support in Valida! The fastest zkVM coming to Rust, soon

Did you hear about the recent paper about forging ZK proofs? Confused about why it matters / how bad the situation is? 🧵 TLDR: There was a recent result of practical attacks on certain SNARK proving schemes. This highlighted an important general theoretical concern, which

After over 6 years of being a compiler dev, I've decided to take a break. It's been about a month and I'm loving it. I'm so inspired and feel like I've gone back to the early "the always learning Marty" days. Stay tuned for what I'll build!

Fading out audio is one of the most CPU-intensive tasks you can possibly do! Values that get close (but not quite) zero, hit an underflow gap known as "Subnormal" range. It’s a mathematical conundrum so tricky, both x86 and ARM made special CPU instructions just to handle it!