A R's Avatar

A R

@arro.bsky.social

Dreaming in zk

139 Followers  |  188 Following  |  14 Posts  |  Joined: 13.04.2023
Posts Following

Posts by A R (@arro.bsky.social)

Post image

Mod 6 is out.

Trusted Execution Environments, w/ Andrew Miller

Watch it here: youtu.be/fX3axBmv410

11.11.2025 16:30 β€” πŸ‘ 2    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0

πŸ‘€

04.09.2025 19:33 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

It’s time to reveal the ZK Whiteboard S3 Module 1... because it's LIVE!

πŸ₯πŸ₯πŸ₯πŸ₯

How to Build Hash Functions, with Jean-Philippe (JP) Aumasson @aumasson.jp & @nicomnbl.bsky.social

Watch the full module here: zkhack.dev/whiteboard/s...

03.09.2025 08:08 β€” πŸ‘ 4    πŸ” 3    πŸ’¬ 0    πŸ“Œ 0

I would not be unhappy if I saw one of the big consulting firms that boomed at the end of the last century go under in the next few years.

So many great minds of my gen were gamed and used up by those monoliths… and to what end?

07.08.2025 21:09 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

If you are interested in how local first might mature, definitely check out the episode. Had a blast with @grjte.sh @arro.bsky.social and @nicomnbl.bsky.social on this one.

11.07.2025 07:56 β€” πŸ‘ 8    πŸ” 2    πŸ’¬ 0    πŸ“Œ 0
Preview
Local-First with grjte and Goblin Oats - ZK PODCAST In this episode, Anna Rose and Nico Mohnblatt speak with Goblin Oats from Tonk and grjte from Bain Capital Crypto […]

The ZK Podcast released an episode on local-first software this week!

@arro.bsky.social and @nicomnbl.bsky.social chat w @grjte.sh & @goblinoats.com about the foundations of local-first architecture, CRDTs and how ZK can be incorporated into these models.

zeroknowledge.fm/podcast/367/

10.07.2025 16:49 β€” πŸ‘ 15    πŸ” 5    πŸ’¬ 0    πŸ“Œ 3
Post image

π™πŠ π‡πšπœπ€ 𝐁𝐞𝐫π₯𝐒𝐧 is an in-person hackathon where you can meet the teams working on zk, learn new skills, find collaborators & friends, and hack on zk-tools & zk-DSLs.

πŸ“… June 20 to 22
πŸ“ Berlin πŸ‡©πŸ‡ͺ

Applications are open! Apply to hack with us >>> zkberlin.com

06.06.2025 14:01 β€” πŸ‘ 4    πŸ” 1    πŸ’¬ 0    πŸ“Œ 1

Tag me and ask a zk question πŸ‘€

17.04.2023 22:49 β€” πŸ‘ 1    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0

Wow! End of an era Mike but also a great moment to start smtg new! Looking forward to seeing what you do next !

02.06.2025 07:59 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
ZK13: Ligerito: A Small and Concretely Fast Polynomial Commitment Scheme - Kobi Gurkan
This was recorded at the ZK13 - Zero Knowledge Summit 13 on May 13th, 2025 in Toronto, Canada.https://www.zksummit.com/Title: Ligerito: A Small and Concretel... ZK13: Ligerito: A Small and Concretely Fast Polynomial Commitment Scheme - Kobi Gurkan

And apparently, tensorizable codes allow doing that efficienctly!

Read more in section 6.6: angeris.github.io/papers/lige...

And the video is available here: youtu.be/5vPmHCqJGss...

3/3

28.05.2025 20:34 β€” πŸ‘ 3    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0
Post image Post image Post image

⁉️ Did we mention where π™πŠ π‡πšπœπ€ 𝐁𝐞𝐫π₯𝐒𝐧 (June 20-22) will take place?

We’re thrilled to have the participants hacking at the w3.hub, a historic building constructed in 1905, and a true home of web3 in Berlin!

20.05.2025 09:25 β€” πŸ‘ 2    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0
Post image

Some thoughts about how verifications in Bluesky can be extended to ZK-based methods, to achieve Verifiable Verifications

This builds on ideas from the recent verification protocol, and explores both direct integrations and lightweight ones, with different points in the tradeoff space of trust

1/2

19.05.2025 16:00 β€” πŸ‘ 10    πŸ” 3    πŸ’¬ 1    πŸ“Œ 0

Worldcoin is so disappointing.

01.05.2025 12:56 β€” πŸ‘ 16    πŸ” 3    πŸ’¬ 1    πŸ“Œ 0

πŸ‘€

02.05.2025 05:13 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

I miss having an obsession - a insatiable curiosity. I am sorta on the lookout I think for the hook into the vehicle that prompts the next intellectual leveling up

01.05.2025 10:49 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image

πŸ”” Time for #ZKMeshMini, join us as we unpack the top developments from this past week in the zk-space.

Featuring @seanbowe.com, ZKV, Matteo Frigo and Abhi Shelat of Google, @sasha.place, and Wyatt Benno of Novanet

πŸ§΅πŸ‘‡

04.04.2025 12:46 β€” πŸ‘ 2    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0
Preview
ZK Hack Meetup in Sofia Β· Luma ZK Hack Meetup #10 in Sofia Whether you’re a longstanding member of the ZK Hack community, a cryptography expert or just curious about zero-knowledge…

ZK Hack Meetup, from Lisbon to Denver, Athens to Berlin... It's a vibe 😎

Next stop: Sofia, Bulgaria πŸ‡§πŸ‡¬

Don't miss this chance to meet with programmable cryptography enthusiasts between @zkproof.org & @rwc.iacr.org (Mar 26) – here's the registration link

10.03.2025 10:25 β€” πŸ‘ 4    πŸ” 2    πŸ’¬ 0    πŸ“Œ 0

An AI doctor should live on your phone. Take pics, log symptoms, use built-in sensors for more data. All private, all secured, probably by some combo of TEE & ZK (in the Royal sense). No leaks, no surveillance. If you need to share specifics, do it securely, directly with a human doc.

04.03.2025 10:47 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
ZK Whiteboard Sessions - S2M7: FRI and Proximity Proofs (Part.1) with Dan Boneh
Full ZK Whiteboard Sessions - Season 1 playlist here: https://www.youtube.com/playlist?list=PLj80z0cJm8QErn3akRcqvxUsyXWC81OGqFull ZK Whiteboard Sessions - S... ZK Whiteboard Sessions - S2M7: FRI and Proximity Proofs (Part.1) with Dan Boneh

ZK Whiteboard Sessions - S2M7: FRI and Proximity Proofs (Part.1) with @danboneh.bsky.social
https://youtu.be/MBDBrEr2XQg?feature=shared ☝️

ZK Whiteboard Sessions - S2M8: FRI and Proximity Proofs (Part.2) with @danboneh.bsky.social
https://youtu.be/CWbx_rnj7LI?feature=shared ✌️

02.02.2025 11:01 β€” πŸ‘ 2    πŸ” 2    πŸ’¬ 0    πŸ“Œ 0

My biggest fear is meeting @arro.bsky.social in real life and not knowing because her voice isn’t in 1.75x speed

06.02.2025 15:42 β€” πŸ‘ 1    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0
Post image

The tΜΆiΜΆcΜΆkΜΆeΜΆrΜΆ π’‘π’“π’π’‘π’†π’“π’•π’š is ΜΆEΜΆTΜΆHΜΆ ΜΆ 𝒁𝑲

27.01.2025 11:28 β€” πŸ‘ 2    πŸ” 2    πŸ’¬ 1    πŸ“Œ 0
Post image

πŸ””For the first time on πŸ¦‹ let’s unpack the top zk-developments from this week in #ZKMeshMini!

Featuring #ZKWhiteboardSessions @danboneh.bsky.social #Stanford #FRI #JustinThaler #SrinathSetty #Twist #Shout #powdr #AutoAccCircuits #Bagel #ZKLoRA #FabricCrypto #Skyscraper

πŸ§΅πŸ‘‡

24.01.2025 14:00 β€” πŸ‘ 4    πŸ” 2    πŸ’¬ 1    πŸ“Œ 0

Just learned about a fund called β€œCiv3 Capital”, and I am so impressed and also annoyed that I didn’t think of that for one of my companies (altho I would have gone with Civ4 obvi)

23.11.2024 22:43 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Feels equally true today

20.11.2024 17:57 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 2    πŸ“Œ 0

ZK Hack V starts next week on Nov 26th!

Andrija, @nicomnbl.bsky.social and I have been brewing a few puzzles that would challenge what you know about the security of widely used systems today🀭

Stay tuned 🫑

zkhack.dev/zkhackV/

19.11.2024 20:44 β€” πŸ‘ 8    πŸ” 2    πŸ’¬ 1    πŸ“Œ 1

Heyo!

19.11.2024 20:51 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Here at Bluesky every one seems to constantly talk about Bluesky

28.04.2023 06:02 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 0    πŸ“Œ 1

To fall asleep (and wake up) to the sound of waves is heaven

20.04.2023 05:54 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

It’s that good?

20.04.2023 05:46 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

follow and tag @zkpod.ai with any zk question πŸ‘€

17.04.2023 22:43 β€” πŸ‘ 4    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0