Hey cryptography Twitter!
If you'd like to:
- learn zk theory from scratch
- get practice implementing major zk algorithms
- engage with a cryptography community
check out this Discord, we meet Wednesdays and Fridays at 1530 UTC to do exactly that!
Hello cryptography-world! I'm about to do some blatant self advertisement!
Dr. Justin Thaler and I have been working hard to make ZK theory accessible in our study group.
We've applied for a zk-ecosystem @gitcoin grant!
gitcoin.co/grants/6020/th…
Starkware open sourced their prover in C++ and I'm feeling antisocial
might fuck around and spend the next couple days migrating their modules to Rust
who's in
Day one of re-implementing Starkware's stone-prover in Rust.
Took a stab at the modules in starkware/air; most high-level modules are finished, though I've yet to tackle implementing `components` or `cpu`, which will be some of the larger hurdles.
Some lessons:
Starkware open sourced their prover in C++ and I'm feeling antisocial
might fuck around and spend the next couple days migrating their modules to Rust
who's in
Random guy being polite:
> Great to connect
years of training for this moment, don't be autistic, don't be autistic
Goblin brain:
> this remains to be seen