Stars
Fair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations.
zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, facilitating efficient communication and collaboration betwe…
curation of all(most) immunefi bug bounty writeups I could find(till now)
Emerging smart contract language for the Ethereum blockchain.
A curated list of smart contracts security audits checklists and resources.
This repository contains list of resources to aid your journey of mastering Zero Knowledge Proofs. If you find any resource missing, you can create a pull request and be a contributor of the project.
This Repository contains list of Common Solidity SmartContract Attack Vectors. If you find any attack vectors missing, you can create a pull request and be a contributor of the project.
A Solidity smart contract auditing checklist
A guide to smart contract security best practices
A guide to smart contract security best practices
This is a vulnerable NFT contract for the Soroban platform.
This repository contains some content about BLS signature.
This repository contains my Rareskills Solidity Bootcamp work.
syntax highlighting component for react with prismjs or highlightjs ast using inline styles
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
VSCode Extension to mark files in the explorer
Here we discuss how one can investigate crypto hacks and security incidents, and collect all the possible tools and manuals! PRs are welcome! If any tool is missing - please open PR!
Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts.
Go implementation of Ethereum proof of stake
Code for the manim-generated scenes used in 3blue1brown videos