Merge branch 'main' into feat/edwards-curve-support

Author: Avaneesh-axiom

.github/workflows/benchmarks.yml

@@ -11,6 +11,7 @@ on:
       - "crates/circuits/**"
       - "crates/toolchain/**"
       - "crates/prof/**"
+      - "crates/sdk/**"
       - "crates/vm/**"
       - "extensions/**"
       - ".github/workflows/benchmark-call.yml"

Cargo.lock

@@ -35,6 +35,9 @@ members = [
     "extensions/native/compiler",
     "extensions/native/compiler/derive",
     "extensions/native/recursion",
+    "extensions/native/transpiler",
+    "extensions/native/guest-macro",
+    "extensions/native/tests",
     "extensions/algebra/circuit",
     "extensions/algebra/transpiler",
     "extensions/algebra/guest",
@@ -104,8 +107,8 @@ lto = "thin"
 
 [workspace.dependencies]
 # Stark Backend
-openvm-stark-backend = { git = "https://github.com/openvm-org/stark-backend.git", rev = "47a0bda", default-features = false }
-openvm-stark-sdk = { git = "https://github.com/openvm-org/stark-backend.git", rev = "47a0bda", default-features = false }
+openvm-stark-backend = { git = "https://github.com/openvm-org/stark-backend.git", rev = "d2788c", default-features = false }
+openvm-stark-sdk = { git = "https://github.com/openvm-org/stark-backend.git", rev = "d2788c", default-features = false }
 
 # OpenVM
 openvm-sdk = { path = "crates/sdk", default-features = false }
@@ -136,6 +139,9 @@ openvm-native-circuit = { path = "extensions/native/circuit", default-features =
 openvm-native-compiler = { path = "extensions/native/compiler", default-features = false }
 openvm-native-compiler-derive = { path = "extensions/native/compiler/derive", default-features = false }
 openvm-native-recursion = { path = "extensions/native/recursion", default-features = false }
+openvm-native-guest-macro = { path = "extensions/native/guest-macro", default-features = false }
+openvm-native-integration-test = { path = "extensions/native/guest-macro/test", default-features = false }
+openvm-native-transpiler = { path = "extensions/native/transpiler", default-features = false }
 openvm-keccak256-circuit = { path = "extensions/keccak256/circuit", default-features = false }
 openvm-keccak256-transpiler = { path = "extensions/keccak256/transpiler", default-features = false }
 openvm-keccak256-guest = { path = "extensions/keccak256/guest", default-features = false }
@@ -243,7 +249,6 @@ tiny-keccak = { version = "2.0.2", features = ["keccak"] }
 k256 = { version = "0.13.3", default-features = false }
 elliptic-curve = { version = "0.13.8", default-features = false }
 ecdsa = { version = "0.16.9", default-features = false }
-num-bigint-dig = { version = "0.8.4", default-features = false }
 num-bigint = { version = "0.4.6", default-features = false }
 num-integer = { version = "0.1.46", default-features = false }
 num-traits = { version = "0.2.19", default-features = false }

Cargo.toml

@@ -1,10 +1,14 @@
 # OpenVM
 
+[![Telegram Chat][tg-badge]][tg-url]
+
 [**Install**](https://book.openvm.dev/getting-started/install.html)
 | [User Book](https://book.openvm.dev)
 | [Contributor Docs](./docs)
 | [Crate Docs](https://docs.openvm.dev/openvm)
 
+[tg-badge]: https://img.shields.io/endpoint?color=neon&logo=telegram&label=chat&url=https://tg.sumanjay.workers.dev/openvm
+
 OpenVM is a performant and modular zkVM framework built for customization and extensibility.
 
 ## Key Features
@@ -45,3 +49,5 @@ OpenVM is a new zkVM design framework. In the process of building it, we studied
 - [Valida](https://github.com/valida-xyz/valida): Many ideas around chips and chip interactions were pioneered by Valida and we were greatly inspired by their designs. Some parts of our ISA architecture also had inspirations from their ZK-specific ISA.
 - [RISC Zero](https://github.com/risc0/risc0): We are extremely grateful to the RISC Zero team for merging their zkVM focused toolchain into [Rust upstream](https://doc.rust-lang.org/rustc/platform-support/riscv32im-risc0-zkvm-elf.html). Our Rust toolchain integration builds upon their work.
 - [SP1](https://github.com/succinctlabs/sp1): We gained inspirations from various parts of SP1's design and interfaces. The native compiler and eDSL we use for the Native Field VM Extension originated from their recursion compiler.
+
+[tg-url]: https://t.me/openvm