Lita Dev

dev @0xLita @lita_xyz. building zero knowledge with zero knowledge

[Lita @0xLita]

Nim + NVRTC = 5.3x Faster Than ICICLE for GPU-Accelerated Poseidon2 Merkle Trees

A Deep Dive: 

https://t.co/q9b3cTkT8F

[Lita @0xLita]

Re: @VitalikButerin’s proposal

Why we think Custom ISA > RISC-V for Ethereum’s future.

https://t.co/ujXUV6TdW6

[Lita @0xLita]

Introducing the Lita Layer 4: An Interplanetary-Scale Super World Computer.

[Lita @0xLita]

Introducing Lita Studios 🧵

[Lita Dev @valida_vm]

kudos to Carlo @carlo_cretino50!! ՞⸝⸝ᵒ̴̶̷ 𓈞 ᵒ̴̶̷⸝⸝՞

[Lita @0xLita]

Introducing the Keccak Acceleration Chip

Accelerating block proving with Valida zkVM.

[Lita @0xLita]

Try it now:
https://t.co/eBpTFiSirL

[Lita @0xLita]

Valida 0.7.0

Initial WASM Support + DevX Improvements for Valida

Key Highlights:

(1) Proof of Concept: WASM Examples
• We can compile WASM programs which compute functions from a single integer to a single integer.
• More comprehensive WASM support is in progress.

(2) ARM Docker image
• Improved compile times and proving times on ARM64-based platforms, such as some Apple computers made since 2020.

(3) Rust stdio: read input

(4) Floating Point Emulation (Including Tests)

[Ventali @Ventali]

Valida playground is updated to v0.6.0!
⁦@0xLita⁩ ^•^

[Lita Dev @valida_vm]

We’re building Valida — a mindful and demure zkVM

[Lita @0xLita]

We’re building Valida — a mindful and demure zkVM

[Lita Dev @valida_vm]

Our crypto team will be in DevCon! Meet @thesecretdore @idocryptography @m_ratsim @ventali at our hacker house or one of the events we're hosting!

[Lita @0xLita]

Meet and build with us at DevCon!

Join our hackerhouse, workshops, and gatherings. Register now ⬇️

[Lita @0xLita]

Valida basic machine keccak benchmark

coming soon 🔜

[Lita Dev @valida_vm]

great work team @0xLita! great work Logan! please give us feedback :d

[Lita @0xLita]

Try Valida Playground v1.0

https://t.co/xuYtK59jL1

[Lita Dev @valida_vm]

@ventali !!!

[Lita Dev @valida_vm]

Hard work pays off

[Ventali @Ventali]

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

[Mamy Ratsimbazafy 🦇🔊 @m_ratsim]

Today marks 1 month since I joined @lita_xyz. After working on @taikoxyz transition from zkEVM to zkVMs, I've been wanting to hack directly on them and make them a realistic option for u̶l̶t̶r̶a̶s̶o̶u̶n̶d̶ real-time EVM proof generation.

[Lita Engineering @lita_xyz]

We recently discussed our Valida zkVM stack at an online session hosted by @0xPolygon.

Here’s a summary of the design choices we’ve made for Valida 👇🧵

[Lita Dev @valida_vm]

Building the future of ZKPs at Lita means tackling the hard problems head-on. We developed a custom ISA and built a compiler infrastructure from scratch because we believe it’s the best way to power real-world ZK applications with the speed and efficiency they demand.

[Lita Engineering @lita_xyz]

1/ Lita ≠ Valida

Even though Valida is the heart of our system, it doesn't do everything alone.

Lita is more than Valida.

Let's break it down. ↓

[Lita Dev @valida_vm]

Come hack with us!!! @libertyhouse__

[Lita Engineering @lita_xyz]

Lita x @libertyhouse__ 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: https://t.co/2Xpq5JdqVs

[Lita Engineering @lita_xyz]

1/ Power Any Application with Lita.

Zero Knowledge, Infinite Possibilities. Build secure, scalable #zk apps & primitives — from rollups to onchain games to social apps — with our truly zk-optimized zkVM stack.

[Lita Engineering @lita_xyz]

TaSSLE: Extending LASSO

We’re excited to present: TaSSLE (Tensors and Sumcheck for Structured Lookup Efficiency), a new variant of LASSO, designed for faster and more efficient #zkp

By @thesecretdore

[1/]