christianvari
Blockchain Engineer | Web3 | Founder @Codezen-SRLS | Lead Auditor @oak-security
Codezen SRLS | Oak SecurityItaly
christianvari's Stars
typescript-cheatsheets/react
Cheatsheets for experienced React developers getting started with TypeScript
Powerlevel9k/powerlevel9k
Powerlevel9k was a tool for building a beautiful and highly functional CLI, customized for you. P9k had a substantial impact on CLI UX, and its legacy is now continued by P10k.
Consensys/smart-contract-best-practices
A guide to smart contract security best practices
boyter/scc
Sloc, Cloc and Code: scc is a very fast accurate code counter with complexity calculations and COCOMO estimates written in pure Go
cosmos/cosmos-sdk
:chains: A Framework for Building High Value Public Blockchains :sparkles:
Consensys/mythril
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.
kisielk/errcheck
errcheck checks that you checked errors.
crytic/building-secure-contracts
Guidelines and training material to write secure smart contracts
crytic/not-so-smart-contracts
Examples of Solidity security issues
Bearer/bearer
Code security scanning tool (SAST) to discover, filter and prioritize security and privacy risks.
poga/awesome-federated-learning
resources about federated learning and privacy in machine learning
crypto-org-chain/chain-main
Cronos POS Chain⛓: Croeseid Testnet and beyond development
sirhashalot/SCV-List
Smart Contract Vulnerabilities (SCV) List
ComposableSecurity/SCSVS
Smart Contract Security Verification Standard
CosmWasm/wasmd
Basic cosmos-sdk app with web assembly smart contracts
Snowfork/snowbridge
A trustless bridge between Polkadot and Ethereum
OffcierCia/tips-solidity-code-auditors
Gaining the most elusive of tips. Add your input and let's collect them all!
transmissions11/headers
Generate perfect code headers every time.
xaynetwork/xaynet
Xaynet represents an agnostic Federated Machine Learning framework to build privacy-preserving AI applications.
cosmos/interchain-security
Replicated security (aka interchain security V1) is an open sourced IBC application which allows cosmos blockchains to lease their proof-of-stake security to one another.
0xDatapunk/Bridge-Bug-Tracker
Hacks/Vulns/Audits Compilation
engn33r/DeFi-Risk-Modelling-Awesome
Resources for the budding field of risk modelling and analysis in DeFi
oak-security/audit-reports
CosmWasm/sylvia
CosmWasm smart contract framework
oak-security/cosmwasm-security-dojo
spoo-bar/cosmy-wasmy
wibbly wobbly cosmy wasmy tool to interact with cosmwasm contracts
crypto-com/cosmos-sdk-codeql
A query suite for common bug patterns in Cosmos SDK-based applications
machine1104/appuntiTriennale
Appunti corsi Ingegneria Informatica Sapienza
threatdown/threatdown-graph
mabdullah22/WTM
This repo comprises of material related to threat modelling of DEFI and other Blockchain related Ecosystem