msfewzk, zkVM, zkEVM and their Future
TL; DRZero-knowledge proof, which can guarantee computational integrity, correctness and privacy, has a lot of use cases in blockchain scaling and privacy.zk-SNARK and zk-STARK have their own advantages, and the combination of these two has more potential.zkVM empowers applications with zero-knowledge proofs, and zkVM can be categorized by instruction sets in mainstream, EVM, or newly-built ones.EVM compatibility includes EVM compatibility, equivalence, and specification-level compatibility.z...
msfew(Almost) Everything about Rollup
This post focuses on the Layer2 Rollup universe of Ethereum (only including Secured Rollup), and will explore the good and bad of the current Rollups from the core concepts and mechanism design in an easy-to-understand way, and think about the potential routes and advantages and disadvantages of each of their future solutions in terms of decentralization, further scaling, composability, and additional features such as privacy. A Secured Rollup is a Rollup model like Arbitrum or Optimism, wher...
msfew「Unified to Divided」Modular Blockchain and Data Availability Layer
0. Rollup’s BottleneckIf you read the previous post on Rollup I wrote, then you probably noticed that there was an intentional bug in the endgame comparison between Optimistic and zk Rollup. The conclusion was that Optimistic Rollup would outperform zk Rollup in the long run because there is no proving overhead. But in fact, Optimistic and zk Rollup actually take turns to take the lead in performance over time:Different types of Secured Rollups have different bottlenecks at different stages, ...
@HyperOracle, Prev @ForesightVen, @Google, @UnionPay Recent research is at HyperOracleBlog.eth's Mirror
msfewzk, zkVM, zkEVM and their Future
TL; DRZero-knowledge proof, which can guarantee computational integrity, correctness and privacy, has a lot of use cases in blockchain scaling and privacy.zk-SNARK and zk-STARK have their own advantages, and the combination of these two has more potential.zkVM empowers applications with zero-knowledge proofs, and zkVM can be categorized by instruction sets in mainstream, EVM, or newly-built ones.EVM compatibility includes EVM compatibility, equivalence, and specification-level compatibility.z...
msfew(Almost) Everything about Rollup
This post focuses on the Layer2 Rollup universe of Ethereum (only including Secured Rollup), and will explore the good and bad of the current Rollups from the core concepts and mechanism design in an easy-to-understand way, and think about the potential routes and advantages and disadvantages of each of their future solutions in terms of decentralization, further scaling, composability, and additional features such as privacy. A Secured Rollup is a Rollup model like Arbitrum or Optimism, wher...
msfew「Unified to Divided」Modular Blockchain and Data Availability Layer
0. Rollup’s BottleneckIf you read the previous post on Rollup I wrote, then you probably noticed that there was an intentional bug in the endgame comparison between Optimistic and zk Rollup. The conclusion was that Optimistic Rollup would outperform zk Rollup in the long run because there is no proving overhead. But in fact, Optimistic and zk Rollup actually take turns to take the lead in performance over time:Different types of Secured Rollups have different bottlenecks at different stages, ...
@HyperOracle, Prev @ForesightVen, @Google, @UnionPay Recent research is at HyperOracleBlog.eth's Mirror
Share Dialog
Share Dialog
Subscribe to msfew
Subscribe to msfew
<100 subscribers
<100 subscribers
The security of smart contracts can be enhanced not just with auditors and bounty platforms, but also by adding ✨ Circuit Breaker as extra security layer ✨.
Find out more about Circuit Breakers and security projects for on-chain smart contracts in the thread below. 🧵⬇️
Why Circuit Breakers for Smart Contracts?
Hacks in DeFi usually happens immediately (hacker transfer all funds in 1 tx).
When team puts thru recovery plan with governance, it is too late.
“DeFi Protocols won't have ~30% daily TVL drawdowns unless hacked” (by @MeirBank)
Zerem: DeFi Circuit Breaker by @high_byte
Zerem secures protocols by thresholding the transfer of large funds in temporary vault, to secure the protocol if immediate failure happens.
ERC-7265: Circuit Breaker by @MeirBank, @Diyahir, @tcb_00, @real_philogy
ERC-7265 standardizes a circuit breaker protecting onchain protocol, with highly customized rate limit parameters per asset.
Besides the above purely onchain circuit breakers, we also see some novel implementations leveraging the technology of restaking by @EigenLayer or ZKP. 👀
ODIN: Pause dapps before malicious tx is executed by @blocksek, @zk_asv
ODIN is a security service that uses EigenLayer to bond block builders to follow the rules of ODIN.
ODIN Deep Dive
Block Builders Bonded? > Malicious ones will be slashed based on restaking, thus they are economically aligned.
What Rules? > A property of system that should always hold. Eg: sum of lend txs - sum of borrow txs = tokens left in contract
Contribute to anupsv/odin development by creating an account on GitHub.
HoneyPause: Proactive defense for protocols by @merklejerk
HoneyPause combines onchain bounty with circuit breaker, with the workflow of PROVE an exploit, PAUSE the protocol, Get PAID a bounty.
ODESEC: Onchain Database of Emergency Security Event Contact by @SecurFi
ODESEC takes security layer to another level. ODESEC utilizes zk-proof of exploit for whitehats to blow whistle for alert, and ZK SSL for identifying the hacked project.
That's all for now on the topic of Circuit Breakers in the world of DeFi.
Safeguarding your smart contracts is not just about auditing, but also about having the right security layers in place.
Stay SAFU!
The security of smart contracts can be enhanced not just with auditors and bounty platforms, but also by adding ✨ Circuit Breaker as extra security layer ✨.
Find out more about Circuit Breakers and security projects for on-chain smart contracts in the thread below. 🧵⬇️
Why Circuit Breakers for Smart Contracts?
Hacks in DeFi usually happens immediately (hacker transfer all funds in 1 tx).
When team puts thru recovery plan with governance, it is too late.
“DeFi Protocols won't have ~30% daily TVL drawdowns unless hacked” (by @MeirBank)
Zerem: DeFi Circuit Breaker by @high_byte
Zerem secures protocols by thresholding the transfer of large funds in temporary vault, to secure the protocol if immediate failure happens.
ERC-7265: Circuit Breaker by @MeirBank, @Diyahir, @tcb_00, @real_philogy
ERC-7265 standardizes a circuit breaker protecting onchain protocol, with highly customized rate limit parameters per asset.
Besides the above purely onchain circuit breakers, we also see some novel implementations leveraging the technology of restaking by @EigenLayer or ZKP. 👀
ODIN: Pause dapps before malicious tx is executed by @blocksek, @zk_asv
ODIN is a security service that uses EigenLayer to bond block builders to follow the rules of ODIN.
ODIN Deep Dive
Block Builders Bonded? > Malicious ones will be slashed based on restaking, thus they are economically aligned.
What Rules? > A property of system that should always hold. Eg: sum of lend txs - sum of borrow txs = tokens left in contract
Contribute to anupsv/odin development by creating an account on GitHub.
HoneyPause: Proactive defense for protocols by @merklejerk
HoneyPause combines onchain bounty with circuit breaker, with the workflow of PROVE an exploit, PAUSE the protocol, Get PAID a bounty.
ODESEC: Onchain Database of Emergency Security Event Contact by @SecurFi
ODESEC takes security layer to another level. ODESEC utilizes zk-proof of exploit for whitehats to blow whistle for alert, and ZK SSL for identifying the hacked project.
That's all for now on the topic of Circuit Breakers in the world of DeFi.
Safeguarding your smart contracts is not just about auditing, but also about having the right security layers in place.
Stay SAFU!
Circuit Breaker as extra security layer .
This standard outlines a smart contract interface for a Circuit Breaker that triggers a temporary halt on protocol-wide token outflows when a threshold is exceeded for a predefined metric. This cir...
EthDenver hack, HoneyPause: a new kind of proactive defense for protocols combining an onchain bounty with a circuit breaker! Now a whitehat can atomically:
PROVE an exploit
PAUSE the protocol
️ Get PAID a bounty
Circuit Breaker as extra security layer .
This standard outlines a smart contract interface for a Circuit Breaker that triggers a temporary halt on protocol-wide token outflows when a threshold is exceeded for a predefined metric. This cir...
EthDenver hack, HoneyPause: a new kind of proactive defense for protocols combining an onchain bounty with a circuit breaker! Now a whitehat can atomically: PROVE an exploit PAUSE the protocol️ Get PAID a bounty
No activity yet