Web3 极客日报 #1257

NFT借贷协议机制比较：价格下跌会导致借贷连环清算吗

https://www.panewslab.com/zh/articledetails/355wotn1.html

Mark·R: 多个NFT项目接连关闭，借贷平台面临坏账风险，NFT市场正面临新一轮压力测试及生存考验，让我们分析下目前主流协议是否会出现luna一般的死亡螺旋

简化版的 PlonK 协议实现

https://github.com/Antalpha-Labs/baby-plonk

Harry: 一个简化版的 PlonK 协议，代码基于 PlonKathon( https://t.ly/62kdV ) 修改，协议核心部分是基于郭宇老师的 PlonK 介绍文章( https://t.ly/5x6v )实现的。主要目标是学习和理解 PlonK 协议的核心原理，所以去掉了优化的部分。

Slither 中间语言 SlitherIR

https://github.com/crytic/slither/wiki/SlithIR

shooter: Slither 将 Solidity 转换为中间表示 SlithIR，以通过简单的 API 实现高精度分析。