lambdaclass/cairo-vm_in_go
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 that a certain computation was executed correctly without the need for this party to re-execute the same program.
GoApache-2.0
Issues
- 0
Assorted Hints (3/4)
#266 opened by jrchatruc - 0
Add `uint256` module hints
#189 opened by entropidelic - 0
Remaining Blake2s Hints
#254 opened by jrchatruc - 0
Remaining Sha256 Hints
#259 opened by jrchatruc - 0
Blake2s Hints
#198 opened by jrchatruc - 1
Remaining Uint Hints (2/3)
#262 opened by jrchatruc - 1
Remaining Uint256 Hints (1/2)
#252 opened by jrchatruc - 0
Secp Hints
#203 opened by jrchatruc - 0
EC DOUBLE ASSIGN Hints
#235 opened by mmsc2 - 1
Add `dict` module hints
#188 opened by entropidelic - 0
`usort` Hints
#193 opened by jrchatruc - 0
Consider representing builtin's `StopPointer` as the full Relocatable instead of just its offset
#304 opened by fmoletta - 1
Implement a Program Serialization method
#299 opened by pefontana - 1
Assorted Hints (1/4)
#264 opened by jrchatruc - 0
- 0
Assorted Hints (2/4)
#265 opened by jrchatruc - 0
Keccak Hints
#195 opened by jrchatruc - 0
Unify conventions around usage of `big.Int`
#294 opened by fmoletta - 0
FAST EC ADD ASSIGN NEW X
#236 opened by mmsc2 - 1
Secp Remaining Hints (2/3)
#256 opened by jrchatruc - 0
Signature Hints
#202 opened by jrchatruc - 0
Add `set` and `find_element` module hints
#190 opened by entropidelic - 0
Missing check for execScopes in `CairoRunner.EndRun`
#285 opened by fmoletta - 0
Get rid of the `proof_programs` directory
#282 opened by jrchatruc - 0
EC SLOPE hints
#234 opened by mmsc2 - 0
Remaining Uint256 Hints (2/2)
#253 opened by jrchatruc - 0
Fix builtin configuration for each layout
#204 opened by entropidelic - 0
EC MUL INNER hint
#237 opened by mmsc2 - 1
find_element Hints
#197 opened by jrchatruc - 0
Secp Remaining Hints (1/3)
#255 opened by jrchatruc - 0
Squash Dict Hints
#196 opened by jrchatruc - 0
`ASSERT_250_BITS` and `SPLIT_FELT` hints
#194 opened by jrchatruc - 0
Secp Remaining Hints (3/3)
#269 opened by jrchatruc - 0
Storage Hints
#268 opened by jrchatruc - 0
Assorted Hints (4/4)
#267 opened by jrchatruc - 0
Remaining Uint Hints (3/3)
#263 opened by jrchatruc - 0
Remaining Uint Hints (1/3)
#261 opened by jrchatruc - 0
Remaining Keccak Hints
#260 opened by jrchatruc - 0
Temporary Segments Hints
#258 opened by jrchatruc - 0
- 0
Remaining assorted EC hints
#251 opened by jrchatruc - 0
Remaining EC_RECOVER Hints
#250 opened by jrchatruc - 0
Remaining EC_DOUBLE Hints
#249 opened by jrchatruc - 0
Builtin Keccak hints (1/2)
#247 opened by jrchatruc - 0
Builtin Keccak Hints (2/2)
#248 opened by jrchatruc - 0
Add `POW` and `SQRT` hints
#187 opened by entropidelic - 0
Add `usort` module hints
#191 opened by entropidelic - 0
Replace felt comparisons using the `Bits()` method with the normal comparisons
#229 opened by jrchatruc - 0
Document Proof mode
#227 opened by jrchatruc - 0
Fix `div_mod` implementation
#211 opened by jrchatruc