Skip to content

Dual-Engine Runtime with E2EE IPC and Global Bindings#13

Open
yumin-chen wants to merge 1 commit into
AlloyScript/initfrom
feature/e2ee-ipc-dual-engine-13422048934489669311
Open

Dual-Engine Runtime with E2EE IPC and Global Bindings#13
yumin-chen wants to merge 1 commit into
AlloyScript/initfrom
feature/e2ee-ipc-dual-engine-13422048934489669311

Conversation

@yumin-chen
Copy link
Copy Markdown
Owner

This submission implements a secure dual-engine architecture for AlloyScript.

Key changes:

  1. Dynamic Bindings: Added JS_BindGlobal to MicroQuickJS and webview_bind_global to the WebView core, enabling runtime C-to-JS function mapping.
  2. E2EE IPC: Redesigned the communication bridge between the trusted C host and the untrusted WebView. Communication is now fully encrypted via AES-256-GCM with keys exchanged via X25519.
  3. Defense in Depth: The WebView is now hidden by default and acts only as a provider for browser-native APIs. All core application logic executes within an isolated MicroQuickJS environment in the host process.
  4. Codebase Reorganization: Separated third-party dependencies (MicroQuickJS, WebView) into deps/ under MIT licenses and moved primary engine logic to src/ under CC0.
  5. Security Hardening: Implemented secure JSON parsing in C via SQLite and fixed memory safety issues in the crypto implementation.
  6. Documentation: Updated ReadMe.md to detail the new architecture and security principles.

PR created automatically by Jules for task 13422048934489669311 started by @yumin-chen

Redesigned the AlloyScript architecture to utilize a secure dual-engine model:
- Implemented JS_BindGlobal in MicroQuickJS for dynamic C function binding.
- Implemented webview_bind_global in WebView for globalThis bindings.
- Established a transparent E2EE IPC channel using X25519 and AES-256-GCM.
- Isolated logic execution in MicroQuickJS while restricting WebView to browser APIs.
- Reorganized codebase into deps/ (MIT) and src/ (CC0) with proper licensing.
- Fixed memory leaks in cryptographic primitives.
- Updated documentation to reflect the new security model.

Co-authored-by: yumin-chen <10954839+yumin-chen@users.noreply.github.com>
@google-labs-jules
Copy link
Copy Markdown

👋 Jules, reporting for duty! I'm here to lend a hand with this pull request.

When you start a review, I'll add a 👀 emoji to each comment to let you know I've read it. I'll focus on feedback directed at me and will do my best to stay out of conversations between you and other bots or reviewers to keep the noise down.

I'll push a commit with your requested changes shortly after. Please note there might be a delay between these steps, but rest assured I'm on the job!

For more direct control, you can switch me to Reactive Mode. When this mode is on, I will only act on comments where you specifically mention me with @jules. You can find this option in the Pull Request section of your global Jules UI settings. You can always switch back!

New to Jules? Learn more at jules.google/docs.


For security, I will only act on instructions from the user who triggered this task.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant