Summary This issue describes a proposal for the deion langua

<div class="snippet-clipboard-content notranslate position-relative overflow-auto" data-snippet-clip

Update libgc circuit file format: <div class="snippet-clipboard-content notranslat

circuit description language about libgc HOT 3 CLOSED

aead commented on August 27, 2024

circuit description language

from libgc.

Comments (3)

aead commented on August 27, 2024

description-file:
    INPUTS u64
    OUTPUTS u64
    GATES u64

binary-gates-file:
    GATE_TYPE
    GATE_TYPE
    ...

circuits-file
    CIRCUIT_NAME = CIRCUIT_PATH

connections-file
    INPUT_ID ---------------> GATE_ID:PIN
    INPUT_ID ---------------> OUTPUT_ID
    INPUT_ID ---------------> CIRCUIT_NAME:INPUT_ID
    GATE_ID ----------------> GATE_ID:PIN
    GATE_ID ----------------> CIRCUIT_NAME:INPUT_ID
    GATE_ID ----------------> OUTPUT_ID
    OUTPUT_ID --------------> CIRCUIT_NAME:INPUT_ID
    CIRCUIT_NAME:OUTPUT_ID -> GATE_ID:PIN
    CIRCUIT_NAME:OUTPUT_ID -> OUTPUT_ID
    CIRCUIT_NAME:OUTPUT_ID -> CIRCUIT_NAME:INPUT_ID

from libgc.

aead commented on August 27, 2024

Update libgc circuit file format:

meta-info.txt:
    INPUTS u64
    OUTPUTS u64
    GATES u64
    ONE -> [GATE_ID::PIN, OUTPUT_ID, CIRCUIT_NAME:INPUT_ID]*
    CIRCUIT_NAME_1 = CIRCUIT_PATH_1
    CIRCUIT_NAME_2 = CIRCUIT_PATH_2
    ...

circuit.txt
    INPUT_ID ---------------> GATE_ID:PIN
    INPUT_ID ---------------> OUTPUT_ID
    INPUT_ID ---------------> CIRCUIT_NAME:INPUT_ID
    TYPE:GATE_ID --------> GATE_ID:PIN
    TYPE:GATE_ID --------> CIRCUIT_NAME:INPUT_ID
    TYPE:GATE_ID --------> OUTPUT_ID
    OUTPUT_ID ------------> CIRCUIT_NAME:INPUT_ID
    CIRCUIT_NAME:OUTPUT_ID -> GATE_ID:PIN
    CIRCUIT_NAME:OUTPUT_ID -> OUTPUT_ID
    CIRCUIT_NAME:OUTPUT_ID -> CIRCUIT_NAME:INPUT_ID

    TYPE = [A,O,X,N]

from libgc.

aead commented on August 27, 2024

Finalized: See https://github.com/aead/libgc/wiki/libgc-format

from libgc.

Recommend Projects