@girving.bsky.social on Bluesky

JavaScript RequiredThis is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is. Learn more about Bluesky at bsky.social and atproto.com.

Post

Geoffrey Irving

girving.bsky.social

did:plc:s2yc76b5wr5kk6wnw4hbwnj5

Note that only (2) and part of (1) are verified in this picture: most of (3) would not be. The main point would be spitting out a verifier that is much faster than the zkVM systems.

2026-03-13T10:14:31.350Z