On two congruence conjectures of Z.-W. Sun involving Franel numbers

In this paper, we mainly prove the following conjectures of Z.-W. Sun \cite{S13}: Let $p>2$ be a prime. If $p=x^2+3y^2$ with $x,y\in \mathbb{Z}$ and $x\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}3)$, then $$x\equiv \frac{1}{4}\sum _{k=0}^{p-1}(3k+4)\frac{f_k}{2^k}\equiv \frac{1}{2}\sum _{k=0}^{p-1}(3k+2)\frac{f_k}{(-4{)}^k}(\mathrm{m}\mathrm{o}\mathrm{d}{p}^2),$$ and if $p\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}3)$, then $$\sum _{k=0}^{p-1}\frac{f_k}{2^k}\equiv \sum _{k=0}^{p-1}\frac{f_k}{(-4{)}^k}(\mathrm{m}\mathrm{o}\mathrm{d}{p}^3),$$ where $f_n={\sum }_{k=0}^n{\left(\genfrac{}{}{0px}{}{n}{k}\right)}^3$ stands for the $n$th Franel number.