feat(blockifier): add Secp256r1 cairo native syscalls

starkware-libs · Oct 29, 2024 · 4b482f6 · 4b482f6
1 parent ded98cf
commit 4b482f6
Show file tree

Hide file tree

Showing 5 changed files with 254 additions and 98 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -90,14 +90,14 @@ byteorder = "1.4.3"
 bytes = "1"
 cached = "0.44.0"
 cairo-felt = "0.9.1"
-cairo-lang-casm = "2.8.2"
-cairo-lang-runner = "2.8.2"
-cairo-lang-sierra = "=2.8.2"
-cairo-lang-sierra-to-casm = "2.8.2"
-cairo-lang-starknet-classes = "2.8.2"
-cairo-lang-utils = "2.8.2"
+cairo-lang-casm = "2.8.4"
+cairo-lang-runner = "2.8.4"
+cairo-lang-sierra = "=2.8.4"
+cairo-lang-sierra-to-casm = "2.8.4"
+cairo-lang-starknet-classes = "2.8.4"
+cairo-lang-utils = "2.8.4"
 # Important: when updated, make sure to update the cairo-native submodule as well.
-cairo-native = "0.2.0-alpha.2"
+cairo-native = { git = "https://github.com/lambdaclass/cairo_native.git", branch = "main"}
 cairo-vm = "=1.0.1"
 camelpaste = "0.1.0"
 chrono = "0.4.26"

diff --git a/crates/blockifier/cairo_native b/crates/blockifier/cairo_native
+36 −0		.github/actions/install-linux-deps/action.yml
+9 −9		.github/workflows/bench-hyperfine.yml
+22 −33		.github/workflows/ci.yml
+95 −0		.github/workflows/daily.yml
+3 −3		.github/workflows/publish.yml
+3 −3		.github/workflows/release.yml
+2 −2		.github/workflows/rustdoc.yml
+132 −0		.github/workflows/starknet-blocks.yml
+190 −361		Cargo.lock
+37 −33		Cargo.toml
+15 −14		Makefile
+2 −0		README.md
+6 −80		benches/benches.rs
+17 −0		benches/compile_time.rs
+54 −3		benches/libfuncs.rs
+1 −1		docs/execution_walkthrough.md
+33 −45		docs/implementing_libfuncs.md
+10 −0		docs/release.md
+4 −4		env.sh
+3 −3		examples/erc20.rs
+3 −3		examples/starknet.rs
+42 −48		programs/compile_benches/dijkstra.cairo
+8 −17		programs/compile_benches/extended_euclidean_algorithm.cairo
+78 −27		programs/compile_benches/fast_power.cairo
+0 −285		programs/compile_benches/sha256.cairo
+539 −0		programs/compile_benches/sha512.cairo
+9 −7		runtime/Cargo.toml
+367 −117		runtime/src/lib.rs
+1 −1		rust-toolchain.toml
+1 −1		scripts/bench-hyperfine.sh
+48 −0		scripts/cmp_state_dumps.sh
+32 −0		scripts/diff-check.sh
+18 −19		src/arch.rs
+12 −0		src/arch/aarch64.rs
+12 −0		src/arch/x86_64.rs
+23 −13		src/bin/utils/mod.rs
+21 −9		src/compiler.rs
+15 −1		src/context.rs
+4 −1		src/error.rs
+39 −27		src/executor.rs
+12 −4		src/executor/contract.rs
+57 −17		src/ffi.rs
+381 −181		src/libfuncs/array.rs
+7 −31		src/libfuncs/box.rs
+5 −3		src/libfuncs/circuit.rs
+19 −4		src/libfuncs/debug.rs
+1 −8		src/libfuncs/felt252.rs
+1 −2		src/libfuncs/felt252_dict.rs
+146 −113		src/libfuncs/felt252_dict_entry.rs
+5 −5		src/libfuncs/function_call.rs
+2 −2		src/libfuncs/gas.rs
+7 −31		src/libfuncs/nullable.rs
+43 −4		src/libfuncs/sint128.rs
+38 −3		src/libfuncs/sint16.rs
+38 −3		src/libfuncs/sint32.rs
+38 −3		src/libfuncs/sint64.rs
+38 −3		src/libfuncs/sint8.rs
+344 −747		src/libfuncs/starknet.rs
+676 −1,507		src/libfuncs/starknet/secp256.rs
+15 −2		src/metadata/drop_overrides.rs
+15 −2		src/metadata/dup_overrides.rs
+37 −39		src/metadata/realloc_bindings.rs
+185 −74		src/metadata/runtime_bindings.rs
+164 −234		src/starknet.rs
+256 −416		src/starknet_stub.rs
+5 −1		src/types.rs
+19 −24		src/types/array.rs
+21 −3		src/types/felt252_dict.rs
+8 −9		src/types/felt252_dict_entry.rs
+5 −6		src/types/squashed_felt252_dict.rs
+65 −7		src/types/starknet.rs
+17 −14		src/utils.rs
+87 −1		src/utils/block_ext.rs
+131 −0		src/utils/mem_tracing.rs
+113 −87		src/values.rs
+6 −6		tests/alexandria/Scarb.lock
+4 −4		tests/alexandria/Scarb.toml
+1 −1		tests/common.rs
+0 −2		tests/tests/boolean.rs
+4 −4		tests/tests/starknet/contracts/test_u256_order.cairo
+1 −1		tests/tests/starknet/keccak.rs
+242 −299		tests/tests/starknet/secp256.rs
+4 −4		tests/tests/starknet/syscalls.rs
+1 −1		tests/tests/starknet/u256.rs