IceCY's starred repositories
one-python-craftsman
来自一位 Pythonista 的编程经验分享，内容涵盖编码技巧、最佳实践与思维模式等方面。
DeFiHackLabs
Reproduce DeFi hacked incidents using Foundry.
sql-injection-payload-list
🎯 SQL Injection Payload List
QuantsPlaybook
量化研究-券商金工研报复现
demikernel
Kernel-Bypass LibOS Architecture
awesome-account-abstraction
📖 A curated list of resources dedicated to Account Abstraction (EIP-4337)
verified-smart-contracts
Smart contracts which are formally verified
gas-optimizations
List of smart contract optimizations in solidity
ventus-gpgpu
GPGPU processor supporting RISCV-V extension, developed with Chisel HDL
Web3-Security-Tools
This repository contains a list of the most popular and widely used tools in web3 security. If you find any tools missing, you can create a pull request and be a contribute the project.
awesome-db-benchmarks
Community driven list of database benchmarks
confidential-computing-zoo
Confidential Computing Zoo provides confidential computing solutions based on Intel SGX, TDX, HEXL, etc. technologies.
ConcurrencyPaper
Concurrency Paper
riscv-cfi
This repo holds the work area and revisions of the RISC-V CFI (Shadow Stack and Landing Pads) specifications. CFI defines the privileged and unprivileged ISA extensions that can be used by privileged and unprivileged programs to protect the integrity of their control-flow.
certifier-framework-for-confidential-computing
The Confidential Computing Certifier Framework consists of a client API called the Certifier-API and server-based policy evaluation called the Certifier Service. It simplifies and unifies programming and operations support for multi-vendor Confidential Computing platforms by providing support for scalable, policy-driven trust management including
qemu_usage
qemu tools usage