@alexhevans.bsky.social
📤 109
📥 122
📝 10
reposted by
Bluesky
5 days ago
In 2025, as Bluesky grew from 25M to 42M users, we took actions to keep it welcoming, using proactive design to reduce toxic content by 79%. Our 2025 Transparency Report shares how we're building a safer platform while keeping a transparent and human-centered approach:
bsky.social/about/blog/0...
loading . . .
2025 Transparency Report Overview - Bluesky
In 2025, as Bluesky grew from 25 million to 41 million users, we improved the trust and safety infrastructure to better enable our mission. Here's what that looks like in plain language.
https://bsky.social/about/blog/01-29-2026-transparency-report-overview
429
7498
1005
reposted by
grjte
about 1 month ago
🧵 Could Bitchat have 5x the range and 100x the throughput for the same power expenditure? I explored how Wi-Fi Aware could improve the reliability and throughput of Bitchat and mobile ad-hoc networks in the absence of internet connectivity.
#bitchat
👇
1
42
14
reposted by
ZK Hack
3 months ago
Module 5 is live! We’re diving into The Ligero Proof System with @mvenkita and @GuilleAngeris Thanks to @BainCapCrypto for the support. Full access to all module resources
zkhack.dev/whiteboard/s...
0
2
1
reposted by
François Garillot
3 months ago
One thing to recall from
@hdevalence.bsky.social
's work:
@lmao.bsky.social
,
@pinged.bsky.social
&
@alexhevans.bsky.social
showed that just encrypting a continuously updated CFMM (e.g. via FHE) fails to provide real privacy, since the very structure of a live, convex invariant leaks information.
1
4
1
reposted by
guille
7 months ago
🫡
add a skeleton here at some point
0
2
1
reposted by
ePrint Updates
9 months ago
The Accidental Computer: Polynomial Commitments from Data Availability (
Alex Evans
,
Guillermo Angeris
)
ia.cr/2025/918
0
2
2
reposted by
Kobi Gurkan
9 months ago
Very informal experimentation with combining two worlds I like ☺️
www.notion.so/Verifiable-...
2/2
loading . . .
Verifiable Verifications | Notion
Bluesky recently introduced a new form of verification. It’s a social version of the familiar notion of a blue check, in a way that is architecturally aligned with Bluesky and its underlying protocol ATProto. This allows notable accounts and accounts that are related to trusted organizations to be verified as authentic.
https://www.notion.so/Verifiable-Verifications-1f72d692802180a08865d908c5daf3dc
0
4
1
reposted by
Kobi Gurkan
9 months ago
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
1
10
3
reposted by
grjte
9 months ago
🧵 The AT Protocol shows the power of a personal data store. All of our public atproto data is easy to find and access. We can interact with it flexibly in myriad ways and combinations. Wouldn't it be nice to do the same for our private and collaborative data? 👇
1
13
3
reposted by
Boris
9 months ago
The last of
@grjte.sh
’s Groundmist experiments, combining
#localfirst
with ATProto Private, local first sync that is user centric using Lexicons, rather than app-specific sync.
add a skeleton here at some point
0
14
3
reposted by
Kobi Gurkan
9 months ago
ZK provers on mobile? some thoughts on what needs to change to uphold the security guarantees we work so hard to get tl;dr - the deployment supply chain, at least, should be better
www.kobi.one/The-Lies-Our...
loading . . .
The Lies Our Provers Tell Us | Notion
2025-05-14
https://www.kobi.one/The-Lies-Our-Provers-Tell-Us-1f32d692802180358ae6c14fd9d09127
0
4
1
reposted by
grjte
10 months ago
🧵 The AT Protocol (atproto), which underlies Bluesky, lets us to interface with the same data in as many ways as we can conceive of through AppViews that each provide a different "view" of the network. Can we make our local-first software as interoperable as the AT Protocol? 👇
1
29
12
reposted by
Boris
10 months ago
Second in the
#groundmist
series -
#localfirst
+ ATProto I’m actively using the local first essay editor (using
@inkandswitch.com
Automerge + tiny essay editor) - I can login with my ATProto account and work on private drafts and then publish to
@whtwnd.com
.
add a skeleton here at some point
1
22
5
reposted by
grjte
10 months ago
🧵 I've been experimenting with combining local-first software and the AT Protocol (atproto) to play with the design space of apps that live at both ends of the privacy spectrum - maximally private AND maximally public, without some of the downsides of the modern web. Why? 👇
1
67
19
reposted by
Kobi Gurkan
10 months ago
When Andrija and
@lmao.bsky.social
told me they're writing an extremely fast cryptography library in Julia I didn't know what to think... And then they showed me the following cool stuff:
baincapitalcrypto.com/releasing-c...
1/4
loading . . .
CryptoUtilities.jl: A Small Julia Library for Succinct Proofs
We’re excited to open-source CryptoUtilities.jl, a collection of Julia packages built to prototype and benchmark succinct proof systems over binary fields, along with a simple walkthrough for how to…
https://baincapitalcrypto.com/releasing-cryptoutilities-jl-a-small-julia-library-for-succinct-proofs/
2
9
5
reposted by
daniel 🫠
10 months ago
friendly reminder that building on atproto gives you immediate access to >30 million users, an existing social graph, and a huge network of open data & content it's increasingly becoming a no-brainer to build new social apps on atproto congrats to the skylight team on the launch 🙌
add a skeleton here at some point
19
683
96
reposted by
guille
12 months ago
anon, what if you could train your own personal offline model, on your phone, suited to your tastes, filtering posts with ~ bad vibes ~ and letting good ones through? well, have i got the thing for you
3
24
7
reposted by
Devin Gaffney
12 months ago
15 weeks ago I sat down and wrote up some ideas about how custom feeds could become a high-leverage mechanism for fundamentally changing the economics of the attention economy. Today was my last day at my day job- I’m now full time
@graze.social
! Incredibly excited to give this all I got!
6
174
15
reposted by
ZK Hack
12 months ago
This week's ZK Podcast episode was on ZODA & The Accidental Computer from
@baincapitalcrypto.com
research team, with the trio
@alexhevans.bsky.social
@guilleangeris.bsky.social
@nicomnbl.bsky.social
chatting with
@arro.bsky.social
about these innovations. Ep:
https://zeroknowledge.fm/podcast/349/
loading . . .
ZODA and The Accidental Computer
This week Anna catches up with Nico, Guillermo and Alex from Bain Capital Crypto to discuss two of their recent works; ZODA: Zero-Overhead Data Availability by the trio and The Accidental Computer by…
https://zeroknowledge.fm/podcast/349/
1
7
4
reposted by
ZK Hack
about 1 year ago
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
✌️
loading . . .
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...
https://youtu.be/MBDBrEr2XQg?feature=shared
0
2
2
reposted by
guille
about 1 year ago
it's funny, for a long time, i always assumed that computation was this very sacred, brittle, difficult thing: so many things need to work "exactly" right to get an output but i’ve realized that it’s actually much *harder* to make a thing that doesn't accidentally enable ~ arbitrary computation!
1
5
2
reposted by
Nico
about 1 year ago
These two lectures by
@danboneh.bsky.social
for
@zkhack.bsky.social
are the best explanation of IOPPs, FRI and its variants by a country mile. Cannot recommend them enough
zkhack.dev/whiteboard/s...
zkhack.dev/whiteboard/s...
0
11
7
reposted by
ZK Hack
about 1 year ago
ZK Whiteboard Sessions - S2M2: The Sum-Check Protocol with Justin Thaler
https://youtu.be/gfy8rotcas4?feature=shared
loading . . .
ZK Whiteboard Sessions - S2M2: The Sum-Check Protocol with Justin Thaler
Full ZK Whiteboard Sessions - Season 1 playlist here: https://www.youtube.com/playlist?list=PLj80z0cJm8QErn3akRcqvxUsyXWC81OGqFull ZK Whiteboard Sessions - S...
https://youtu.be/gfy8rotcas4?feature=shared
1
3
1
reposted by
Nico
about 1 year ago
programmable* cryptography * programming difficulty may vary, developer discretion is advised.
0
3
1
reposted by
ePrint Updates
about 1 year ago
How to Prove False Statements: Practical Attacks on Fiat-Shamir (Dmitry Khovratovich, Ron D. Rothblum, Lev Soukhanov)
ia.cr/2025/118
0
38
23
reposted by
ZK Hack
about 1 year ago
ZK Whiteboard Sessions - S2M1: What is Zero Knowledge (like, actually)? with David Wong
https://youtu.be/ksTTyt0GTvQ?feature=shared
loading . . .
ZK Whiteboard Sessions - S2M1: What is Zero Knowledge (like, actually)? with David Wong
Full ZK Whiteboard Sessions - Season 1 playlist here: https://www.youtube.com/playlist?list=PLj80z0cJm8QErn3akRcqvxUsyXWC81OGqFull ZK Whiteboard Sessions - S...
https://youtu.be/ksTTyt0GTvQ?feature=shared
0
3
1
reposted by
Nico
about 1 year ago
oh hello
@zkhack.bsky.social
👀👀
2
3
1
reposted by
Bain Capital Ventures
about 1 year ago
Welcome Mark Fiorentino to BCV! As Matt Harris writes, Mark is constantly learning w/ a career+life trajectory powered by changes, pivots & the quest for new experiences (ask him about being a Sommelier or upcoming CrossFit competitions).
baincapitalventures.com/insight/mark...
#fintech
#SaaS
#AI
0
5
2
reposted by
guille
about 1 year ago
ZODA w/
@alexhevans.bsky.social
and
@nicomnbl.bsky.social
: now up on eprint! (with a few updates and smol changes to the appendix)
2
7
2
reposted by
Parth Chopra
about 1 year ago
Cool checking out
@graze.social
-- ability to generate, share, (one day monetize?) your own type of feed. I wonder when we'll have dynamic, prompted LLM-style feeds. Aka say "make me smarter, show me things that are funnier" and the feed will be curated as such
0
2
3
reposted by
daniel 🫠
about 1 year ago
this is a great writeup on the differences between atproto & activity pub it also highlights the most meaningful ways to make bluesky more resilient
add a skeleton here at some point
6
121
31
Maybe the most interesting DeFi research in recent years
add a skeleton here at some point
about 1 year ago
0
5
2
reposted by
Tarun Chitra
about 1 year ago
Everyone on the X is too distracted with immigration, so I’m giving a sneak peek of some research here Decentralized Perpetuals have long been the dream but they’ve been too capital inefficient Many advances pushed DEX-CEX market share to >6% — but how are how are they related? We answer this!
3
12
7
reposted by
Nico
about 1 year ago
if someone tells you “succinct proofs are too short to leak information about the witness”, please send them this. The ZK property is not just a cool acronym.
baincapitalcrypto.com/chosen-insta...
This was also the theme of the "Zeitgeist" puzzle at ZK Hack 5!
0
7
4
ZODA Joint work with
@nicomnbl.bsky.social
and
@lmao.bsky.social
(with help from our friends Nash, Sanaz, and John at
@celestiaorg.bsky.social
) A minor tweak to the encoding procedure makes data squares like Celestia's provably correct Paper:
bit.ly/zoda2
Blog:
bit.ly/zoda1
loading . . .
ZODA: Zero-Overhead Data Availability
We introduce ZODA, short for ‘zero-overhead data availability,’ which is a protocol for proving that symbols received from an encoding (for tensor codes) were correctly constructed.
http://Bit.ly/zoda2
about 1 year ago
1
23
9
🎙 Started streaming on
#Bluecast
!
https://www.bluecast.app/user/@alexhevans.bsky.social?t=listen
about 1 year ago
0
0
0
you reached the end!!
feeds!
log in