Pinned Repositories
2022-06-connext
2023-01-blockswap-fv
apuntes-lpp
Materiales de la asignatura Lenguajes y Paradigmas de Programación
auditor-docker
Blockchain-Security-Audit-List
A list of notable Blockchain Security audit companies.
CerTutorials
Practical tutorials of Certora Prover
chainlink
node of the decentralized oracle network, bridging on and off-chain computation
eth-bogota-hackhaton
ETH Bogotá Hackhaton
napalm
ZKP
Zero Knowledge Proof Deivitto
Deivitto's Repositories
Deivitto/auditor-docker
Deivitto/eth-bogota-hackhaton
ETH Bogotá Hackhaton
Deivitto/napalm
Deivitto/ZKP
Zero Knowledge Proof Deivitto
Deivitto/2022-06-connext
Deivitto/2023-01-blockswap-fv
Deivitto/apuntes-lpp
Materiales de la asignatura Lenguajes y Paradigmas de Programación
Deivitto/Blockchain-Security-Audit-List
A list of notable Blockchain Security audit companies.
Deivitto/CerTutorials
Practical tutorials of Certora Prover
Deivitto/chainlink
node of the decentralized oracle network, bridging on and off-chain computation
Deivitto/code423n4.com
code423n4.com source code
Deivitto/Deivitto
Deivitto/Documentation
Deivitto/secureum-a-maze-x-challenges
Deivitto/v1-core
P⛰️rter C⛰️re
Deivitto/week2
Fork for ZK week2
Deivitto/week3
Deivitto/evm-opcodes
Ethereum opcodes and instruction reference
Deivitto/gassless-poaps
Deivitto/l0-sybil-checker
LayerZero Sybil Checker
Deivitto/quickpoc
easy POC template generation from the command line
Deivitto/terminai
A terminal-based LLM wrapper for boosting productivity