cryptolu / LegendrePRF
Cryptanalysis of the Legendre PRF Challenges
☆11Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for LegendrePRF
- ecdsattack is a package which retrieves private keys from faulted ECDSA signatures.☆40Updated last year
- ☆17Updated last year
- Automated verification of uniqueness property for ZKP circuits☆41Updated 5 months ago
- Notes on cryptographic schemes and attacks☆25Updated 5 years ago
- Some of Our Audit Reports, Presentations, etc☆11Updated 7 months ago
- An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algori…☆13Updated 3 years ago
- Proof of concept snark prover for the minroot vdf.☆11Updated 3 years ago
- ☆14Updated 5 years ago
- Elliptic curve search experiments☆35Updated last year
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Updated 2 years ago
- Critical vulnerabilities. Using zero to attack zero-knowledge proof (ZKP) PLONK C++ and ECDSA, $15000 award☆64Updated last year
- ☆22Updated last month
- Misuse cases of Cryptography in real world software products☆11Updated 6 years ago
- ☆15Updated 3 years ago
- Basis Reduction Algorithms for Codes (LLL and more)☆26Updated 8 months ago
- ☆18Updated 4 years ago
- ☆18Updated last year
- supplement material for BlackHat2020 talk: Multiple Bugs in Multi-Party Computation: Breaking Cryptocurrency's Strongest Wallets☆12Updated 4 years ago
- SIPP(Statistically sound Inner Pairing Product) verification in SNARK☆18Updated last year
- Falcon signature and its ZKP extensions☆16Updated 2 years ago
- ☆22Updated 9 months ago
- ☆13Updated 3 years ago
- Designing Secure Cryptography☆21Updated 5 years ago
- Oblivious key-value store based on Circuit ORAM☆13Updated 4 months ago
- elliptic curve construction tool☆17Updated last year
- A rusty implementation of the Caulk+ lookup algorithm.☆12Updated last year
- ☆28Updated last month
- ☆46Updated last year
- A Symbolic Execution Tool for Cairo☆15Updated 2 years ago
- A note on multivariate lookup arguments☆10Updated last year