porter (∎, ∆) Profile Banner
porter (∎, ∆) Profile
porter (∎, ∆)

@portport255

8,574
Followers
7,200
Following
243
Media
5,040
Statuses

I like math @zksync

Seattle, WA
Joined September 2014
Don't wanna be here? Send us removal request.
@portport255
porter (∎, ∆)
2 years
Announcement: I will teach you Zero Knowledge Proofs. Eight Zoom classes over the next 4 weeks. 100% free (I'm doing this for fun in my free time). Reply or dm if interested.
2K
361
4K
@portport255
porter (∎, ∆)
5 months
@GothamChess "This is completely insane!" I say as I get attacked by two rooks (the cops). My favorite streamer had just reached 1700 elo and I decided to celebrate by running it down mid (the US Capitol Building). Now I'm hardstuck in jail for life, but at least I have time to watch tyler1!
9
24
2K
@portport255
porter (∎, ∆)
2 years
One month ago, @armaniferrante challenged me to become a Solana dev in one month. I don't know why I was worried. There are actually so many good resources. Here are my favorites 👇
Tweet media one
70
224
1K
@portport255
porter (∎, ∆)
1 year
Starting today: I'll be working @the_matter_labs helping build @zksync !
105
14
450
@portport255
porter (∎, ∆)
2 years
Actually I don't want to limit anyone from learning. Making a discord. We'll figure the rest out as we go
74
3
394
@portport255
porter (∎, ∆)
1 year
Fun fact I learned yesterday: if you carry this book around, Vitalik will appear and start asking you questions
Tweet media one
11
17
324
@portport255
porter (∎, ∆)
1 year
Someone who took my ZK class just got funding for their own ZK project. My reaction: 1) This is amazing and I'm so happy for this person 2) If I can make a difference like this, maybe I should spend more time teaching people ZK 😂
25
22
321
@portport255
porter (∎, ∆)
1 year
My favorite ZK books: 1. The MoonMath Manual by @LeastAuthority 2. Proofs, Args, and ZK by @SuccinctJT 3. The Halo2 book by @zcash
9
63
302
@portport255
porter (∎, ∆)
9 months
I won 1st place on @ola_zkzkvm at @__zkhack__ 🥳
Tweet media one
28
8
280
@portport255
porter (∎, ∆)
7 months
zkSync's Boojum Prover walkthrough
6
42
219
@portport255
porter (∎, ∆)
2 years
Last ZK class will be on Thursday. Free NFTs will be given out to everyone who attends. Here are some of the lessons I've learned from this experience: (1/4)
18
23
237
@portport255
porter (∎, ∆)
8 months
Look what will happen if we increase the batch size @zksync 👀
@0xtaetaehoho
taetaehoho
8 months
7/ c. Most importantly! We don't take into account bytes/tx amortization as batch sizes grow and transaction compression mechanisms are implemented! As you can see this has a HUGE effect on bytes per tx on BOTH TDRs and SDRs.
Tweet media one
1
4
20
26
37
197
@portport255
porter (∎, ∆)
1 year
Goal #1 : teach ZK to as many people as possible Goal #2 : Have fun Goal #3 : Make many friends along the way
21
6
225
@portport255
porter (∎, ∆)
3 months
I made a list
Tweet media one
@josephjojoe_
Joseph Jojoe
3 months
you’re only about twenty textbooks behind the most cracked person you know
41
394
3K
17
21
220
@portport255
porter (∎, ∆)
4 months
I'm surprised how many builders are losing faith because they don't like degens. I care about privacy, security, & censorship-resistance so I'm going to keep building on those things. Unbothered. Moisturized. Happy. In My Lane. Focused. Flourishing.
19
11
200
@portport255
porter (∎, ∆)
2 years
Time to learn @MinaProtocol
10
11
161
@portport255
porter (∎, ∆)
2 years
Disclaimers: 1) I've never given this class before, so expect a bit of a mess 2) I want people to be able to ask questions, so if the class size gets too big I’ll probably set a limit
2
1
162
@portport255
porter (∎, ∆)
9 months
Anyone can learn cryptography
7
13
160
@portport255
porter (∎, ∆)
1 year
2023 is the year to build zk! Excited to see so many people interested!! (It's not too late to sign up)
@MinaProtocol
Mina Protocol (httpz) 🪶
1 year
✅ 2,000 builders have already signed up for Cohort 1, have you? 🏆 There’s 500,000 USDC and 500,000 MINA up for grabs for top projects! It’s not too late to register:
Tweet media one
12
52
249
5
26
156
@portport255
porter (∎, ∆)
2 years
Math background: if you know what a polynomial is, you'll be fine.
7
0
155
@portport255
porter (∎, ∆)
2 years
Why learn Zero Knowledge Proofs? It's fun, and Vitalik says it's the future (we are so early)
@VitalikButerin
vitalik.eth
3 years
@tarunchitra I expect ZK-SNARKs to be a significant revolution as they permeate the mainstream world over the next 10-20 years.
1
557
3K
7
6
153
@portport255
porter (∎, ∆)
3 months
@zeta_globin There is only one surviving drawing of French mathematician Adrien-Marie Legendre and it's this
Tweet media one
5
10
155
@portport255
porter (∎, ∆)
2 years
Reading the Tornado Cash whitepaper in class today:
4
19
149
@portport255
porter (∎, ∆)
2 years
WAO. @xNFT_Backpack is amazing. Proud to be here this early 🔵
Tweet media one
7
10
102
@portport255
porter (∎, ∆)
9 months
Fun fact: Six months ago I legally changed my name to Porter because that's just how important zkPorter is to the future of scaling
@zk_pengu
ZKPengu (∎, ∆)
9 months
Breaking news; Ladies and gentlemen introducing zkPorter That’s what yall waiting for 🚀
Tweet media one
13
5
55
27
8
129
@portport255
porter (∎, ∆)
2 years
Since teaching the zk class, my chess puzzle rating has gone up 300 points
Tweet media one
12
0
128
@portport255
porter (∎, ∆)
10 months
You heard @zksync is offering a $1.1M @code4rena contest, and now you want to learn ZK? I'm here to help:
@0xnirlin
nirlin
10 months
@nullity00 help 😭. How to learn zk circuit programming in 7 days.
2
1
10
10
10
123
@portport255
porter (∎, ∆)
2 months
The entire internet will be verifiable. Everyone should be very excited about web proofs / zkTLS / zkOracles / zk email / zkp2p
@plutolabs_
pluto
2 months
👋👋👋👋
0
5
32
6
12
117
@portport255
porter (∎, ∆)
1 year
This year I've attended: zkDay (ETHDenver) zkWeek (Zuzalu) zkDay (Consensus) zkWeek (LambdaClass) zkDay (ETHCC) zkParis (Geometry) zkUnconference (zkSync)
12
2
107
@portport255
porter (∎, ∆)
1 year
Thankful for Mina for running these cohorts. Building on Mina helped me understand ZK better, which has already had a big impact on my career. Consider joining if you are zkCurious
@MinaProtocol
Mina Protocol (httpz) 🪶
1 year
You can build decentralized applications that solve real-world problems and leverage ZK proofs in zkIgnite, Cohort 2 ⚡️ Here are 3 things you need to know about the Mina incubator program 🧵 Read the blog for full details →
Tweet media one
11
48
210
1
20
94
@portport255
porter (∎, ∆)
7 months
Best books I read in 2023: Non-technical: -Atlas Shrugged by Ayn Rand -Things Hidden by Rene Girard Technical: -Rust Atomics and Locks by Mara Bos -The Hash Function BLAKE by Aumasson et al.
10
4
103
@portport255
porter (∎, ∆)
8 months
I'm going to record some deep dives on Boojum next week. What questions should I answer?
34
6
96
@portport255
porter (∎, ∆)
5 months
I'm hosting a panel at the ZK Mini Summit. These people are my heroes. I have a million questions for each of them, but we'll focus on just one: Will ZK rule everything around us? Come listen to: @Zac_Aztec from @aztecnetwork @jasonmorton from @ezklxyz @benediktbuenz from
@zkSyncDevs
ZKsync Developers (∎, ∆)
6 months
If 3 hours of learning about ZK sounds like fun, then we’ve got just the thing. Attend the ZK Mini Summit at @EthereumDenver on February 28th from 3-6pm MST 🗓️ Come through. All you need is an ETHDenver ticket! 👉 We’ll get technical on SNARKs, zkML,
Tweet media one
25
84
329
9
14
96
@portport255
porter (∎, ∆)
1 year
I tend to disappear from social media while I'm learning something, and just come back to post results. I should do a better job of posting along the way
12
3
92
@portport255
porter (∎, ∆)
2 years
2/ If you haven't already, learn Rust by reading "The Rust Book":
3
5
92
@portport255
porter (∎, ∆)
2 months
We need more crazy people in web3. All the normal takes are getting boring
24
11
94
@portport255
porter (∎, ∆)
1 year
2023 is the year to learn ZK 🥳
@dawnsongtweets
Dawn Song
1 year
Our ZKP MOOC () has been really exciting with ~3500 enrolled globally! Today we're thrilled to announce a new ZKP/web3 hackathon, open to the public, March 1-May 2, virtual & in-person @UCBerkeley , with prizes up to $200K+! Sign up:
Tweet media one
27
131
446
2
9
87
@portport255
porter (∎, ∆)
1 year
Going to focus on making ZK content again. Influensoooor Porter is back
7
2
86
@portport255
porter (∎, ∆)
5 months
Finally met @Jeyffre ! Read his ZK book if you haven't already
Tweet media one
7
7
81
@portport255
porter (∎, ∆)
2 months
Attention: if you want to run @zksync 's prover, please get in touch!!
@zksync
ZKsync (∎, ∆)
2 months
Hardware teams are invited to join the zkSync Era prover network to help make this critical ZK rollup operation more censorship-resistant. Get involved 👇
861
333
2K
3
2
78
@portport255
porter (∎, ∆)
2 years
9/ That's all. Everything was a lot easier than I expected. My best advice is to get started and ask questions (I'm very excited for StackOverflow). Wagmi.
3
0
75
@portport255
porter (∎, ∆)
9 months
Good book! Behind the scenes view of NIST's SHA3 competition. Also explains many design choices like the counter, endian-ness, and more. Recommend 10/10
Tweet media one
@vt_0_
JP Aumasson
1 year
buy my books
0
0
3
3
7
79
@portport255
porter (∎, ∆)
2 years
4/ Soldev was probably my most important resource. Just start following tutorials, and within days you will feel ready to start coding on your own. Shoutout to @jacobvcreech @jamesrp13 and everyone else who contributes.
1
5
77
@portport255
porter (∎, ∆)
6 months
Read this and compare it to web3 today: Bezos's 1999 Amazon Shareholders Letter
Tweet media one
9
10
75
@portport255
porter (∎, ∆)
2 years
Class will be Mondays and Thursdays at 14:00 UTC. Everything will be recorded and put on youtube. Curriculum is posted in the discord
5
0
76
@portport255
porter (∎, ∆)
8 months
@anthonykrose @zksync Oct 27, 2022, I received this message. Thanks @anthonykrose . This is the best job ever
Tweet media one
4
1
70
@portport255
porter (∎, ∆)
1 year
Amazing news: Privacy on Ethereum built by one of the best ZK teams. Incredibly excited for this
@nocturne_xyz
Nocturne
1 year
2/ Using account abstraction and zero-knowledge proofs, we’ve built a private account layer that lets users send, receive, and transact with their funds, all without exposing their address. Check out our docs to see how it works:
Tweet media one
2
14
151
4
4
73
@portport255
porter (∎, ∆)
2 years
Link to class on Thursday:
2
7
69
@portport255
porter (∎, ∆)
5 months
zkSync and Starkware have the right approach. I wonder how long it will take for other teams to start using state diffs
@GuthL
Louis Guthmann zk/acc | 💅 | 🐺-Maxi
5 months
A difference that will soon be very important: only State Diff based rollup can do Volition
10
14
112
3
4
66
@portport255
porter (∎, ∆)
7 months
I was asked for resources on how to write your own proof system. My favorite are: -Plonkathon by @0xPARC -FRI from scratch by @class_lambda
@portport255
porter (∎, ∆)
7 months
zkSync's Boojum Prover walkthrough
6
42
219
2
16
68
@portport255
porter (∎, ∆)
10 months
Here's what I recommend to study: 1. Practice Rust. The circuits are all written in Rust. 2. Get familiar with common ZK terminology such as circuits, constraints, and gates. 3. Learn about common ZK bugs:
5
15
70
@portport255
porter (∎, ∆)
2 years
3/ When you are ready for Solana, read "The Anchor Book". Probably better than the official Solana Docs. The PDAs section is best explanation of PDAs that I've found.
2
2
70
@portport255
porter (∎, ∆)
6 months
If I seem younger next week, it's because I'm reading @bryan_johnson 's book
Tweet media one
7
0
66
@portport255
porter (∎, ∆)
9 months
I contributed to🌙 @nocturne_xyz 's trusted setup! 0x908cef335266eab4e6a69aad679ea65516949f4820fee26f1f001b1170b2b77280543ddb40993b6407fc612fd2554eacd64c2d6108fd72896120a4efeebd9453
7
3
66
@portport255
porter (∎, ∆)
2 years
I won 🥳 Thanks @quantum_village @QuantinuumQC for a fun event!
@quantum_village
Quantum Village
2 years
So, we are VERY happy to announce the WINNERS of the world's first Quantum CTF @defcon ! 1st place:🙌 @cyber_porter 🙌 2nd: randomuser42 3rd: @_capt8bit 4th: Reptillicus 5th: windex CONGRATULATIONS to the winners! #quantumhackers
4
9
26
4
5
63
@portport255
porter (∎, ∆)
1 year
See you soon @EthereumDenver
Tweet media one
2
2
65
@portport255
porter (∎, ∆)
10 months
Hard work pays off: I've been promoted to discord mod. Thanks @__zkhack__ 🥳
Tweet media one
6
0
66
@portport255
porter (∎, ∆)
4 months
"Why are we here" -Hal Finney, 1992
Tweet media one
@portport255
porter (∎, ∆)
4 months
Reading original cypherpunk emails day 7
2
4
15
3
10
62
@portport255
porter (∎, ∆)
9 months
Thank you @ChainLight_io for keeping us safe! Our team really appreciates you. If you want to learn more about a critical bug in our circuits that we recently patched, the writeup explains everything nicely.
@ChainLight_io
ChainLight
9 months
Saving $1.9B. On September 15th, we discovered and reported a critical bug in @zkSync Era's ZK-Circuits that could have drained all the tokens passing through the bridge. This bug allows a malicious prover to produce "proofs" for invalidly executed blocks, which the verifier
23
58
316
4
3
58
@portport255
porter (∎, ∆)
9 months
Our zkEVM bootcamp starts next week! It's not too late to apply!!
@zksync
ZKsync (∎, ∆)
9 months
Welcoming the latest round of guest lecturers for our upcoming zkEVM Bootcamp with @encodeclub 🥁 📢  @imdaisyadams , @RiscZero 📢  @henrlihenrli , @StarknetFndn 📢  @alexand_belling , @LineaBuild 📢  @yezhang1998 , @Scroll_ZKP Haven’t applied yet? Here’s why you should 🧵
Tweet media one
28
71
384
16
4
53
@portport255
porter (∎, ∆)
2 years
Learning about Move and @AptosLabs this weekend. Bullish on both
15
2
55
@portport255
porter (∎, ∆)
2 years
Looking into Solana internals. Wish me luck 🫡
14
0
52
@portport255
porter (∎, ∆)
5 months
Another $250k for security 🥳
@code4rena
Code4rena
5 months
With the Mainnet deployment of EIP-4844 right around the corner, @zksync is back for another audit! 💻 Their $250,000 USDC audit is live until March 28th at 20:00 UTC Help ensure their rollup improvement proposal is secure today:
Tweet media one
3
24
138
3
1
53
@portport255
porter (∎, ∆)
2 years
8/ Lastly, things I didn't like: 95% of developer youtube videos felt like a waste of time. Too much talking about unimportant details. Also, I dislike tutorials that are just "copy/paste and press run". I'd rather make another counter program from scratch.
3
1
53
@portport255
porter (∎, ∆)
1 month
WTF is WTF-zk? A walkthrough of the best ZK primitives course
1
7
54
@portport255
porter (∎, ∆)
2 years
3. The best part is all the new friends. I've talked to over 1000 people and had some of the coolest conversations with builders, founders, VCs, students, professors, and more. I'm now super optimistic about the future. Wagmi
3
1
52
@portport255
porter (∎, ∆)
2 years
This is now a ZK account. Big announcement tomorrow. Stay tuned
4
3
50
@portport255
porter (∎, ∆)
1 month
STARKs!! Come join!!
@blocsociitd
Blockchain Society IIT Delhi
1 month
Join us tomorrow, 24th June, Monday at 8pm IST for a lecture on STARKs by @portport255
Tweet media one
3
3
25
4
4
51
@portport255
porter (∎, ∆)
1 year
I met @pseudotheos . Amazing person. Made me very optimistic about the future
Tweet media one
4
0
48
@portport255
porter (∎, ∆)
9 months
The same speakers are at every conference, but I've thought of a solution: If we consider panel permutations to be unique, we could have at least 4!=24 times as many conferences with the same speakers
7
0
50
@portport255
porter (∎, ∆)
4 months
Top 3 cypherpunk emails from today's stream: #1 - Hal Finney's first message
Tweet media one
@portport255
porter (∎, ∆)
4 months
Hal Finney's first message: Day 2 of reading the Cypherpunk mailing list
0
1
17
5
2
49
@portport255
porter (∎, ∆)
2 years
@0xrooter All the MEV people liking this tweet 😂
0
0
49
@portport255
porter (∎, ∆)
4 months
I reused a slide from 2022 and someone noticed 😭😭😭 I'm never reusing slides again 🤣
6
1
50
@portport255
porter (∎, ∆)
2 years
1. My videos are garbage (slow, bad production quality, and several inaccurate statements). Instead of livestreaming a new lecture every 3 days, I think it'd be better to take the time to make high quality videos
7
0
48
@portport255
porter (∎, ∆)
8 months
We're so back
@mcuban
Mark Cuban
8 months
@Jason So you are saying you will have written a smart contract on a ZK L2 which will check for a construction permit being issued , which in turn will create and send me an NFT that unlocks and delivers 250k in USDC when the oracle checks property and utility records and
261
260
3K
3
5
48
@portport255
porter (∎, ∆)
16 days
Study time
Tweet media one
1
1
50
@portport255
porter (∎, ∆)
9 months
I hope to see as many friends as possible! Let me know if you want to meet up :)
@zksync
ZKsync (∎, ∆)
9 months
There are 35+ opportunities to connect with the zkSync community during @EFDevconnect 🤯 You in? View the full calendar: Highlights ⬇️
166
594
2K
5
0
45
@portport255
porter (∎, ∆)
7 months
Congrats! Thanks to everyone who participated 🥳
@code4rena
Code4rena
7 months
Awards have been announced for the $1.1m USDC @zksync Era audit 🎉 🎉 Top 5: 🥇 xuwinnie - $502,041.99 USDC 🥈 ChainLight - $157,696.85 USDC 🥉 Audittens - $140,480.81 USDC 🏅 minhtrng - $38,573.19 USDC 🏅 erebus - $25,342.88 USDC Read more at:
27
45
398
2
1
47
@portport255
porter (∎, ∆)
2 years
Did not expect to be listening to Martin Shkreli explaining how Algorand is a solution to the blockchain trilemma 😂
7
5
46
@portport255
porter (∎, ∆)
1 year
Study sessions must continue. What's the difference between Poseidon vs Poseidon2 hash functions?
3
6
48
@portport255
porter (∎, ∆)
2 years
Great opportunity:
@MinaProtocol
Mina Protocol (httpz) 🪶
2 years
1/ 📢 Introducing zkIgnite, Cohort 1 ⚡️ This 3-month program aims to support the most ambitious developers and entrepreneurs building zkApps and tooling on Mina Protocol. $500K USDC and 500K MINA is available in funding for top projects 💰 Learn more:
Tweet media one
33
125
459
2
4
44
@portport255
porter (∎, ∆)
2 years
@VitalikButerin If anyone wants to learn ZK, message me :)
4
2
43
@portport255
porter (∎, ∆)
2 months
22kb. Congrats Mina!
@MinaProtocol
Mina Protocol (httpz) 🪶
2 months
Ahhhhh I’m upgrading 🫨
23
77
655
0
3
45
@portport255
porter (∎, ∆)
7 months
Time to be an influencer again 🫡
Tweet media one
@VitalikButerin
vitalik.eth
7 months
Make Ethereum cypherpunk again
2K
4K
13K
2
1
47
@portport255
porter (∎, ∆)
10 months
Next generation of security researchers is coming 📈
@blockchainASU
Blockchain at ASU
10 months
Come join us this Thursday to dive into blockchain security with @portport255 from @zksync ! 🔒
Tweet media one
0
3
24
5
1
45
@portport255
porter (∎, ∆)
9 months
Made it to @__zkhack__
4
0
45
@portport255
porter (∎, ∆)
3 years
Tweet media one
7
4
44
@portport255
porter (∎, ∆)
11 months
@0xMert_ Georgia Tech is an amazing school
5
0
43
@portport255
porter (∎, ∆)
1 year
@zkSync_Space Thanks! This is a dream job for me. I'm so excited. Already got some real work done on the first day 🫡
2
1
41
@portport255
porter (∎, ∆)
2 years
I'm celebrating one year @KudelskiSec ! In blockchain security, it feels like it's been at least seven years 😂
8
2
44
@portport255
porter (∎, ∆)
1 year
Must read
@zksecurityXYZ
zksecurity.xyz
1 year
The zero-knowledge attack of the year might just have happened, or how Nova got broken
Tweet media one
9
93
430
1
2
43
@portport255
porter (∎, ∆)
2 years
6/ At this point, I got distracted by Solana crashing and spent a week reading Solana validator code because it seemed important. Thanks to @7LayerMagik , @CarryWorm , and everyone at @jito_labs for helping me here
3
0
43
@portport255
porter (∎, ∆)
3 years
Top left is the new book #cryptography
Tweet media one
3
2
44
@portport255
porter (∎, ∆)
4 months
This isn't uncommon in cybersecurity. In 1986, Cliff Stoll found a 75 cent accounting error, tracked it all the way to a KGB agent, and got him arrested
@peer_rich
Peer Richelsen — oss/acc
4 months
i tried explaining my nontech friends today that an engineer debugging a 500ms delay has saved the entire web, potentially the entire civilisation
52
1K
16K
1
3
43
@portport255
porter (∎, ∆)
2 years
Streaming fail #6 : I didn't go live to the "scheduled stream", so everyone had the wrong link. Sorry if you missed it. Here's the recording:
0
6
41
@portport255
porter (∎, ∆)
8 months
@anthonykrose @zksync I'm super excited for everything we have planned :)
3
0
37