applied cryptography & blockchain; building apps @hyli_org
Joined August 2012
- Tweets 4,224
- Following 1,055
- Followers 1,293
- Likes 6,475
246 Photos and videos
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:
29
21
194
25,502
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 )
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:
5
4
21
1,459
Check it out here: github.com/MatteoMer/zolt
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.
5
768
if you are into zkVM, move to grand boulevards
Mar 9
the highest concentration of zkVM is located between metro bourse and grand boulevards in paris
1
16
1,098
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:
29
21
194
25,502
passkeys are already terrible UX for humans, why would agents need passkeys
π€ we need passkeys for agents
π« some way the agent can prove it is them to make a crypto signature
π but also the agent has no way to extract the private key
π and maybe even some safety rails
3
2
186
