matteo

applied cryptography & blockchain; building apps @hyli_org

[matteo @mtteom_]

Introducing Zolt: the first pure-Zig zkVM

Fully compatible with @a16zcrypto's Jolt, the entire cryptography is made from scratch in @ziglang , only using the stdlib!
No arkworks FFI or other dependencies 🫡

The first benchmarks:

[matteo @mtteom_]

@joakimhi @megaeth @NamikMuduroglu @ImperiumPaper congrats Jommi!

[matteo @mtteom_]

@denizb471 @YCombinator congrats !

[matteo @mtteom_]

@hackerdocc it's existing work of art for all of them and then i cleaned (removing background, making it grayscale) using photopea and gpt image gen and then used a script that translate it into this svg dotwork

[matteo @mtteom_]

my new personal website is live!

come sign it and send me a screenshot

[matteo @mtteom_]

@hackerdocc zillions

[matteo @mtteom_]

link: https://t.co/BiSN21tpvO

[matteo @mtteom_]

it's finally happening

[matteo @mtteom_]

it might be the time for me to redesign my website from scratch

[matteo @mtteom_]

@0xAndoroid @eth_proofs I'm going to go on a sidequest on trying to replace arkworks by my own zig crypto lib in Jolt, will keep you updated :D

[matteo @mtteom_]

A month later, Zolt v0.1.0 is here!

- Code is good enough to make an official release
- Faster than Jolt on the @eth_proofs' SHA256 benchmarks 😱
- Huge refactoring effort
- Really fun to work on!
- Still a lot of work to do to match Jolt with bigger programs (2^28+)

[matteo @mtteom_]

Introducing Zolt: the first pure-Zig zkVM

Fully compatible with @a16zcrypto's Jolt, the entire cryptography is made from scratch in @ziglang , only using the stdlib!
No arkworks FFI or other dependencies 🫡

The first benchmarks:

[matteo @mtteom_]

@QuangVDao @eth_proofs tho I'm not a Jolt expert :(

[matteo @mtteom_]

@QuangVDao @eth_proofs let me check! I thought I did not

[matteo @mtteom_]

Check it out here: https://t.co/3aNkXPOrQ7

This version include two new packages `zolt-arith` (for the field operations) and `zolt-pool` (my rayon equivalent), that you can use in your own @ziglang projects.

[matteo @mtteom_]

@xyz_pierre congrats!

[matteo @mtteom_]

@realbarnakiss really cool!

[matteo @mtteom_]

@jaosef @aztecnetwork @Zac_Aztec @arnaudschenk @aztecFND congrats!

[matteo @mtteom_]

claude is french

[Claude @claudeai]

A small thank you to everyone using Claude: We’re doubling usage outside our peak hours for the next two weeks.

[matteo @mtteom_]

@hackerdocc the only solution would be to create a slack channel with only me and the bot and farm karma to 100k just to prove its useless

[matteo @mtteom_]

@patrykadas really cool!

[matteo @mtteom_]

@0xagnish @thisvishalsingh @a16zcrypto @ziglang @tcoratger @leanEthereum I'd be happy to contribute if needed! that would be really cool

[matteo @mtteom_]

Introducing Zolt: the first pure-Zig zkVM

Fully compatible with @a16zcrypto's Jolt, the entire cryptography is made from scratch in @ziglang , only using the stdlib!
No arkworks FFI or other dependencies 🫡

The first benchmarks:

[matteo @mtteom_]

@Vladfdp @eniwhere_ @ClementWalter (different ones!)

[matteo @mtteom_]

if you are into zkVM, move to grand boulevards

[eni 🍞 @eniwhere_]

the highest concentration of zkVM is located between metro bourse and grand boulevards in paris

[matteo @mtteom_]

@Vladfdp its a joke because both @eniwhere_ @ClementWalter and I released a zkVM from there