| #!/usr/bin/python3 | |
| import sympy | |
| import re | |
| import keyword | |
| """ | |
| symbolic expression tool | |
| - expression with '==' -> solves for all free variables, or for the var specified with '-x' | |
| - expr without '==' -> simplify | |
| - assignment: store resulting expr in var |
| import math | |
| import matplotlib.pyplot as plt | |
| import mpl_toolkits.mplot3d as a3 | |
| from matplotlib.animation import FuncAnimation | |
| from dataclasses import dataclass | |
| from collections import defaultdict | |
| import numpy | |
| """ | |
| Author: Willem Hengeveld <[email protected]> |
| #!/bin/bash | |
| # This script is useful when you are not sure about which processor your binary is. | |
| # the script makes sure there are not more than 8 simultaneous ida processes active. | |
| for cpu in ARMB ARM alphab alphal ad218x kr1878 arcmpct arc arcv2 AVR oakdsp PDP11 dalvik ebc F2MC16L F2MC16LX fr h8300a h8300 h8s300a h8s300 h8sxa h8sx h8sxm h8sxn h8368 h8500 s390 s390x 80196 80196NP 80251b 80251s 8051 8051mx 80930b 80930s athlon k62 80286p 80286r 80386p 80386r 80486p 80486r 8086 p4 p2 p3 80686p 80586p 80586r metapc 860xp 860xr i960b i960l i960 java octeonb octeonl mipsr mipsrl r5900b r5900l mipsb mipsl psp tx19ab tx19al m65816 m65c816 M6502 M65C02 PIC12Cxx PIC16Cxx PIC18Cxx PIC24 PIC30 PIC33 cli net m7700 m7750 m32r m32rx m740 m7900 dsp56k dsp561xx dsp563xx dsp566xx hcs08 6301 6303 68330 ColdFire HCS12 HCS12X 6800 68000 6801 68010 68020 68851 68882 68020EX 6803 68030 68040 6805 6808 6809 6811 6812 6816 68K 78k0s 78k0 V850 V850E V850E1 V850E2M RH850 hppa 51XA-G3 PPC PPCL QDSP6 SH2A SH3B SH3 SH4B SH4 RL78 m16c20 m |
Volume I: RISC-V Unprivileged ISA V20191214-draft
This document describes the RISC-V unprivileged architecture.
The ISA modules marked Ratified have been ratified at this time. The modules marked Frozen are not expected to change significantly before being put up for ratification. The modules marked Draft are expected to change before ratification.
This chapter describes the RV32I base integer instruction set.
RV32I was designed to be sufficient to form a compiler target and to support modern operating system environments. The ISA was also designed to reduce the hardware required in a minimal implementation. RV32I contains 40 unique instructions, though a simple implementation might
| """ | |
| PT/CT pairs | |
| Key expanded Plaintext Ciphertext | |
| AAAAAAAA AAAAAAAA AAAAAAAAAA VTPL?DL?HV | |
| AAAAAAAA AAAAAAAA ABCDEFGHIJKLMNOPQRSTUVWXY VMHTL?QFPCBKSZCJGRZM-EEEZ | |
| AAAA AAAAAAAA BBBB OTBZ | |
| AAAAAAAA AAAAAAAA BBBBBBBBBB OTBZNRZNVA | |
| AAAAAAAA AAAAAAAA BBBBBBBBBBBBBBBB OTBZNRZNVAJRJFVR | |
| AAA AAAAAAAA BBBBBBBBBBBBBBBBBBBBBBBBB OTBZNRZNVAJRJFVRVVOTVBBJB |
| """ | |
| Author: [email protected] | |
| """ | |
| import html.parser | |
| import html | |
| import urllib.request | |
| import json | |
| from datetime import datetime, timedelta | |
| import re | |
| import os |
| Secp256k1 | EdDSA | |
|---|---|---|
| message | m = hash(M) | M, given |
| privkey | . | given |
| private-key | x, given | x = low32(sha512(privkey)) |
| signing-secret | k, given | k = sha512(high32(sha512(privkey)) // M) |
| privkey-to-pubkey | Y = G * x | Y = G * x |
| calc-R | R = G * k | R = G * k |
| r-value | r = R.x | r = SHA512(R // Y // M) |
| s-value | s = (m + x * r) / k | s = k + x * r |
Demonstrate how to calculate the messagehash for the two signatures in this transaction
See ecdsa_demo.py for code showing how to use this to crack the bitcoin secret key.
These are the values extracted from the example transaction below:
pk="04 db d0 c6 15 32 27 9c f7 29 81 c3 58 4f c3 22 16 e0 12 76 99 63 5c 27 89 f5 49 e0 73 0c 05 9b 81 ae 13 30 16 a6 9c 21 e2 3f 18 59 a9 5f 06 d5 2b 7b f1 49 a8 f2 fe 4e 85 35 c8 a8 29 b4 49 c5 ff"
r="d4 7c e4 c0 25 c3 5e c4 40 bc 81 d9 98 34 a6 24 87 51 61 a2 6b f5 6e f7 fd c0 f5 d5 2f 84 3a d1"
s1="44 e1 ff 2d fd 81 02 cf 7a 47 c2 1d 5c 9f d5 70 16 10 d0 49 53 c6 83 65 96 b4 fe 9d d2 f5 3e 3e"
| from z3 import * | |
| # https://www.youtube.com/watch?v=9ATC_uBF8ow | |
| # Normal sudoku rules apply. | |
| # - ALL horizontally and vertically neighbouring digits with the sum 10 are marked with X; | |
| # - ALL horizontally and vertically neighbouring digits with the sum 5 are marked with V. | |
| # these pairs sum to 10: | |
| # (0,2) + (1,2), (0,4) + (1,4), (0,6) + (1,6) | |
| # (1,1) + (2,1), (1,3) + (2,3), (1,5) + (2,5), (1,7) + (2,7) | |
| # (2,2) + (3,2), (2,4) + (3,4), (2,6) + (3,6) |