カードベース暗号とは，物理的なカード組を用いて秘密計算を実現する暗号技術である．本稿では対称関数 f : {0,1} n → R（ただしRは任意の有限集合）に対するカードベース暗号プロトコルについて研究する．対称関数とは，出力値が入力ビットの総和によって定まる関数のことであり，AND関数やEQ関数など多くの重要な関数を含む関数のクラスである．2020年にRungwisesとItohは，2n+2枚の2色カードを用いて，シャッフル回数がn-1回の有限時間プロトコルを提案した．2022年に四方らは，2n枚の4色カードを用いて，シャッフル回数が有限とは限らないが期待値は有限であるようなプロトコル（Las Vegasプロトコル）を提案した．本稿では，2n+1枚の3色カードを用いて，シャッフル回数がn+1回の有限時間プロトコルを提案する．また，2n枚の4色カードを用いて，四方らのプロトコルと比べてシャッフル回数の期待値が小さいLas Vegasプロトコルを提案する．

Card-based cryptography is a cryptographic technique that uses a deck of physical cards to implement secure computation. In this paper, we study card-based cryptographic protocols for symmetric functions f:{0,1}n → R, where R is an arbitrary finite set. Symmetric functions are functions whose output value is determined by the sum of input bits, which includes many interesting functions such as AND and EQ functions. In 2020, Rungwises and Itoh proposed a finite-runtime protocol with 2n+2 two-colored cards and n-1 shuffles. In 2022, Shikata et al. proposed a Las Vegas protocol with 2n four-colored cards, where Las Vegas means that the number of shuffles is not necessarily finite but the expected value is finite. In this paper, we propose a finite-runtime protocol with 2n+1 three-colored cards and n+1 shuffles. We also propose a Las Vegas protocol with 2n four-colored cards, which has a smaller expected value of shuffles than the protocol of Shikata et al.