Hi.As what you has published as auction.sol isn't complete at all based on your "Succinctly Verifiable Sealed-Bid Auction Smart Contract" I have tried to complete it so it will be exactly what you has described in your paper.but to implement the following that I has copied from page 14 of mentioned paper I have problem:
"""When the auctioneer tries to claim that Bob’s ciphertext does
not contain the valid openings of his commitment, then Bob is alerted to submit
the opening values as plaintext to the smart contract. Subsequently, based on
these values, the smart contract recomputes the commitment and the ciphertext,
then it compares them against the commitment and ciphertext which are stored
in the mapping bidders[Bob]. In the case, they are found to be equal, then the
protocol terminates by penalizing the auctioneer and refunding the initial deposit
to all bidders. Otherwise, Bob is penalized and his commitments and ciphertext
are discarded from further processing steps."""
actually my problem is : how can we implement symmetric encryption in solidity to recompute the ciphertext?
I searched a lot and couldn't find any library the supports on chain encryption.
Do U have any idea that can help me?

I tried to run the project after installing the dependencies, but it still reports an error like this. I don't know if it's the version, but when I look at this file (/usr/local/lib/python3.10/dist-packages/pysnark/runtime.py), it really doesn't have the "Var"