How to use sagemath to generate inequalities

asked 2019-07-22 08:21:48 +0200

In cryptography sbox is used to substitute a number with another number(which doesn't have a linear relation to the previous one). So for a 4 bit sbox 16 different inputs give 16 different outputs. I need to get the inequalities of the sbox while giving all the inputs and outputs

edit retag flag offensive close merge delete


Please share with us code that initializes the "sbox", and restate the question more specifically using the introduced instances. We already have many starting points in - please define some sbox of interest in the same spirit and share with us the own (starting) effort to capture the situation by code, and to solve the issue.

dan_fulea gravatar imagedan_fulea ( 2019-07-29 19:18:54 +0200 )edit

i.e. instead of describing your problem abstractly, give a simple concrete example.

Get people started with some code defining the pieces of the puzzle.

That makes answering easier: with some bits to explore, only the last step needs finding.

Otherwise, answering means figuring out where this lives, browsing the documentation, coming up with an example, ... Each of these extra steps decreases the chances of getting an answer.

slelievre gravatar imageslelievre ( 2020-10-11 23:05:57 +0200 )edit