在SEAL（Simple Encrypted Arithmetic Library）中使用BFV（Brakerski-Fan-Vercauteren）对称密钥加密的示例代码如下：

import seal
import random

# Create a SEAL context
parms = seal.EncryptionParameters(seal.scheme_type.BFV)
parms.set_poly_modulus_degree(4096)
parms.set_coeff_modulus(seal.CoeffModulus.BFVDefault(4096))
parms.set_plain_modulus(seal.PlainModulus.Batching(4096, 20))
context = seal.SEALContext(parms)

# Generate the public and secret keys
keygen = seal.KeyGenerator(context)
public_key = keygen.public_key()
secret_key = keygen.secret_key()

# Encrypt and decrypt a secret key
encryptor = seal.Encryptor(context, public_key)
decryptor = seal.Decryptor(context, secret_key)

# Generate a random secret key to be encrypted
random_key = [random.randint(0, 1) for _ in range(4096)]

# Encrypt the secret key
encrypted_key = seal.Ciphertext()
encryptor.encrypt(seal.Plaintext(random_key), encrypted_key)

# Decrypt the encrypted key
decrypted_key = seal.Plaintext()
decryptor.decrypt(encrypted_key, decrypted_key)

# Verify the decryption result
decrypted_key_coeffs = decrypted_key.coeffs()
if random_key == decrypted_key_coeffs:
    print("Decryption successful")
else:
    print("Decryption failed")

上述代码演示了如何在SEAL中使用BFV对称密钥加密。首先，我们创建了一个BFV加密参数，并使用它来创建一个SEAL上下文。然后，我们使用密钥生成器生成公钥和秘密密钥。接下来，我们生成一个随机的秘密密钥，并使用公钥将其加密。最后，我们使用秘密密钥解密加密的密钥，并验证解密结果是否与原始秘密密钥相同。

请注意，上述代码仅为示例，实际应用中可能需要更多的安全措施和异常处理。另外，SEAL库的安装和配置也需要进行详细设置，这里未进行展示。