cairo-vm_in_go
cairo-vm_in_go copied to clipboard
cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another t...
This PR introduces a unit test for the Is_Quad_Residue hint, ensuring its correctness and consistency across different language environments. The test compares the results obtained from the Go implementation with...
Closes #291 The integration test requires `secp_utils` ([this PR](https://github.com/lambdaclass/cairo-vm_in_go/pull/275)) to be implemented for it to run
Depends on #298 Closes #203
- `BLAKE2S_FINALIZE_V2` #315 - `BLAKE2S_FINALIZE_V3` #315 - `EXAMPLE_BLAKE2S_COMPRESS` #315
- `SHA256_INPUT` #315 - `SHA256_MAIN_CONSTANT_INPUT_LENGTH` - `SHA256_MAIN_ARBITRARY_INPUT_LENGTH` - `SHA256_FINALIZE`
This task requires us to implement the Blake2s Hash function ourselves (as it's a custom one) and a bunch of utility functions. To do it, you can follow the [Python](https://github.com/starkware-libs/cairo-lang/blob/master/src/starkware/cairo/common/cairo_blake2s/blake2s_utils.py)...
- `SUB_REDUCED_A_AND_REDUCED_B` - `UINT384_SPLIT_128` - `ADD_NO_UINT384_CHECK` - `INV_MOD_P_UINT512`
- `UINT128_ADD`
While debugging `uint256_sqrt` hint, I tried to run another integration test: uint256_improvements, this tests requires some hints: > 1. UINT384_SPLIT_128 > 2. UINT128_ADD > 3. Maybe more I opened this...