小小Ped Com 一个小的Rust库，用于在椭圆曲线上的Pedersen承诺。 Pedersen承诺是一种加密结构，它允许一方Alice向另一方Bob承诺一个值，直到稍后才向Bob透露该值。 Alice可以打开以后告诉鲍勃，她致力于同一个证明她的价值在价值的承诺，现在是和以前一样她的价值。 此实现使用进行椭圆曲线操作。 例子 let mut rng = OsRng::new().unwrap(); let val = tiny_ped_com::CommitmentValue::from_u64(3); let (verifier_pub_key, mut verifier) = tiny_ped_com::CommitVerifier::init(&mut rng); let (commitment, commitment_opening) = tiny_ped_com::Co

椭圆曲线和超椭圆曲线手册，handbook of elliptic and hyperelliptic curve cryptography。

二维椭圆网格生成器 这是一个二维正交椭圆网格（网​​格）生成器，它通过求解Winslow偏微分方程（Elliptic PDE）来工作。 它能够使用拉伸功能和正交性调整算法来修改网格。 该算法通过使用倾斜的抛物线切线拟合器计算曲线斜率来工作。 网格生成器打包为Java程序，可以通过命令行对其进行编译和执行。 该程序允许从六种不同的边界类型中进行选择：矩形，高斯，绝对值，最大整数，前进步距和半椭圆。 然后可以指定网格域的坐标（注意：该域必须是完美的正方形）。 最后，可以选择向网格添加细化，例如正交性调整和拉伸功能。 然后，程序将生成一个初始的粗网格并对其进行迭代优化，以生成具有给定参数和优化选项的平滑网格。 椭圆网格求解器的一个独特功能是可以很好地校正重叠和错位的网格线。 程序输出的一部分还将提供对所得网格质量的详细分析。 运行程序 要运行该项目的预构建jar文件，请确保您已安装Java版

elliptic curves 的入门书，麻省理工的本科教材。 Silverman J. Tate J. Rational points on elliptic curves (1992).djvu。

Elliptici 使用所描述的算术 - 几何平均数的方法来确定第一类、第二类不完全椭圆积分和雅可比 Zeta 函数的值。 实现的公式是 F(u,m) = int(1/sqrt(1-m*sin(t)^2), t=0..u); E(u,m) = int(sqrt(1-m*sin(t)^2), t=0..u); Z(u,m) = E(u,m) - E(m)/K(m)*F(u,m) 例程 Elliptici 适用于多维数组和任何范围的 u。 项目主页： http : //code.google.com/p/elliptic/

一类含非线性边界条件的半线性椭圆方程的 Nehari 流形方法，张金国，刘晓春，本文应用 Nehari 流形和纤维映射方法证明了一类含参数 λ 的非线性边界条件的半线性椭圆方程的多解性问题。讨论了随着参数 λ>0 的变化

Bulletproofs 是不需要可信设置的简短知识零知识论点。 参数系统是具有计算可靠性的证明系统。 Bulletproofs 适用于证明关于提交值的陈述，例如范围证明、可验证的 suffle、算术电路等。它们依赖于离散对数假设，并使用 Fiat-Shamir 启发式进行非交互。 Bulletproofs 的核心算法是 Groth [2] 提出的内积算法。 该算法提供了满足给定内积关系的两个绑定向量 Pedersen 承诺的知识参数。 Bulletproofs 建立在 Bootle 等人的技术之上。 [3] 引入一种有效的内积证明，将论证的整体通信复杂性降低到仅 在哪里 是承诺的两个向量的维度。 范围证明 Bulletproofs 提供了一种用于进行短范围和可聚合范围证明的协议。 它们使用多项式对内部乘积中确定数字范围的证明进行编码。 范围证明是秘密值位于某个区间的证明。 范围证明不

模拟滤波器设计 (AFD) 工具箱允许用户在图形 (GUI) 环境中轻松设计、分析和仿真有源模拟滤波器。 它是在麻省理工学院开发的，目前在几所大学中用于教授信号处理概念。 它可用于构建巴特沃斯、贝塞尔、切比雪夫 I 和 II 以及椭圆滤波器。 它可以显示时间和频率响应、极点/零点图、传递函数、电路图，并提供对用户提供的和标准数据类型（例如正弦波、方波、EKG 数据）进行模拟滤波的能力。 要使用，请从命令提示符键入 AFD。 该工具箱包括一个综合的用户手册。 它已经过测试，可以在 Matlab R2011b 上工作，并且可能会在此之后工作。

这些 MATLAB 函数允许用户使用 BC Carlson 和 EM Notis 开发的重复算法的矢量化版本来计算第一类、第二类和第三类不完全勒让德椭圆积分以及对称椭圆积分（请参阅数字数学，33}， pp. 1-16 (1979) 和 ACM Trans. on Math. Software, 7(3), pp. 398-403 (1981))。 用户应该知道，第三类勒让德椭圆积分中的 Carlson 特征“n”减去出现在“数学函数手册”，M. Abramowitz 和 IA Stegun 编辑，Dover (1965) 中的值。 积分的计算值已根据本手册中的表格进行了检查，还包括一个允许用户自行检查的小型测试脚本。 除了 matlab 之外，这些函数不需要任何工具箱或产品。 它们已经在第 13 版，版本 6.5.0.180913a 下进行了测试。

具有椭圆曲线密码学的可链接自发匿名组签名。 椭圆曲线上简约 pythonic 实现。 使用此包，您可以对一组公钥执行环签名，而无需透露生成签名的一组公钥的对应私钥。 这个实现是从有限群适应到椭圆曲线的。 该方案使用加密函数作为随机预言机将数字映射到 finit 组中。 该实现通过使用“Try-and-Increment”方法散列成椭圆曲线来采用随机预言模型。 更多信息可以在。 此实现用作概念证明。 请勿尝试将其用于任何实际使用情况。 这尚未经过外部测试。 签署并验证消息： from linkable_ring_signature import ring_signature , verify_ring_signature from ecdsa . util import randrange from ecdsa . curves import SECP256k1 number_