matteo

4.2K posts

matteo banner
matteo

matteo

@mtteom_

applied cryptography & blockchain; building apps @hyli_org

Katılım Ağustos 2012
1K Takip Edilen1.3K Takipçiler
Sabitlenmiş Tweet
matteo
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 tweet media
English
29
22
192
23.4K
matteo
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
English
0
0
1
34
Patryk
Patryk@patrykadas·
almost working version of distribution markets
English
3
0
10
784
matteo
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 tweet media
English
29
22
192
23.4K
matteo
matteo@mtteom_·
@0xagnish @a16zcrypto @ziglang @zeamETH I think it would probably even be faster probably? My lib is probably really unoptimized! I need to add benchmarks haha It was more fun to rewrite everything of course
English
0
0
1
123
matteo
matteo@mtteom_·
@LauriPelto @a16zcrypto @ziglang it’s a fun side project for now, I’m planning on pushing it perf-wise as much as I can, but I don’t have resources to make an audit and to make it prod ready
English
0
0
1
67
Lauri Peltonen
Lauri Peltonen@LauriPelto·
@mtteom_ @a16zcrypto @ziglang Interesting. If that's the case (not entirely convinced here), then it might make sense. In any case not all zkvms are Rust-based. Is there some ready use case for Zolt, or more of a research project currently?
English
1
0
0
79
matteo
matteo@mtteom_·
@thisvishalsingh @a16zcrypto @ziglang it’s just a side project for now! I agree it’s a big step to stop using the OG libraries lol (That’s why it’s fun to do it as a side project)
English
0
0
2
170
thisvishalsingh | ZippelLabs 🪐
thisvishalsingh | ZippelLabs 🪐@thisvishalsingh·
@mtteom_ @a16zcrypto @ziglang I had a similar mindset initially of "build everything from scratch, everything independent", I was trying to be more different/diverse but it's not that easy, I have to use those formally verified dependencies, libraries. Are there any plans to use it internally?
English
2
0
3
252
matteo
matteo@mtteom_·
@guillaumeclaret @a16zcrypto @ziglang Yea heavily AI based! Not hiding it, LLMs are really good at translating from one language to another, especially in ZK where there’s a verifier to check it the result is right or wrong🫡
English
0
0
7
326
Guillaume Claret 🐻‍❄️
Guillaume Claret 🐻‍❄️@guillaumeclaret·
@mtteom_ @a16zcrypto @ziglang OK, cool to have client and language diversity! I guess AI helped with it, but this is all good. Zig sounds like a nice language that focuses on simpler concepts than Rust, which may result in greater security in the long term, even without borrow checkers.
English
1
0
6
407
matteo
matteo@mtteom_·
@LauriPelto @a16zcrypto @ziglang as much as we need client diversity on Ethereum I'd say, all zkVMs today are using arkworks afaik (maybe not Ligero), this is a big point of failure imo
English
1
0
5
249
matteo
matteo@mtteom_·
@0xAndoroid @a16zcrypto @ziglang that's my goal! for now i know ill be cooked, the big primes examples already show that this implementation is not scaling well at all! it's just the start of the journey!
English
0
0
7
359
matteo
matteo@mtteom_·
@jmininger you need to teach me how to go from 2s to 200ms now
English
1
0
0
36
matteo
matteo@mtteom_·
the next steps for me are: 1. more examples programs, especially bigger ones 2. more work on perf: a lot of cryptographic optimizations are not in Zolt yet, and also pure perf work with Zig 3. add ZK 4. adding a native verifier to Zolt 5. clean the code
English
0
0
11
758
matteo
matteo@mtteom_·
benchmarks are fun and I hope to match Jolt perf one day, but there's a lot to do to be close🫡 I'm glad there's some great articles on how they improve Jolt perf tho 😄
English
1
0
12
871

Keşfet

@hackerdocc @patrykadas @0xagnish @thisvishalsingh @a16zcrypto @ziglang @tcoratger @leanEthereum