BTC Language
* Fix signature constraints: enforce throught the constraints that it's not possible to find a valid signature for a given pubkey
Showing
- symbolic_execution/hardware/machines/btc_machine.py 21 additions, 8 deletionssymbolic_execution/hardware/machines/btc_machine.py
- symbolic_execution/language/bitcoin/op_codes.py 17 additions, 3 deletionssymbolic_execution/language/bitcoin/op_codes.py
- symbolic_execution/language/bitcoin/symbolic_interpreter.py 20 additions, 24 deletionssymbolic_execution/language/bitcoin/symbolic_interpreter.py
- symbolic_execution/program/instruction/stack_based.py 7 additions, 1 deletionsymbolic_execution/program/instruction/stack_based.py
Loading
Please register or sign in to comment