Generate proof functions#10

Merged

jCabala merged 2 commits intomasterfrom

generate-proof-functions

Mar 16, 2025

Commits on Mar 15, 2025

feat: Created a function for proving AES128 that will be exposed to users
jCabala
committed
feat: Added key assertions on counter mode operations. Moved tests to appropriate folders for beter readability
jCabala
committed