Artem Chystiakov
@Arvolear
Ethereum OG | Simplicity Ecosystem Engineer at @blockstream | Opinions are my own
193 Following 3K Followers
Wish a salesperson could finally travel optimally.
Watts per neuron:
- Human brain: ~2.3*10^-10
- Opus 5.5: ~1.3*10^-8
We're still about 56 times more efficient.
Simplicity is for ZK proofs. Will also be possible on Bitcoin.
Well, it works! You can ZK-prove Ethereum finality natively on Liquid to create a trustless two-way bridge. No multisig. No oracle. Just ZK and smart contracts.
1. Implement a smart contract in a most simple way possible.
2. Ask Claude to optimize the hell out of it.
3. Formally verify their equivalence.
4. Win?
Just saying, Simplicity is formally verified. So are its 450 of 533 jets (verification ongoing). Developing Simplicity-based smart contracts, at least you can be sure that the core is secure.
The ZK bridge works, but with one quirk. SP1 proof generation takes ~6 mins on M5 max. Polishing up the UX and sharing a demo soon.
We have a pretty good progress natively ZK-proving Ethereum state on Liquid. Claude managed to optimize the crap of a Simplicity EC pairing program, so the sync committee signature aggregation and check now fits in the transaction. Next stop is a trustless bridge.
Show more
High fucking time we all migrated and never touched PHP again.
Liquid Network Restoration Update
With key technical milestones completed and network operations stable, user swap functionality is now restored with semi-automated swaps for Federation members. Normal peg and balance validation will be reinstated soon.
The Liquid Network’s members appreciate the broader Bitcoin community’s support and advocacy as we work to not only provide the restoration, but also harden the network’s security structure.
Show more
Anyone can build anything. Human communication is the bottleneck now.
We have a pretty good progress natively ZK-proving Ethereum state on Liquid. Claude managed to optimize the crap of a Simplicity EC pairing program, so the sync committee signature aggregation and check now fits in the transaction. Next stop is a trustless bridge.
Show more
Haven't touched Solarity repo for five months, but looks like it's still pretty popular. 400 stars soon?
UTXO-based chains were built for privacy.
Account-based chains were built for DeFi.
A working DAMP proof of concept that lets you issue, govern, and transfer confidential, decentralized, regulated assets on Liquid.
Anon, now fuzz tests are available for SimplicityHL too.
Just released Simplex v0.1.0. The last 6 months were freaking crazy, but the framework is now ready for a somewhat stable tag. Unit and fuzz test your SimplicityHL contracts. Spin up local Elements nodes. Write in Rust. Build with Simplicity.
Show more
Just released Simplex v0.1.0. The last 6 months were freaking crazy, but the framework is now ready for a somewhat stable tag. Unit and fuzz test your SimplicityHL contracts. Spin up local Elements nodes. Write in Rust. Build with Simplicity.
Show more
SimplicityHL and Simplex support for Bitcoin jets environment soon.
Simplicity is coming to Bitcoin.
Simplicity is coming to Bitcoin.
A daily reminder to revoke unused approvals.
We're building the first Simplicity-powered, self-custodial, peer-to-peer Bitcoin lending platform. Be the first one to know when it goes to prod!
