Web3ReadList
https://medium.com/taipei-ethereum-meetup/%E6%89%8B%E6%8A%8A%E6%89%8B%E5%BE%9E%E9%9B%B6%E7%99%BC%E8%A1%8C-starknet-nft-%E4%B8%80-3309afbca84 基于 #cario 的NFT 智能合约全流程开发
https://blog.spruceid.com/tutorial-build-a-token-gated-app-with-sign-in-with-ethereum-and-ssx/
构造仅允许某种代币持有者可进入的 APP 的教程
构造仅允许某种代币持有者可进入的 APP 的教程
SpruceID
Tutorial: Build a Basic Token-Gated App with SSX, RainbowKit, and Alchemy
This example will show developers how to build and enable token-gated access in their dapp with SSX based on holding an ENS name. Additionally, it will show a developer how to also use SSX with RainbowKit and Alchemy.
👍1
https://a16zcrypto.com/symbolic-testing-with-halmos-leveraging-existing-tests-for-formal-verification/
#a16z 的形式化验证 #formalVerify 工具
#a16z 的形式化验证 #formalVerify 工具
a16z crypto
Symbolic testing with Halmos for formal verification - a16z crypto
We cover the challenges of formal verification, and the potential to bridge the gap between unit testing and formal verification with symbolic testing.
👍2
https://github.com/ZeframLou/universal-bridge
一个对跨链桥进行包装的合约,简化了跨链信息发送
一个对跨链桥进行包装的合约,简化了跨链信息发送
GitHub
GitHub - ZeframLou/universal-bridge: Unified interface for sending messages from Ethereum to other chains and rollups.
Unified interface for sending messages from Ethereum to other chains and rollups. - ZeframLou/universal-bridge
👍1
使用 Nostr 协议阅读频道:
公钥:
npub1tgchcka8qc8q0ylh0xzarzqmdqgy766t3kwakjyjfajrhasvu3vqdfawvp
Relay:
wss://nos.lol
公钥:
npub1tgchcka8qc8q0ylh0xzarzqmdqgy766t3kwakjyjfajrhasvu3vqdfawvp
Relay:
wss://nos.lol
❤2
Web3ReadList pinned «使用 Nostr 协议阅读频道: 公钥: npub1tgchcka8qc8q0ylh0xzarzqmdqgy766t3kwakjyjfajrhasvu3vqdfawvp Relay: wss://nos.lol»