alxiong
Follow
Lists (8)
π Awesome
Awesome lists to read9 repositories
π§βπ€βπ§ Consensus
Network, consensus, P2P1 repository
πͺ Cryptography
Cryptography related47 repositories
β Formal Verification
6 repositories
π€ Machine Learning
AI/ML4 repositories
π Security
Vulnerabilities, security, exploits2 repositories
π Smart Contract
Smart contract languages, tools, security, best practices etc.2 repositories
γοΈ TEE
Trusted Execution Environment is underrated2 repositories
Stars
4
stars
written in OCaml
Clear filter
EasyCrypt: Computer-Aided Cryptographic Proofs
Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)
Experiments with Universal Composability in EasyCrypt