…ain the origins and meanings of various hashes and values, such as those in poseidon-zeros and blake-zeros. The tests focus solely on successful scenarios (using ‘except’) and neglect failure cases (which would use ‘expect-failure’)

…iles, like the poseidon directory

…iles, like the poseidon directory

…. It fails to mention certain aspects like ‘transact’, for example

… be the best approach. While it can be utilized for initial generation, the final versions should be committed to the repository

…ption. The tests in ‘transact-tests.repl’ feature numerous commented-out lines, and there requires more test cases. Overall, there is an almost complete absence of code comments.

- The usage of several formal verification annotations is noted, but nothing is checked against.

- The test cases could benefit from being more comprehensive.

…comments please add. Additionally, the test suite requires more explanatory comments

…ain the origins and meanings of various hashes and values, such as those in poseidon-zeros and blake-zeros. The tests focus solely on successful scenarios (using ‘except’) and neglect failure cases (which would use ‘expect-failure’)

…ion. The tests in ‘transact-tests.repl’ feature numerous commented-out lines, and there requires more test cases. Overall, there is an almost complete absence of code comments

…ion. The tests in ‘transact-tests.repl’ feature numerous commented-out lines, and there requires more test cases. Overall, there is an almost complete absence of code comments