This is an extremely important milestone for both us and the Bitcoin community. EVM applications are secured by Bitcoin blockspace, without any soft fork.
Give us a few more weeks, you will see the first zkEVM proofs on Bitcoin too!
Today, we submitted our zkApp's first transaction on Mina Berkeley Testnet via a web UI. All the computation necessary for the chain is happening locally, right in your browser! Our zkApp will be one of the first fully functional zkApps on
@MinaProtocol
.
@chainway_xyz
π«Άπ»
Recently,I started a challenge for myself. I decided to explore ecosystems different than EVM ones. I have started with
@StarkWareLtd
's Starknet. Here is my first protocol&experience on Starknet.
Proof of Concept: Native Starknet USD With L1 Liquidity
ππ§΅
1/ I am extremely proud to announce our seed round, led by Galaxy. This round enables us to expand and scale our highly talented team, empowering Bitcoin's first ZK Rollup.
Thatβs a wrap on
@EFdevconnect
AMS!
π Record breaking 165 hackathon submissions
π Mina received 9 of them!
Congrats to the teams who will receive a prize from
@MinaFoundation
:
1) Mina Voter
2) Mina Snap
3) Flexergy & MinaFT (Tie)
More details on the projects here π§΅
1/7 Today, Bitcoinβs First ZK Rollup comes out of stealth. Introducing Citrea ππ
Citrea is the first rollup that enhances the capabilities of Bitcoin blockspace with zero knowledge technology.
@gluk64
For those affected:
We're (
@citrea_xyz
) hiring for a wide range of roles, from Growth/BD to Engineering.
If you want to stay in the ZK space & push the limits of Bitcoin, DM me or mail hr
@chainway
.xyz.
Please lmk if you personally want to suggest anyone,
@gluk64
. Best regards.
Uzun zamandΔ±r bir Εeyler yazmΔ±yordum. Zaten amatΓΆr olarak yazΔ±yorum. Yeri gelmiΕken Application-specific chainler hakkΔ±nda kΔ±sa bir Εeyler yazdΔ±m. UmarΔ±m faydalΔ± olur :) Δ°yi okumalar.
Tornado/OFAC olaylarΔ±ndan sonra birkaΓ§ saat ΓΆnce Tornado Cash'in arka tarafta nasΔ±l Γ§alΔ±ΕtΔ±ΔΔ±nΔ± TΓΌrkΓ§e olarak aΓ§Δ±klayan bir yazΔ±ya baΕladΔ±m. HΔ±zlΔ± bir Εekilde yazΔ±p yayΔ±nlayayΔ±m derken araya Curve hack girdi ama yine de bitirdim. Δ°yi okumalar!
Okay, Iβve started to see a lot of confusion. Hereβs whatβs possible and whatβs not on Bitcoin:
β’Trustless Optimistic/ZK Rollup/Validium/Optimium: NOT possible, requires an opcode.
β’Trust-minimized ZK Rollup: Possible; working on it :)
β’Trust-minimized Optimistic Rollup:
First time received an airdrop to my Github account for contributing to open source rollup & infra code.
Thatβs the spirit and I wish success to everyone building modular starting from Celestia team!
LFGπ«‘
@BobBodily
@chainway_xyz
It's true! Our work builds upon the efforts of
@ZeroSync_
and
@stskeeps
(
@cartesiproject
) with their work on BitVM. While the BitVM ZKP verifier was theoretically possible, our work goes beyond by including both the verifier logic and the aspects of what is verified = Rollup
Introducing
@LuminaDEX
β the first decentralized exchange built on Mina Protocol
Lumina leverages Minaβs unique tech stack to offer a zkKYC-enabled, enterprise-ready DEX.
The future of private, compliant, and scalable DeFi is coming soon π«‘
.
@chainway_xyz
is building without boundaries. Currently our team is working on
-Next generation DEX (not AMM/CLOB)
-Mina zkApp Builder Program
-zk circuit that will contribute to privacy, safety, and transparency of Tornado users
-Infra&Data service for developers (β‘οΈ,π§)
1/ Over the last week, we have received questions regarding the BitVM&Citrea relationship. I would like to provide information about Citrea's use of BitVM to spare BitVM contributors from answering questions about
@citrea_xyz
.
Hard work pays offπ«‘
Thank you
@VitalikButerin
for mentioning
@chainway_xyz
& PoI. We are committed to buidl mathematical & privacy preserving compliance tools βοΈ
Founder of
#Ethereum
,
@VitalikButerin
has just mentioned one of the biggest projects that born in our ecosystem,
@chainway_xyz
!
What a proud moment for all of us!Kudos to our dearest guys! β€οΈβπ₯πΉπ·
Starkware, the builders of Starknet, are launching a new initiative with a $1 million grant fund in OP_CAT research.
Starknet is exploring options and plans to integrate with Bitcoin following the OP_CAT upgrade.
Everything is coming back to Bitcoin.
Bitcoin's biggest challenge is scalability. StarkWare has a vision to change that.
The concept of STARK scaling for blockchains was first introduced by
@EliBenSasson
at a Bitcoin conference in early 2013.
It's now time to scale Bitcoin with ZK-STARK, making it more accessible
Join us at "Scaling Bitcoin Together" in ππ° Hong Kong!
We're excited to co-host the side event "Scaling Bitcoin Together" with
@ParticleNtwrk
and
@scalebit_
during
#BitcoinAsia
β¨
π May 11th
Stay tuned for more details π
π Register here:
Why doesn't anyone talk about EigenLayer and Avalanche Subnets being almost the same thing? I liked the "restaking" keyword and the idea behind the EL. After reading the whitepaper, I realized that the promises & security conditions are almost the same. Let me share my findingsπ§΅
1/ I decided to write an article about my views on Layer 2s and Rollups after the terminology discussion on Twitter last week.
β οΈ Danger: It contains a lot of controversial opinions on sovereignty and settlement.
@zerokn0wledge_
@SatoshiVM
Co-Founder of Chainway Labs here. Great write-upπ«‘
Let me give you a few more alphas:
We will soon announce the branding and roadmap for our rollup.
Weβve found a way to natively verify zk proofs on Bitcoin π. Now, we have a true Bitcoin settlement like Ethereum rollupsπ§‘.
I donβt just want
@chainway_xyz
βs rollup on Bitcoin; I want rollups on Bitcoin.
I am happy that real builders like Sovryn are joining the party, as opposed to all the scammy βL2βs.
ππ
Sidechains, Lightning Network & CSV? Yesterday's tech!
We're on the brink of unveiling something revolutionary-think Bitcoin, but supercharged. No core changes, just pure innovation.
Get ready for... The future of
#Bitcoin
is here.
Stay tuned, stay Sovryn!
What BitVM provides for us is amazing.
When you combine the 1/N trust assumption with our trustless ZK light client, you get a rollup where funds are secured by N/N without a liveness failure. This is a huge improvement over existing unsecure implementations that introduce
BitVM is a computing paradigm that enables Turing-complete contracts on Bitcoin, with certain limitations and trade-offs.
It relies on fraud proofs, meaning that any statement is considered correct until challenged; and any statement can be verified on Bitcoin if challenged.
BitVM != Bridge
There are already three different BitVM-based bridge proposals, each very different from the others:
- Robin's initial design
- Supertestnet's Unisob
- Citrea's Clementine
You can build hundreds of different variations, each with different security trade-offs.
BitVM is a computing paradigm that enables Turing-complete contracts on Bitcoin, with certain limitations and trade-offs.
It relies on fraud proofs, meaning that any statement is considered correct until challenged; and any statement can be verified on Bitcoin if challenged.
Rollups on Bitcoin
1/ Two years ago,
@ercwl
and
@lightcoin
were nearly the lone voices talking and researching rollups on Bitcoin. Early in 2023, our team at
@citrea_xyz
alongside Alpen Labs started architecting and building rollups on Bitcoin.
𧡠β¬οΈ
1/ The decision we made last month to make the devnet publicly available is now live.
Our team has deployed the entire infrastructure for a custom signet and the Citrea devnet, including the prover, sequencer, tens of full nodes, operator, and verifiers.
1/6 Today Citrea Public Devnet goes live for developers & users ππ
This launch marks the first time that Bitcoin is being tested as a data availability layer, making it the foundation for a dynamic financial ecosystem.
Try Bitcoin's First ZK Rollup π
After a long day on Twitter and tons of pos/neg feedback, I realized that pushing innovation and destroying self-imposed limits is not easy; it has not been easy at all.
However, we are builders, and building is the only way to break the walls ironically.
It's time to go back
On a more personal note, I was delighted to see that one of Mina prize winners is from Turkey πΉπ·!! Tebrikler Orkun! π
It was amazing seeing other hackers from Turkey too, especially the ODTU team. Wasn't the case 3 years ago. Helal olsun arkadaslar!
Imagine a rollup where zk proofs are posted on L1 very frequently, allowing nodes to receive confirmation. However, L1 only updates the state root (aka the bridge) every six months. The update can only be valid if it demonstrates a zk proof that aggregates all the past proofs on
I'm glad that everyone in the space was extremely friendly and that I managed to talk about Citrea and rollups in general.
Thank you for the kind apology,
@super_testnet
. I hope you'll contribute to Citrea once it is open-sourced very soon.
We are already scaling Ethereum with ZK Rollups, but what about Bitcoin? Sharing his view and experience on that topic -
@0x_orkun
, Co-founder & CEO of
@chainway_xyz
!
πΈ Building The First ZK Rollup on Bitcoin
π Day 1, 5:30 PM
π Main Stage
Nowadays, everyone builds an "L2"; no one ships actual tech. As an engineering-first company, we are very focused on our mission to scale Bitcoin with ZK proofs, paving the way for Bitcoin's first ZK Rollup.
Cypherpunks write code β‘οΈ
1/4 Calling all Bitcoin builders π¨
We're open-sourcing the final element of Citrea, our core codebase built on Sovereign SDK βοΈ
The repository includes:
πΈ Full node
πΈ Sequencer
πΈ Prover
Join us in building Bitcoin's First ZK Rollup β¬οΈ
I am extremely proud of our team and amazing partners for creating such a high signal and inclusive event in Brussels. Good vibes only π
Canβt wait for the next Scaling Bitcoin Together! β¨
Donβt trust verify.
The scam project mentioned they are building zkEVM Bitcoin L2. I checked their RPC and it was false.
There are several teams that already build rollups on Bitcoin. You can easily distinguish these projects from scams by just looking at the team, founders,
Admittedly retweeted their documentation but quickly undid that and amplified
@0x_orkun
's message about some questions around this project.
Lesson learned there for me. So yes, follow
@bitcoinrollups
for information on teams building Bitcoin L2s, but more importantly, join the
Great report on Bitcoin as a DA layer.
Using Bitcoin as a DA layer is the only incentive-compatible way to build on Bitcoin and the only way to get full double-spend security in a global system.
Everything else is a meme by others to sell you a different blockspace.
there are dozens of rollups being βbuilt on bitcoinβ
but only a small few will launch & survive on bitcoin
bitcoin doesnβt have enough blockspace for all of them, and the cost to post data will be much too expensive for most of them
@hiroto_btc
explains why in a new report
I am running a ZK Rollup on
#Bitcoin
Regtest!
All I did was connect
@chainway_xyz
BitcoinDA with
@sovereign_labs
DemoSTF and I got this blazingly fast sequencer+full node out-of-the-box in minutes!
You can write any STF you want in pure rust & get your rollup on Bitcoin readyπ€―
BU ΓOCUKLAR YORULMADI!
Barcelona'da elde ettiΔimiz 1.'likten sonra Εimdi de Amsterdam hackathonu iΓ§in hazΔ±rlanΔ±yoruz. ODTΓ Blockchain olarak ETH Amsterdam hackathonuna 2 takΔ±m olarak katΔ±lacaΔΔ±z.
TopluluΔumuzu ve ΓΌlkemizi temsil etmeye devam!
Next big thing for ZK ecosystem is not zkEVM. It is general-purpose zkVM,
@RiscZero
. I think it is closer than we think.
Bonsai allows you to call your complex rust function from EVM smart contract, retrieve the result, and verify it via zkSTARK proofs π€―
We had an amazing weekend as Chainway thanks to
@paradigm_ctf
! It was our first ever ctf in general, and it was π₯π₯π₯. We secured 42nd place (39th with ties) among 446 participants! Solved amazing questions & learned a lot. Writeup is on the way π¨
I proved the last 200 Bitcoin Signet headers using
@RiscZero
Bonsai... in ~70 seconds π€―
The code includes PoW validation using header targets and block hash verification.
I can't wait for recursion! Just throw more compute on it and it will be parallelised almost infinitely π₯
There is no πΊ next to my name but I am definitely a huge fan of Avalanche, and I also care the developer community around it. Mostly I will talk about subnets and recent developments but this thread will consists of both positive and negative *opinions*.
EVM rollups on Bitcoin means that you'll soon be able to deploy Bitcoin L2s and L3s (validiums & optimiums) with Celestia for DA, via the Blobstream bridge
Ava Labs' tech team is one of the best teams in the space. They are delivering all of these and also trying to teach. Dev community of Avalanche is awesome, but it can become better. I think Avalanche Foundation should support individual builders to experiment, build, and teach.
Testnet
ββββββββββ 80%
Look how far weβve come since we made our intention to build Bitcoinβs first ZK rollup public a year ago.
Proud π«‘
The beginning of Citrea's journey is forever on Bitcoin.
One year ago,
@chainway_xyz
inscribed the start of our journey on Bitcoin. Since then, Citrea has grown into a larger vision with the orangest community!
Here's a look back at where it all began & what is next π
The tweet was from our first time working together as a team; there were four of us, just co-founders.
This year was different - we are now a team of 11 giga brains at
@chainway_xyz
. We managed to rank 20th in
@paradigm_ctf
'23. I have no doubt about my team and their talent π€π»
We had an amazing weekend as Chainway thanks to
@paradigm_ctf
! It was our first ever ctf in general, and it was π₯π₯π₯. We secured 42nd place (39th with ties) among 446 participants! Solved amazing questions & learned a lot. Writeup is on the way π¨
Avalanche's, at least Ava-Labs', primary focus is to bring real world assets to blockchain and replace the TradFi with use case specific subnets and apps. The upcoming institutional subnets and
@enclavemarkets
are the most basic examples. Subnets are the perfect arch. for this.
Excited times to build on Bitcoin
1-Taproot (thus Ordinals) is the innovation hub for Bitcoin
2-Number of Bitcoiners interested in ZKPs is more than I thought
3-Builders arenβt copy pasting anything from other ecosystems & building projects that are only possible on/with Bitcoin
@MinaProtocol
@ekremmmbal
@esadyusufatik
Thanks for the mention π«Άπ»
We are more than happy to contribute to the Mina Protocol by building zkApps. We were here before the program and definitely will stay afterwards, zkApps are the futureπ
.
@chainway_xyz
is building without boundaries. Currently our team is working on
-Next generation DEX (not AMM/CLOB)
-Mina zkApp Builder Program
-zk circuit that will contribute to privacy, safety, and transparency of Tornado users
-Infra&Data service for developers (β‘οΈ,π§)
Ocak 2020 tarihinden bu yana
#TRYB
ve
@UcurtmaProjesi
ortaklΔ±ΔΔ±nΔ± sΓΌrdΓΌrmeye devam ediyoruz! π₯³
Bu sΓΌreΓ§te ΓΌniversite ΓΆΔrencilerine
#blokzincir
teknolojisi ve akΔ±llΔ± kontratlar aracΔ±lΔ±ΔΔ± ile destek olmak iΓ§in gΓΌΓ§lerimizi birleΕtirerek 100βΓΌ aΕkΔ±n ΓΆΔrenciye katkΔ±da bulunduk π
BitVM: A 100% threshold multisig with no risk of liveness failure.
Every participant must agree on the tx, but the operator can propose a tx with a timelock. If it is not challenged, the tx will proceed.
Challenge times are generally lengthy, depending on the implementation.
Is BitVM a multisig or an interactive verification game?
I'm hearing conflicting things but the best explanation I've heard so far is that it's both. It's an IVG with a limited set of participants.
Why do almost all Bitcoiners think that Bitcoin should be grateful for having Lightning and should adopt changes to make it better?
It was just another scaling proposal; now itβs time to move on and focus on others.
1/4 We are proud to open-source our BitVM ZK (Groth16) Verifier ππ
Our repo includes a complete flow from generating a ZK proof to creating a verifier in the current WIP BitVM instruction set.
An important step towards verifying ZK proofs on Bitcoin π§΅
Guys, I think Bitcoin is going modular π€
Come to my talk at 2 PM tomorrow on the Modular Summit main stage to hear about humanityβs path to hyperbitcoinization through modularity π
I am more than happy to see Ethereum community built a
@chainway_xyz
βs βProof of Innocenceβ like excluding mechanism on top of Tornado Cash for production. Many thanks to
@MolochDAO
and
@ameensol
π«‘
1/ We fixed
@tornadocash
π
v0 of is live on
@optimismFND
test out the demo, but please note:
- this is experimental code
- it has not been audited
- the trusted setup is untrusted
read the full story anon π§΅π
I donβt want to sound arrogant, but this is one of the most technical and comprehensive recordings on Bitcoin Rollups.
Thank you for being such a great host and a hub for education.
Enjoy!
The intersection of ZK and Bitcoin is happening.
For the first episode of our Bitcoin and Beyond presentation series, we sat down with
@0x_orkun
of
@citrea_xyz
to discuss the technical development of their rollup leveraging Bitcoin's security and data availability capabilities.
Weekend project:
Develop Risc0 prover and circuits for a BitVM-based proof verification layer. Cheap verification with cryptoeconomic security + a cryptographic fraud-proof fallback.
Build your own circuits for BitVM: