zeta1999 / grainofsalt Goto Github PK
View Code? Open in Web Editor NEWThis project forked from msoos/grainofsalt
Grain of Salt equation generator
License: Other
This project forked from msoos/grainofsalt
Grain of Salt equation generator
License: Other
Please read help: ./grainofsalt --help The program generates CNFs for stream ciphers. The cipher can easily be changed or modified, see configuration files under 'build'. There are a multitude of options. The most important ones are: --crypto : which cryptographic primitive is to be used --outputs : number of known output bits --probBits : number probabilistic help bits given (needed to aid soving, otherwise it's too long) --num : number of CNF files to generate --debug : all help bits will be correct, so the resulting CNFs will all be SATisfiable The descriptions of the cryptographic primitives are under their own di- rectories, i.e. 'build/crypto1' or 'build/trivium'. You can make your own, just define the feedback&filter functions, plus the output functions of the cryptographic problem. You need to provide the ANF to these functions: each line is a monomial, and each line is XOR-ed with each other to create the final polynomial. For example, 'grain/functions/output.txt' describes the output function of the cipher Grain. The notation used in these files are: srX = shift regiser number X, fX = filter function number X. For example, filter function number 0 is under 'grain/functions/f0.txt' Example usage: go to the "buid" directory, and issue: ./grainofsalt --num 100 --outputs 90 --crypto grain --probBits 70 Generates 100 problems into 'build/satfiles'. These problems are based on the Grain cipher, with 90 bits of observed output, random key, random plaintext, and 70 randomly given key bits, all bits set randomly to 0 or 1. For more a complete HOWTO, please go to my website: just google "Mate Soos"
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.