Language
17 repositories · 584 stars · 129 forks
blockchain reference and demos
A Symbolic Execution Tool for Cairo
Simplified example cryptocurrency implementation in Racket
Precise Attack Synthesis for DeFi Apps
A Huff compiler implemented in Racket
A static analysis framework and suite
Library for common symbolic execution utilities
Working out how to use config-tethered-console-bin-dir in config.rktd
Crypto Convertor To convert LTC into BTC
Connect node through shell script
A Cairo virtual machine implemented in Racket
Blockchain Course
Analysis of the “double spend” attack on Bitcoin.
Progetto di CyberSecurity, AA 2018/2019 @tatalessap @Frac7
Bitcoin Scripting Language
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.