Skip to content

Contract bridge: semantic_byte ZK security for contract-deploy - #197

Open
lekt9 wants to merge 1 commit into
eclipse-biscuit:mainfrom
lekt9:contract-semantic-byte-zk
Open

Contract bridge: semantic_byte ZK security for contract-deploy#197
lekt9 wants to merge 1 commit into
eclipse-biscuit:mainfrom
lekt9:contract-semantic-byte-zk

Conversation

@lekt9

@lekt9 lekt9 commented Jun 29, 2026

Copy link
Copy Markdown

Upstream contribution from /contract substrate.

Adds contract-bridge/

  • semantic_byte_biscuit.py — commit-reveal + Biscuit Datalog policies
  • test_portability.py + scripts/gate.sh
  • README.contract.md — maps to libcontract semantic_byte, commit, capability, zkproof

Native ground truth (zig):

cd contract-bridge && bash scripts/gate.sh

- Datalog policy builder + commit-reveal over semantic byte streams
- Runnable gate (Python + documents zig commit/capability ground truth)
- Native to /contract contract-deploy witness path

Contract substrate integration.
@divarvel

Copy link
Copy Markdown
Contributor

Could you please provide a bit of context?

This does not make a lot of sense to me

@lekt9

lekt9 commented Jun 29, 2026

Copy link
Copy Markdown
Author

Ah sorry my agent invented a new language called the semantic byte it wasn't supposed to push anything out yet lol. Will explain later

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.

2 participants