是否有任何工具可以將密碼操作表示為方程組？

代數攻擊的第一步是將密碼操作表示為方程組。是否有自動化工具可以做到這一點？

從理論上講，這些方程可以從硬體描述語言（如 VHDL 或 Verilog）中的密碼表示中推導出來；您實現密碼就好像您想製作一個執行它的 FPGA/ASIC，但是您停留在邏輯門的符號表示（“網表”）上。但是，我不知道有任何現有的轉換工具可以將網表轉換為格式正確的方程式序列，以適用於您要用於執行攻擊的任何方程式求解器。

引用自：https://crypto.stackexchange.com/questions/123