Skip to content

Symbolic-Execution/coordinator

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

coordinator

Rust coordinator service for the symbolic execution stack.

Current slice:

  • exposes the public HTTP API from repos/spec/coordinator
  • verifies real EIP-712 signatures for reader registration and disclosure
  • tracks nonce replay protection and disclosure request state in memory
  • proxies reader registration and to-reader operations to mpc
  • proxies handle resolution to the coprocessor
  • resolves disclosure controllers on-chain with eth_call against request.contract

Not implemented yet:

  • durable storage for readers, nonces, and disclosures
  • production coprocessor integration contract validation
  • background polling or retry workers

Run

cargo run

Environment:

  • COORDINATOR_BIND_ADDR default 127.0.0.1:4000
  • COORDINATOR_MPC_URL default http://127.0.0.1:3000
  • COORDINATOR_COPROCESSOR_URL default http://127.0.0.1:5000
  • COORDINATOR_ETH_RPC_URL default http://127.0.0.1:8545
  • COORDINATOR_EIP712_NAME default Coordinator
  • COORDINATOR_EIP712_VERSION default 1
  • COORDINATOR_EIP712_SALT default 0x9999...99

Authorization details:

  • calls disclosureController(bytes32) on request.contract
  • uses JSON-RPC eth_call with block tag safe
  • treats address(0) as authorization failure

Test

cargo test

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors

Languages