Alan Bertani's repositories
alk0x1.github.io
My blog
crash-course
Basic syntax of Rust
damn-vulnerable-defi
The offensive security playground for the decentralized finances.
process-monitor
a process viewer made in rust
rawsocket-tcp-rust
a rust client server application using only raw sockets without std::net tcp helpers
descentramazon
Amazon but descentralized
distributed-calculation-engine
a distributed and fault tolerant calculation engine (not finished)
formal-cryptography
Some cryptography algorithms implemented in Coq (Proof Assistant Language)
Interactive-proof-system
A abstract machine representing interactive proof systems
Mongodb-Relations-CRUD
Applying relationships in a mongodb crud
os-dashboard
dashboard that shows information about the OS
PLT
some proofs and definitions in Agda and Coq
private-tcp
tcp protocol writted from scratch with payload encryption
rawsocket-udp-rust
client/server app that transfer files using the UDP protocol implemented from scratch
rust-common-algorithms
Common algorithms writed in Rust
SecretNetwork-cli
𝕊 The Secret Network
TSBlockchain
A simple Blockchain made with Typescript.
type-systems
Some notes and implementations of type systems and type-challenges solutions
warp-crud
basic crud maded with rust using warp framework
zkproof-auth-poc
simple zkproof auth proof of concept