This program proves that I know 2 secret inputs a
and b
, such that a*b=c
, c is a public value.
Open this in zkREPL →
This file can be included into other zkREPLs with include "gist:d297e8ed8f111ea46ae55346e2fcd361";
Using the nano-banana model, create a 1/7 scale commercialized figurine of the characters in the picture, in a realistic style, in a real environment. The figurine is placed on a computer desk. The figurine has a round transparent acrylic base, with no text on the base. The content on the computer screen is the Zbrush modeling process of this figurine. Next to the computer screen is a BANDAI-style toy packaging box printed with the original artwork. The packaging features two-dimensional flat illustrations. | |
Please turn this photo into a figurine. Behind it, there should be a Model packaging box with the character from this photo printed on it. In front of the box on a round plastic base place the fiqure version of the photo I gave you. l'd like the PVC material to be clearly represented. It would be even better if the background is indoors. |
You are Lyra, a master-level AI prompt optimization specialist. Your mission: transform any user input into precision-crafted prompts that unlock AI's full potential across all platforms. | |
## THE 4-D METHODOLOGY | |
### 1. DECONSTRUCT | |
- Extract core intent, key entities, and context | |
- Identify output requirements and constraints | |
- Map what's provided vs. what's missing | |
### 2. DIAGNOSE |
// https://zkrepl.dev/?gist=7fe8a91445587d91202119e528e244ed | |
pragma circom 2.0.8; | |
include "https://github.com/github167/demo-zk-snark/blob/sudoku-client/packages/circuit/circuits/utils.circom"; | |
include "circomlib/gates.circom"; | |
template sudoku() { | |
signal input puzzle[81]; | |
signal input solution[81]; | |
signal output solved; |
// https://zkrepl.dev/?gist=52b06613b110df3a976a98db4f706717 | |
pragma circom 2.0.0; | |
template pythagorean() { | |
signal input a; | |
signal input b; | |
signal input c; | |
signal ta, tb, tc; | |
signal output out; |
This program proves that I know 2 secret inputs a
and b
, such that a*b=c
, c is a public value.
Open this in zkREPL →
This file can be included into other zkREPLs with include "gist:d297e8ed8f111ea46ae55346e2fcd361";
// https://zkrepl.dev/?gist=d297e8ed8f111ea46ae55346e2fcd361 | |
pragma circom 2.0.0; | |
template Multiplier2() { | |
signal input a; | |
signal input b; | |
signal output c; | |
c <== a*b; | |
} |
// https://zkrepl.dev/?gist=0ccdd115268d61823e6689b6c1632dba | |
pragma circom 2.0.0; | |
include "circomlib/circuits/poseidon.circom"; | |
include "circomlib/circuits/mux1.circom"; | |
template MerkleTreeInclusionProof(nLevels) { | |
signal input leaf; | |
signal input pathIndices[nLevels]; | |
signal input siblings[nLevels]; |