bdd-predicate
bdd-predicate copied to clipboard
malb
Solving BDD and uSVP with predicate
Ran into this message after the scale strategy was running around 10 hours. "~$ sage -python bdd-predicate/ecdsa_cli.py solve -c secp256k1 -f scale -p 8 bdd-predicate/sample_input.txt Warning: Triple sieve exited because...
assert self.vk.verify_digest(binascii.unhexlify(r + s), binascii. unhexlify(h)) File "/usr/local/lib/python3.8/dist-packages/ecdsa/keys.py", line 7 36, in verify_digest raise BadSignatureError("Signature verification failed") ecdsa.keys.BadSignatureError: Signature verification failed Data: 252 2503c98044978d05e58731b79ede85b20812277abc1fdd357c9b48dbd962c93a 5639dfdc8ebc5bb8e3f1ca5c01c0f72bb8805192b6371fa8f7f4b983c3dc52760324dfe5559f104a992b5afad5a8e4f215ca3d555cef7381dfd9ebe59a20a1d2 16d983757e7d4bed7ed027f1a3c28456ceff746fa7596ef7c7157bd06d7a07c71ea5e685e9fd3e91af9fb3528bdfa5806a106f4f742a246ba7c2994b68966bfa 252 e152b8c19c5305b927baa382de6294e71e2ff82151f7e1f9b1c6a2d3aed2740b 4c84672c7999f9cb7870f026c608615644348a18ea1167ef30bfa60418e22efa51522dcc056b8b4475bf927426f5643646e8807e898fcbba8aaf022601424643 16d983757e7d4bed7ed027f1a3c28456ceff746fa7596ef7c7157bd06d7a07c71ea5e685e9fd3e91af9fb3528bdfa5806a106f4f742a246ba7c2994b68966bfa...
I'm a student of Nadia's and changed the ECDSA-HNP code to work for arbitrary (not necessarily 0) leaked MSBs or LSBs. The main changes are the lattice construction, predicate checks,...
Maybe link this in the readme or just have it here: https://ntt-research.com/cis-nadia-heninger-2021summit-summary/ Very good talk and helpful addition to the paper and repository.
DSA
Hello Martin! Is it possible to use your approach with a minor changes for DSA? WBR, Igor
Hello Martin, after some work with WSL and Debian I was able to get sage and g6k working. Some of your instructions did not work for me. I had to...
Hello,and what command should I write so that I can generate from my pubkey?Help please
Hello, Martin et all! Please, can you add additional feature (if it is possible by algebraic reasons) - which provides ability for finding hidden number with lattice basis reduction. For...
There is a bug in the scale strategy sage -python ecdsa_cli.py solve -c secp256k1 -f scale -p 8 sample_input.txt --loglvl DEBUG % solving with bkz-enum % solving with {'block_size': 3,...
