Chris (@ethchris) profile picture

Chris

@ethchris

Accomplished Barista

Joined April 2015
  • Tweets2.3K
  • Following101
  • Followers7.6K
92Media
Photo by Chris (@ethchris)Photo by Chris (@ethchris)Photo by Chris (@ethchris)Photo by Chris (@ethchris)Photo by Chris (@ethchris)Photo by Chris (@ethchris)Photo by Chris (@ethchris)Photo by Chris (@ethchris)Photo by Chris (@ethchris)
Releasing powdr's yulc early: an experimental formally verified Yul to EVM compiler, in Lean. If it compiles your program, the EVM bytecode provably computes what the Yul semantics say. Still WIP, but the main correctness theorem is already machine-checked for a subset of Yul!
Image from powdr labs (@powdr_labs)
4
13
2
85
10,826
Join us in 1h! meet.jit.si/powdr-release
powdr labs (@powdr_labs) profile picturepowdr labs@powdr_labs30 Oct 2024
Replying to @powdr_labs
💬 Join our release party on 𝗢𝗰𝘁 𝟯𝟭 𝗮𝘁 𝟯𝗽𝗺 𝗨𝗧𝗖! Meet the powdr team, ask questions, and celebrate the launch with us. The link will be shared shortly before here on Twitter and in our Matrix chat. See you there!
3
7
3,270
I am so proud of these folks, they have done an amazing job. Really cool tool. If you wanna do ZK, you gotta check powdr out. It's another level. NOT just for Ethereum or crypto -- you can do ANY program in it!
powdr labs (@powdr_labs) profile picturepowdr labs@powdr_labs1 Oct 2024
We are excited to share that 𝑝𝑜𝑤𝑑𝑟 labs is now an independent organization focused on the next generation of ZK tooling, security, and applied research. Read the full announcement on our blog or follow this thread for a tl;dr 👇 powdr.org/blog/powdrlabs
powdr labs, the beginning

powdr labs, the beginning

powdr labs is now an independent organization focused on advancing ZK tooling and applied research, supported by key partners. We are building powdr, the most flexible and composable piece of open...

powdr.org
1
11
1,651
We are excited to share that 𝑝𝑜𝑤𝑑𝑟 labs is now an independent organization focused on the next generation of ZK tooling, security, and applied research. Read the full announcement on our blog or follow this thread for a tl;dr 👇 powdr.org/blog/powdrlabs
powdr labs, the beginning

powdr labs, the beginning

powdr labs is now an independent organization focused on advancing ZK tooling and applied research, supported by key partners. We are building powdr, the most flexible and composable piece of open...

powdr.org
51
151
15
364
152,975
Today, another awesome session on the ZK Vietnam Residency by @PrivacyScaling and @0xPARC . First @adria0 on Plaf(Plonkish Arithmetisation Format) + Powdr and Halo2
Image from CPerezz.(gwei/eth) ⟠ 🦀 (@CPerezz19)
3
10
1
45
8,409
I wanted to dive into the deepest details of zkRollups, so I'm writing a simple one from scratch and it's been extremely fun! It's quite modular, easy to change, and works end-to-end. I'm not in Denver, but if anyone wants to hack on it I'm happy to help! github.com/leonardoalt/fusio…
GitHub - leonardoalt/fusion: An experimental progressive and fast zkRollup written in Rust, focused...

GitHub - leonardoalt/fusion: An experimental progressive and fast zkRollup written in Rust, focused...

An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable Computation proof systems. - leonardoalt/fusion

github.com
5
23
3
121
13,092
Full house at our Solidity booth! Come and meet us at the 3rd floor today at @EFDevcon for a chance to get to know our team, ask us any question and collect nice socks and stickers! 🧦✨
Image from Solidity (@solidity_lang)
Image from Solidity (@solidity_lang)
Image from Solidity (@solidity_lang)
1
6
1
41
We have an impact booth on the 3rd floor today! Thanks for @EFDevcon for the opportunity. Pass by for some stickers, sweets, and swag 🔍
Image from sourcify.eth (@SourcifyEth)
Image from sourcify.eth (@SourcifyEth)
1
2
14
.@ethchris presenting multihop transfers on @CirclesUBI at @dappcon_berlin boat side stage ⛵
Image from Lefteris Karapetsas (@LefterisJP)
Image from Lefteris Karapetsas (@LefterisJP)
4
20
📣 Speaker Announcement 📣 🎙️@ethchris will give a talk on ‘’Modern Solidity‘’ 🎟️Get your ticket now: 👉 dappcon.io/#Tickets and secure your admission to DappCon 2022. #DappCon22 #berlinblockchainweek
3
1
4
Tonight we reboot Berlin Hack and Tell @cbase Bring your hacks! You can see old ones here: berlinhackandtell.rocks RSVP here: meetup.com/de-DE/Berlin-Hack… Not many seats left - if you end up on the WaitList and have a hack - DM us!
Image from Berlin Hack and Tell (@BerlinHacknTell)
3
10
. @zsfelfoldi just demoed a post-merge Geth light client that can sync and query #Ethereum without needing a beacon node at all (on the client side)🤯🤯🤯
15
24
2
251
You asked and we listened! Join us for a v0.8.14 Release Hangout while we wait for the binaries to be built. 😌 The perfect opportunity to: + Meet the Solidity team + Learn about new features + Ask us questions & give feedback Tomorrow, May 17, at 1PM UTC on Jitsi!
Image from Solidity (@solidity_lang)
5
32
2
133
For the upcoming Solidity release tomorrow we're trying something new! Join us for a casual hangout where we explain what's included in the release. Also a good time to ask us questions about recently introduced features or give feedback. 1PM UTC on Jitsi (link coming tomo) 🥳
Solidity (@solidity_lang) profile pictureSolidity
@solidity_lang16 May 2022
You asked and we listened! Join us for a v0.8.14 Release Hangout while we wait for the binaries to be built. 😌 The perfect opportunity to: + Meet the Solidity team + Learn about new features + Ask us questions & give feedback Tomorrow, May 17, at 1PM UTC on Jitsi!
Image from Solidity (@solidity_lang)
5
20
Just joined the Foundry contributooors club. Foundry now has direct access to @solidity_lang 's model checker via `foundry.toml` 1/n
Image from Leo Alt (@leonardoalt)
5
24
3
189
This weekend is your last chance to apply for a talk at Solidity Summit Amsterdam! We'll keep speaker applications open until Monday, April 4, and then take final decisions on who will get in on the last few speaking slots! 📢
Solidity (@solidity_lang) profile pictureSolidity
@solidity_lang31 Mar 2022
Solidity Summit Last Call! 🛎️👏 If you want to participate in one way or the other and join us on April 20 in Amsterdam, don't miss the application deadlines! → Speaker application deadline: Mon, April 4 → Attendee application deadline: Wed, April 6 summit.soliditylang.org/
1
2
Solidity 0.8.13 has just been released!🥳 It fixes an important bug related to abi.encodeCall, extends the "using for" directive and implements "go to definition" for the LSP. We also consider compiling via Yul IR stable. 📖: blog.soliditylang.org/2022/0… 💾: github.com/ethereum/solidity…
Image from Solidity (@solidity_lang)
2
50
8
168
reminder that you can download Wikipedia for offline viewing— Kiwix (kiwix.org) makes it easy
Kiwix - Home

Kiwix - Home

Kiwix is a nonprofit organisation making free knowledge accessible where the Internet is not. We create and support open technologies that bring the world’s knowledge Offline via our own open-source...

kiwix.org
Aric Toler (@AricToler) profile pictureAric Toler
@AricToler1 Mar 2022
Roskomnadzor (Russian censorship agency) has threatened to block all of Wikipedia from Russia due to its "Russian Invasion into Ukraine" article. Their main gripes: it lists Russian soldier casualty figures and describes how Ukrainian civilians/children are being killed.
6
56
315
Submissions are coming in for this year's Underhanded @solidity_lang contest and they "look safe"...🌶️🔥 Submissions are open until March 16, 11:59PM UTC. All details at underhanded.soliditylang.org….
Image from franzi (@_franzihei)
7
13
Kiwix — це застосунок для читання завантаженої Вікіпедії офлайн.
Kiwix 🐘 @kiwix@mastodon.social (@KiwixOffline) profile pictureKiwix 🐘 @[email protected]@KiwixOffline28 Feb 2022
Latest ZIM snapshots of @wikipedia_uk for offline usage with Kiwix! library.kiwix.org/?lang=ukr&…
8
9
Load more