Skip to content

Tags: BlockstreamResearch/simplicity

Tags

elements-pr-1219

Toggle elements-pr-1219's commit message 
elements commit f502c24196d23b74c2c402911ecc3a6839101557

elements-pr-1219-C

Toggle elements-pr-1219-C's commit message 
elements commit f502c24196d23b74c2c402911ecc3a6839101557

verif_field_5x52_int128_impl_0

Toggle verif_field_5x52_int128_impl_0's commit message 
Correctness of secp256k1_fe_mul_inner and secp256k1_fe_sqr_inner

simplicityregtest1-0.0

Toggle simplicityregtest1-0.0's commit message 
Update benchmarks to latest measurements

verif_int128_impl_2

Toggle verif_int128_impl_2's commit message 
Add alectryon/verif_int128_impl.v.html

verif_int128_impl_1

Toggle verif_int128_impl_1's commit message 
Add alectryon/verif_int128_impl.v.html

verif_int128_impl_0

Toggle verif_int128_impl_0's commit message 
add alectryon/verif_int128_impl.v.html