Georg Wiese (@georgwiese) 's Twitter Profile
Georg Wiese

@georgwiese

Software engineer, interested in Machine Learning and Cryptography. @powdr_labs.

Mastodon: @[email protected]

ID: 71517068

calendar_today04-09-2009 11:55:49

61 Tweet

281 Takipçi

178 Takip Edilen

Georg Wiese (@georgwiese) 's Twitter Profile Photo
Georg Wiese
@georgwiese

10 months ago

powdr shipping 🚢

Leo Alt (@leonardoalt) 's Twitter Profile Photo
Leo Alt
@leonardoalt

6 months ago

Great article, very nice to read! Completely agree that precompiles (or custom guest program ISAs) need to be automatically synthesized and formally verified. We already got started on this with powdr autoprecompiles: powdr.org/blog/auto-acc-…

Great article, very nice to read! Completely agree that precompiles (or custom guest program ISAs) need to be automatically synthesized and formally verified. We already got started on this with powdr autoprecompiles: powdr.org/blog/auto-acc-…
Leo Alt (@leonardoalt) 's Twitter Profile Photo
Leo Alt
@leonardoalt

4 months ago

Berlin ZK summer starting with a cracked line-up

Georg Wiese (@georgwiese) 's Twitter Profile Photo
Georg Wiese
@georgwiese

4 months ago

Very excited to help build the fastest WebAssembly zkVM! 🚀

Leo Alt (@leonardoalt) 's Twitter Profile Photo
Leo Alt
@leonardoalt

3 months ago

Team keeps cooking masterfully. Autoprecompiles are now faster than hand-written precompiles.

Leo Alt (@leonardoalt) 's Twitter Profile Photo
Leo Alt
@leonardoalt

3 months ago

On ISAs and Ethereum, just in time for the weekend. Next week's discussions will be fun🌶️ Thanks for the comments axic.eth Chris Georg Wiese Guillaume Ballet Justin Drake !

On ISAs and Ethereum, just in time for the weekend. Next week's discussions will be fun🌶️ Thanks for the comments <a href="/alexberegszaszi/">axic.eth</a> <a href="/ethchris/">Chris</a> <a href="/georgwiese/">Georg Wiese</a> <a href="/gballet/">Guillaume Ballet</a> <a href="/drakefjustin/">Justin Drake</a> !